3

我正在尝试为类型列表编写一些适配器代码。以下是用于此目的的实验代码：

struct null
{
};

template<typename first, typename second>
struct cell
{
    typedef first head;
    typedef second tail;
};

template <
    typename T1 = null, typename T2 = null, typename T3 = null,
    typename T4 = null, typename T5 = null, typename T6 = null,
    typename T7 = null, typename T8 = null, typename T9 = null,
    typename T10 = null, typename T11 = null, typename T12 = null,
    typename T13 = null, typename T14 = null, typename T15 = null,
    typename T16 = null, typename T17 = null, typename T18 = null
>
struct type_list
{
private:
    typedef typename type_list <
        T2, T3, T4, T5, T6, T7, T8, T9, T10,
        T11, T12, T13, T14, T15, T16, T17, T18
    >::type tail;

public:
    typedef cell<T1, tail> type;
};

template<>
struct type_list<>
{
    typedef null type;
};

template<typename T>
void test(T);

#include <cstdio>

template<typename T1, typename T2>
void test(typename type_list<T1, T2>::type)
{
    // won't be instantiated
    printf("type_list<T1, T2>::type\n");
}

template<typename T1, typename T2>
void test(cell<T1, cell<T2, null>>)
{
    printf("cell<T1, cell<T2, null>>\n");
}

int main()
{
    // Below causes compile error when 'void test(cell<T1, cell<T2, null>>)' is absence
    test(type_list<int, int>::type());
}

输出：

cell<T1, cell<T2, null>>

我想使用void test(type_list<T1, T2>::type)而不是void test(cell<T1, cell<T2, null>>)因为前者更简洁一点。我的问题是

  • 我不能使用前一个的具体原因是什么？
  • 有什么解决方法吗？（直接使用除外cell：（）

当然， type_list 只是类型列表生成的包装器，所以 'just erase ::typeafter the type_list<blah>' 不能是一个选项。

谢谢你。

4

1 回答 1

0

存在：

template<typename T>
void test(T);

使其成为您的函数调用的最佳匹配（直到您输入单元格重载）。尝试将您的函数调用更改为：

test<int,int>(type_list<int, int>::type());
于 2012-05-11T05:30:21.983 回答