タイプSFINAEはコンパイルが、エラー

Question

を生成し、私は2つのテストクラスを作ってきました。 Tがデフォルトで構成可能でない場合、2番目のものは "失敗"します。

template<typename T> 
T* CreateInstanceTest(char*[!std::is_default_constructible<T>::value] = 0) { return nullptr; } 

template<typename T> 
T* CreateInstanceTest(char*[std::is_default_constructible<T>::value] = 0) { return new T(); } 

それから私はこれを行う：

「オーバーロードされた関数の複数のインスタンスが 『CreateInstanceTestは、』引数リストと一致した」エラーが発生し

Class1* obj1 = CreateInstanceTest<Class1>(); 
Class2* obj2 = CreateInstanceTest<Class2>(); 

。

ただし、正常にコンパイルされ、期待どおりに動作します。 obj1がnullになり、obj2が適切に作成されます。

どうしてですか？それを回避する方法はありますか？

Answer 1

ビルドエラーではなく、Intellisenseエラーです。インテリセンスは完璧ではありませんが、回避策として控除コードを改善することができます：

template<typename T> typename ::std::enable_if_t 
< 
    !::std::is_default_constructible<T>::value 
, T * 
> 
CreateInstanceTest(void) { return nullptr; } 

template<typename T> typename ::std::enable_if_t 
< 
    ::std::is_default_constructible<T>::value 
, T * 
> 
CreateInstanceTest(void) { return new T(); }