用 C++11 可变参数模板包装 Loki::Typelist

Question

我试图避免使用 LOKI_TYPELIST_n 宏，所以我可以编写简单的 Loki::Typelist 包装器。

template <typename...Ts>
struct TYPELIST;

template <>
struct TYPELIST<>
{
    typedef Loki::NullType Result;
};

template <typename HEAD, typename...Ts>
struct TYPELIST<HEAD,Ts...>
{
    typedef Loki::Typelist<HEAD, TYPELIST<Ts...>::Result> Result;
};

编译时出现以下错误：

error: type/value mismatch at argument 2 in template parameter list for ‘template<class T, class U> struct Loki::Typelist’
error:   expected a type, got ‘TYPELIST<Ts ...>::Result’

虽然TYPELIST<Ts...>::Result 是一种类型。它有什么问题？ GCC 4.6.2 在这里。

我想这样使用它：

typedef TYPELIST<
        EventTank1,
        EventTank2,
        EventTank3
    >::Result EVENTS_ALL__;

谢谢。

Answer 1

您忘记了TYPELIST<Ts ...>::Result 前面的typename 字样。仅仅因为你知道它是一个类型并不意味着编译器也知道它（如果只是！）。