無法獲得SFINAE工作

這是我在SFINAE第一次嘗試：無法獲得SFINAE工作

#include <type_traits> 
#include <iostream> 

struct C1 { 
    using T = int; 
}; 

struct C2 { 
    using T = void; 
}; 

// For classes that declare T = int 
template <class C> 
void f(C &c, 
     std::enable_if<!std::is_same<typename C::T, void>::value, int>::type = 0) { 
    std::cout << "With T" << std::endl; 
} 

// For classes that declare T = void 
template <class C> 
void f(C &c, 
     std::enable_if<std::is_same<typename C::T, void>::value, int>::type = 0) { 
    std::cout << "Without T" << std::endl; 
} 

int main() { 
    C1 c1; 
    f(c1); // With T 
    C2 c2; 
    f(c2); // Without T 
    return 0; 
}

編譯器（GCC 4.8.2）抱怨：

‘std::enable_if<!(std::is_same<typename C::T, void>::value), int>::type’ is not a type

我在做什麼錯？

來源

2015-12-10 AlwaysLearning

你需要寫'類型名STD :: enable_if <...> :: type'因爲'type'是相關的。 [閱讀此]（https://stackoverflow.com/questions/610245/where-and-why-do-i-have-to-put-the-template-and-typename-keywords）。如果你可以使用C++ 14，你可以使用'std :: enable_if_t <...>'而不是這個問題。 – Simple

最好的做法是在模板參數中放置'enable_if's以避免混亂函數參數 –

我對你的代碼進行了編輯。我認爲這些是你剛剛省略或鍵入錯誤的東西，但爲了清楚起見，我添加了它們。 – erip

需要在此一對夫婦的typename s到工作：

// For classes that declare T = int 
template <class C> 
void f(C &c, 
     typename std::enable_if<!std::is_same<typename C::T, void>::value, int>::type = 0) { 
    std::cout << "With T" << std::endl; 
} 

// For classes that declare T = void 
template <class C> 
void f(C &c, 
     typename std::enable_if<std::is_same<typename C::T, void>::value, int>::type = 0) { 
    std::cout << "Without T" << std::endl; 
}

或者，如果你的編譯器支持C++ 14可以使用std::enable_if_t：

// For classes that declare T = int 
template <class C> 
void f(C &c, 
     std::enable_if_t<!std::is_same<typename C::T, void>::value, int> = 0) { 
    std::cout << "With T" << std::endl; 
} 

// For classes that declare T = void 
template <class C> 
void f(C &c, 
     std::enable_if_t<std::is_same<typename C::T, void>::value, int> = 0) { 
    std::cout << "Without T" << std::endl; 
}

來源

2015-12-10 15:26:56 101010

無法獲得SFINAE工作

回答

相關問題