出于教育目的，我想编写自己的基于 c++11 的类型列表。裸列表如下所示:

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;
};

我创建了一个名为 front 的函数来提取第一个元素:

template <typename T> struct front;

template <typename TypeList>
struct front {
    typedef typename TypeList::Head type;
};

按预期工作，即这段代码

typedef type_list<int> lst;
typedef type_list<float,int> lst2;
typedef type_list<double,float,int> lst3;
typedef type_list<char,double,float,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;

产生:

front(lst1): i
front(lst2): f
front(lst3): d
front(lst4): c

当然，back 函数是下一步，但是，我似乎无法让它工作。我的代码

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;
};

不编译(clang 3.2)[lst 定义如前]:

TypeList.cc:33:71: error: no type named 'Tail' in 'null_type'
  typedef typename std::conditional<std::is_same<typename TypeList::Tail, null_type>::value,
                                                 ~~~~~~~~~~~~~~~~~~~^~~~
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

std::conditonal<condition, true-type, false-type>

您的问题归结为 std::conditional 中的 true- 和 false-type必须产生一个有效名称，无论条件选择哪一边。

^{注意:如果不需要完整解释，本文末尾有一个建议的解决方案。}

考虑下面的例子:

struct A { typedef int type; };
struct B { /* empty */ };

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 实例化它会发生什么？

template<>
struct some_trait<B> {
  typedef typename std::conditional<
    std::is_same<B, A>::value,
    typename B::type,  // (A), ill-formed
    void
  >::type result;
};

在上面我们假装是一个编译器，我们替换了所有出现的T。与 B ，这并不是那么艰苦的工作，但它对我们的主模板提出了一个非常重要的问题。

当编译器实例化some_trait<T>时与 T = B ，我们 std::conditional 中的 true-type将是 B::type (A).

但是自B里面没有名字叫type我们将得到一个编译器诊断，说我们的代码有问题，即；我们正在尝试访问一个不存在的名称。

foo.cpp:15:37: error: no type named 'type' in 'B'
    /*  true-type -> */ typename T::type, // (A), ill-formed

建议的解决方案

简而言之，我们必须做的事情确实毫无疑问；防止我们的模板访问可能不存在的名称。

一个简单的方法是依靠显式特化，而不是使用 std::conditional .

back 的实现示例

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;
};

^{注意:如果template<typename T> struct back;的实例化是 type_list只有一个参数，我们知道我们在最后一个节点。}

关于c++ - 努力实现类型列表，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/24085918/