C++，模板模板规范

我有一个模板不能实现两种方法。C++，模板模板规范

我只想使用模板规范的类，对于那些提供规范的类。

例子：

template<class T> class Temp 
{ 
    void Method1(); 
}; 

Temp<int>::method1() {...}

现在我想为规范提供一个模板类型，像

template<class General> void Temp<General> method1() {...}

我会指定类型的General。

我该怎么用C++语法来做到这一点？

来源

2012-12-05 Taru

从移动BTW发送...对不起，如果我有一些错别字 – Taru

看来你想为已知类型的列表提供一组专业化。要做到这一点，您可以使用SFINAE（例如std::enable_if）和一些模板元编程。

为了给你一个想法：

#include <type_traits> 

template <class T, class... Candidates> 
struct is_one_of; 

/* alternative 1 - too complicated 
template <class T, class Head, class... Tail> 
struct is_one_of<T, Head, Tail...> 
    : std::integral_constant<bool, std::is_same<T, Head>::value || is_one_of<T, Tail...>::value> 
{}; */ 

/* better alternative - thanks, Dan */ 
template <class T, class Head, class... Tail> 
struct is_one_of<T, Head, Tail...> : is_one_of<T, Tail...> {} 

template <class T, class... Tail> 
struct is_one_of<T, T, Tail...> : std::true_type {} 

/* needed for both alternatives */ 
template <class T> 
struct is_one_of<T> : std::false_type {};

现在enable_if你专长取决于is_one_of<T, ?your-list-of-General-types-here?>

来源

2012-12-05 14:32:36

或者，模板<类T， class Head，class ...尾> struct is_one_of ：is_one_of {}; template struct is_one_of ：std :: true_type {}; – Dan

@丹恩谢谢，编辑我的答案 –

C++，模板模板规范

回答

相关问题