为什么可变参数模板与非可变参数不同，只有一个参数？答案

【问题标题】：Why are variadic templates different than non-variadic, for only one argument?为什么可变参数模板与非可变参数不同，只有一个参数？
【发布时间】：2018-02-05 20:22:34
【问题描述】：

这段代码编译得很好：

template <typename T1>
struct Struct {
};

struct ConvertsToStruct {
    operator Struct<int>() const;
};

template <typename T>
void NonVariadicFunc(Struct<T>);

int main() {
      NonVariadicFunc<int>(ConvertsToStruct{});
      return 0;
}

但是尝试通过使用可变参数模板使其更通用一点，但编译失败：

template <typename T1>
struct Struct {
};

struct ConvertsToStruct {
    operator Struct<int>() const;
};

template <typename... T>
void VariadicFunc(Struct<T...>);

int main() {
      VariadicFunc<int>(ConvertsToStruct{});
      return 0;
}

怎么了？为什么我尝试显式指定VariadicFunc 的模板类型没有成功？

天箭链接 => https://godbolt.org/g/kq9d7L

【问题讨论】：

更奇怪的是，如果我获取函数的地址，那么它可以工作：(+VariadicFunc<int>)(ConvertsToStruct{});

标签： c++ c++11 templates variadic-templates type-deduction

【解决方案1】：

有两个原因可以解释为什么这段代码无法编译。

首先，模板函数的模板参数可以部分指定：

template<class U, class V> void foo(V v) {}

int main() {
      foo<double>(12);
}

此代码有效，因为您指定了第一个模板参数U 并让编译器确定第二个参数。出于同样的原因，您的VariadicFunc<int>(ConvertsToStruct{}); 也需要模板参数推导。这是一个类似的例子，它可以编译：

template<class... U> void bar(U... u) {}

int main() {
      bar<int>(12.0, 13.4f);
}

现在我们知道编译器需要对你的代码做推演，接下来是第二部分：编译器按固定顺序处理不同阶段：

cppreference

模板参数推导发生在函数模板名称查找（可能涉及依赖于参数的查找）之后和模板参数替换（可能涉及 SFINAE）和重载解析之前。

隐式转换发生在重载决议时，在模板参数推导之后。因此，在您的情况下，当编译器进行模板参数推导时，用户定义的转换运算符的存在没有影响。显然ConvertsToStruct本身无法匹配任何东西，因此推演失败，代码无法编译。

【讨论】：

【解决方案2】：

问题在于

VariadicFunc<int>(ConvertsToStruct{});

你只修复了T...列表中的first模板参数。

而编译器不知道如何推导出余数。

更奇怪的是，我可以获取函数的地址，然后它就可以工作了

这是因为 (&VariadicFunc<int>) 您要求函数的指针（而不要求编译器从参数中推断出类型），所以 <int> 部分修复了 all 模板参数。 p>

当你通过ConvertToStruct{} 部分时

(&VariadicFunc<int>)(ConvertToStruct{});

编译器知道T... 是int 并查看是否可以从ConvertToStruct 获得Struct<int> 并找到合适的转换运算符。

【讨论】：