Question

这段代码编译得很好：

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的模板类型成功？

Godbolt link =＆gt; https://godbolt.org/g/kq9d7L

Answer 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本身无法匹配，因此演绎失败，代码无法编译。

Answer 2

问题在于

VariadicFunc<int>(ConvertsToStruct{});

您只修复了列表T...中的第一个模板参数。

并且编译器不知道如何推断剩余的。

即使更奇怪，我可以获取该函数的地址，然后它可以正常工作

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

当您通过ConvertToStruct{}部分

时

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

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

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

2 个答案: