爲什麼我的模板不能重載？

Question

爲什麼這個編譯：

class Testable { 
public: 
    template <bool flag> 
    typename std::enable_if<flag>::type 
    void foo() { cout << "Yay" << endl; } 

    template <bool flag> 
    typename std::enable_if<!flag>::type 
    void foo() { cout << "Nay" << endl; } 
}; 

但如果我定義使用的默認類型，像這樣既FOOS：

template <bool flag, typename = typename std::enable_if<flag>::type> 
    void foo() { cout << "Yay" << endl; } // (A) 

    template <bool flag, typename = typename std::enable_if<!flag>::type> 
    void foo() { cout << "Nay" << endl; } // (B) 

我得到這個錯誤（第一線指向的(B)定義，第二個指向(A)）：

error: 'template<bool flag, class> void Testable::foo()' cannot be overloaded 
error: with 'template<bool flag, class>> void Testable::foo()' 

Answer 1

編譯器會抱怨由於兩個功能模板具有相同的簽名。款C++ 11標準指定了一個函數模板的簽名是通過定義的1.3.18：

<function template>名稱，參數類型列表（8.3.5），封閉命名空間（如果有的話），返回類型和 模板參數列表

如您所見，默認模板參數不是簽名的一部分。

你可以解決此問題，通過改變你的Testable定義如下：

class Testable { 
public: 
    template <bool flag, typename std::enable_if<flag>::type* = nullptr> 
    void foo() { cout << "Yay" << endl; } // (A) 

    template <bool flag, typename std::enable_if<!flag>::type* = nullptr> 
    void foo() { cout << "Nay" << endl; } // (B) 
}; 

Answer 2

如前所述，兩個功能不能具有相同的簽名。

但是，我有一個不同的修復程序。

template<std::size_t> 
struct secret_enum { enum class type {}; }; 
template<bool b, std::size_t n=0> 
using EnableIf = typename std::enable_if< b, typename secret_enum<n>::type >::type; 

class Testable { 
public: 
    template <bool flag, EnableIf<flag, 0>...> 
    void foo() { cout << "Yay" << endl; } // (A) 

    template <bool flag, EnableIf<!flag, 1>...> 
    void foo() { cout << "Nay" << endl; } // (B) 
}; 

，你列舉你的過載與0，1等，產生一個可能的類型，你再...說「0以上的這些」，這和產生的類型基本上不可能產生enum實例。

不幸的是，這在3.2中不起作用。它在gcc 4.8中。