在C模板中找不到匹配的重载函数

Question

使用变量模板递归调用C模板函数

void int void foo()
{

}

template <typename T, typename ...U> void foo()
{
    foo<U...>();
}

int main()
{
    foo<int, char, int>();
    return 0;
}

编译过程包括：

错误C2672:'foo'：未找到匹配的重载函数注意：请参阅正在编译的函数模板实例化'void foo（void）'：请参阅正在编辑的函数模板实例'void foo（vood）'：注意：请参见正在编译的函式模板实例化'void foo（void）'的参考错误C2783:'void foo（void'）：无法推断'T'的模板参数注意：参见“foo”的声明

我声明了void foo(void)，为什么会出现错误？编译器可以匹配模板void foo()，但不能匹配void foo(void)

Answer 1

假设您的基本情况是 void foo（） {}，在您的递归情况下，您正在执行以下函数调用：

foo<int, char, int>();
foo<char, int>();
foo<int>();
foo<>();

请注意，最后一次调用是foo