出于教育目的,我想编写自己的基于c 11的类型列表.裸列表看起来像这样：
@H_403_2@template <typename ... Ts> struct type_list;
template <typename T,typename ... Ts>
struct type_list<T,Ts ...> {
typedef T Head;
typedef type_list<Ts ...> Tail;
};
template <typename T> struct type_list<T> {
typedef T Head;
typedef null_type Tail;
};
@H_403_2@template <typename T> struct front;
template <typename TypeList>
struct front {
typedef typename TypeList::Head type;
};
哪个按预期工作,即此代码
@H_403_2@typedef type_list<int> lst; typedef type_list<float,int> lst2; typedef type_list<double,float,int> lst3; typedef type_list<char,double,int> lst4; std::cout << "front(lst1): " << typeid( front<lst>::type ).name() << std::endl; std::cout << "front(lst2): " << typeid( front<lst2>::type ).name() << std::endl; std::cout << "front(lst3): " << typeid( front<lst3>::type ).name() << std::endl; std::cout << "front(lst4): " << typeid( front<lst4>::type ).name() << std::endl;生产：
@H_403_2@template <typename T> struct back; template <typename TypeList> struct back { typedef typename std::conditional<std::is_same<typename TypeList::Tail,null_type>::value,typename TypeList::Head,typename back<typename TypeList::Tail>::type>::type type; };front(lst1): i
front(lst2): f
front(lst3): d
front(lst4): c
不编译(clang 3.2)[lst定义为之前]：
@H_403_2@TypeList.cc:33:71: error: no type named 'Tail' in 'null_type' typedef typename std::conditional<std::is_same<typename TypeList::Tail,~~~~~~~~~~~~~~~~~~~^~~~ TypeList.cc:35:20: note: in instantiation of template class 'back<null_type>' requested here typename back<typename TypeList::Tail>::type>::type type; ^ TypeList.cc:54:44: note: in instantiation of template class 'back<type_list<int> >' requested here std::cout << "back(lst1): " << typeid( back<lst>::type ).name() << std::endl; ^ 1 error generated.题
>为什么std :: conditional不会触发？
解决方法
std :: conditional的使用不当
@H_403_2@std::conditonal<condition,true-type,false-type>
你的问题归结为std :: conditional中的true和false类型都必须产生一个有效的名字,无论条件选择哪一方.
注意：如果不需要完整的解释,本文末尾有一个建议的解决方案.
考虑以下示例：
@H_403_2@struct A { typedef int type; }; struct B { /* empty */ }; @H_403_2@template<class T> struct some_trait { typedef typename std::conditional< /* condition -> */ std::is_same<T,A>::value,/* true-type -> */ typename T::type,/* false-type -> */ void >::type result; };实例化some_trait< A>将完全有效,但如果我们用B实例化会发生什么？
@H_403_2@template<> struct some_trait<B> { typedef typename std::conditional< std::is_same<B,typename B::type,// (A),ill-formed void >::type result; };在上面我们假装是一个编译器,并且我们用B替换了每个T的出现,但这并不是那么辛苦,但它已经在我们的主模板中引发了一个非常重要的问题.
当编译器实例化some_trait< T>时如果T = B,我们的std :: conditional中的true类型将是B :: type(A).
但是由于B里面没有名字叫做类型,我们会得到一个编译器诊断说我们的代码有问题,即;我们正在尝试访问不存在的名称.
@H_403_2@foo.cpp:15:37: error: no type named 'type' in 'B' /* true-type -> */ typename T::type,ill-formed提出的解决方案
毫无疑问,我们必须做些什么,并简而言之;阻止我们的模板访问可能不存在的名称.
这样做的一个简单方法是依赖显式特化,而不是使用std :: conditional.
后面的示例实现
@H_403_2@template<typename TypeList> struct back { typedef typename back<typename TypeList::Tail>::type type; }; template<typename T> struct back<type_list<T>> { typedef typename type_list<T>::Head type; };注意：如果模板的实例化< typename T>结构;是一个只有一个参数的type_list,我们知道我们在最后一个节点.
