次のコードはなぜMSVC++でコンパイルされますか？

Question

struct X{}; 

template<class T> 
decltype(X() == int()) f(T const&){ return true; } 

int main(void) { 
    X x; 
    f(x); 
} 

なぜ、ちょうどなぜ？ operator==は、と定義されています。！

MS Connectの詳細なバグレポートを提供するために、ここで何が起こっているのかを本当に理解したいと思います。狂気への私の旅は

...ラウンジ< C++>チャットルームにhereまわり始めた（注：GCCもクランはいずれも、このコードを受け入れる）

ああ、ところで、民間X(int) ctorのは、原因となる追加

struct X{ 
    X(){} 
private: 
    X(int); 
}; 

template<class T> 
decltype(X() == int()) f(T const&){ return true; } 

int main(void) { 
    X x; 
    f(x); 
} 

出力：

1>src\main.cpp(12): error C2248: 'X::X' : cannot access private member declared in class 'X' 
1>   src\main.cpp(4) : see declaration of 'X::X' 
1>   src\main.cpp(1) : see declaration of 'X' 

Answer 1

MS VC++ Aのどのバージョンを失敗するコンパイルあなたは使いますか？私はそれは私が今までで最も有用または有益なエラーメッセージを呼びたいものだわからないんだけど、それ

trash.cpp(8): error C2893: Failed to specialize function template ''unknown-type' f(const T &)' 
      With the following template arguments: 
      'X' 

：それは価値があるかもしれ何でも、VC++ 11のベータ版は、とあなたのコードを拒否するために

はです。

状況の下で、私はバグレポートを提出すると思われますが、おそらくほとんど（もしあれば）達成する予定です。私が期待していたのは、基本的には「VC++ 11で既に修正されています。