SFINAEがstd :: enable_if_tで動作しないのはなぜですか？

Question

#include <vector> 
#include <list> 
#include <iostream> 

template 
< 
    typename T, 
    template<typename, typename = std::allocator<T>> class C, 
    typename = std::enable_if_t 
    < 
    std::is_same<std::vector<T>, C<T>>::value 
    > 
> 
void f(const C<T>& coll) 
{ 
    std::cout << "vector" << std::endl; 
} 

template 
< 
    typename T, 
    template<typename, typename = std::allocator<T>> class C, 
    typename = std::enable_if_t 
    < 
    std::is_same<std::list<T>, C<T>>::value 
    > 
> 
void f(const C<T>& coll) 
{ 
    std::cout << "list" << std::endl; 
} 

int main() 
{ 
     std::vector<int> c1{ 1, 2, 3 }; 
     std::list<int> c2{ 1, 2, 3 };  
     f(c1); 
     f(c2); 
} 

クラン3.8は文句：

エラー：テンプレートパラメータがデフォルト引数を再定義：型名=のstd :: enable_if_t

は、コード内で何が悪いのでしょうか？

Answer 1

なぜSFINAEが必要ですか？簡単な過負荷で十分です！

template <typename T> 
void f(const std::vector<T>& coll) 
{ 
    std::cout << "vector" << std::endl; 
} 

template < typename T> 
void f(const std::list<T>& coll) 
{ 
    std::cout << "list" << std::endl; 
} 

int main() 
{ 
    std::vector<int> c1{ 1, 2, 3 }; 
    std::list<int> c2{ 1, 2, 3 }; 
    f(c1); 
    f(c2); 
} 

そして、あなたは本当に（その場合には意味で）SFINAEを使用したい場合は、あなたとあなたの定義を修正することができます：

template 
< 
typename T, 
     template<typename, typename = std::allocator<T>> class C, 
     typename std::enable_if_t 
     < 
     std::is_same<std::list<T>, C<T>>::value 
     >* = nullptr 
    > 
void f(const C<T>& coll); 

そして、なぜあなたの定義は動作しませんでしたが、すでにここで見つけることができます： SFINAE working in return type but not as template parameter

Answer 2

デフォルトのテンプレートパラメータは、関数の一致には関与しません。それは、適切な機能を探すためにしようとしているとき、コンパイラの観点から
は、両方とも次のシグネチャがあります。そのための

template <typename T, template<typename, typename> class C, typename> 
void f(const C<T>& coll); 

を、fの2番目の定義は、実際に再定義です。

は、最小限の例を考えてみましょう：

template<typename = void> 
void f() {} 

template<typename = char> 
void f() {} 

// ... 

f<>(); 

は、どのように呼び出したいものをfコンパイラフィギュア出してもらえますか？
コードで多かれ少なかれ同じことが起こります。

enable_if_tを戻り値の型に移動すると、期待どおりに動作します。
この場合、置換はsfinae式から予期されるように、エラーのため2つの定義の1つを除外します。