特定类型列表的函数重载答案

【问题标题】：function overloading for specific type list特定类型列表的函数重载
【发布时间】：2012-05-19 17:01:57
【问题描述】：

我正在尝试为类型列表编写一些适配器代码。下面是一个实验代码：

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 只是类型列表生成的包装器，因此不能选择“在type_list<blah> 之后删除::type”。

谢谢。

【问题讨论】：

Non deducible context in template region 的可能重复项
虽然手头的问题确实是不可演绎的上下文，并且建议的重复是关于不可演绎的上下文，但这两种情况并不完全相同。必须有更好的匹配。

标签： c++ templates c++11 overloading

【解决方案1】：

存在：

template<typename T>
void test(T);

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

test<int,int>(type_list<int, int>::type());

【讨论】：