Как специализировать std :: hash :: operator () для определяемого пользователем типа в неупорядоченных контейнерах?

Для поддержки определяемых пользователем типов ключей в std :: unordered_set и std :: unordered_map необходимо предоставить operator == (Key, Key) и хеш-функтор:

struct X { int id; /* ... */ };
bool operator==(X a, X b) { return a.id == b.id; }

struct MyHash {
  size_t operator()(const X& x) const { return std::hash()(x.id); }
};

std::unordered_set s;

Было бы удобнее написать только std :: unordered_set с хешем по умолчанию для типа X , как для типов, поставляемых вместе с компилятором и библиотекой. После ознакомления с

• Стандартом C ++ Проект N3242 §20.8.12 [unord.hash] и §17.6.3.4 [hash.requirements],
• Boost.Unordered
• g ++ include \ c ++ \ 4.7.0 \ bits \ financial_hash.h
• VC10 include \ xfunctional
• различные связанные вопросы s в Stack Overflow

кажется возможным специализироваться std :: hash :: operator () :

namespace std { // argh!
  template <>
  inline size_t 
  hash::operator()(const X& x) const { return hash()(x.id); } // works for MS VC10, but not for g++
  // or
  // hash::operator()(X x) const { return hash()(x.id); }     // works for g++ 4.7, but not for VC10 
}                                                                             

Учитывая, что компилятор поддерживает C ++ 11 пока что экспериментальный --- я не пробовал Clang ---, вот мои вопросы:

1. Законно ли добавлять такую ​​специализацию? цию в пространство имен std ? У меня смешанные чувства по этому поводу.

2. Какая из версий std :: hash :: operator () , если таковая имеется, совместима со стандартом C ++ 11?

3. Есть ли переносимый способ сделать это?