功能模板，不允許某些類型

Question

我有一個功能模板，必須只允許某些類型。我見過其他問題，但他們使用boost和primitve類型。在這種情況下，沒有提升，並且它是用戶定義的類。

例：

template<typename T> 
myfunc(T&) 
{ ... } 

template<> 
myfunc(Foo&) 
{ 
    static_assert(false, "You cannot use myfunc with Foo"); 
} 

問題是static_assert獲取不管我是否調用myfunc與Foo對象或不叫。

我只是想要一些編譯停止myfunc與Foo調用的方式。
如何實現此功能？

Answer 1

您可以使用std::is_same此：

#include <type_traits> 

template<typename T> 
return_type myfunc(T&) 
{ 
    static_assert(std::is_same<T, Foo>::value, "You cannot use myfunc with Foo"); 

    // ... 
} 

Answer 2

而返回類型R，說：

#include <type_traits> 

template <typename T> 
typename std::enable_if<!std::is_same<T, Foo>::value, R>::type my_func(T &) 
{ 
    // ... 
} 

如果你真的不想使用標準庫，你可以寫性狀：

template <bool, typename> struct enable_if { }; 
template <typename T> struct enable_if<true, T> { typedef T type; }; 

template <typename, typename> struct is_same { static const bool value = false; }; 
template <typename T> struct is_same<T, T> { static const bool value = true; };