为什么提供无参数函数模板时，编译器会尝试推论？

Question

template <typename... T>
struct X {
    static_assert(sizeof...(T) != 0);
};

template <typename... T>
void f(const X<T...> &) {}

template <typename T>
void inner() {}

int main() {
    f(inner);
}

在此示例中，静态断言发射。

为什么编译器尝试在这里推论任何东西？ 空类型参数列表？

使用

然后，它显然甚至尝试实例化X （ 编译器报告说是一个结构：

使用类模板的使用“内部”需要模板参数

这很有意义。如果参数只是 const x＆amp; ，则有

声明类型包含未表达的参数包't'

这也有意义，但是对于结构的情况不太清楚，因为它在callee上报告了问题，而不是在呼叫站点上。

如果参数为 const x＆lt; t＆gt; ＆amp; ，乍一看也有些怪异：

忽略候选模板：无法推断模板参数't'。

这些错误是针对Clang 14的，但GCC也报告了类似的错误。

这里的实例化是否由标准指定？如果是这样，怎么样？另外，为什么会导致一个空类型列表？

Answer 1

这主要是由于 ，适用于源名称函数模板并强调我的：

可以从explicit template-arguments 的列表中省略可以从默认的 template-arguments arguments 获得的尾随模板参数。 尾随的模板参数包其他未能推导的参数包将被推导为模板参数的空序列。如果可以推导所有模板参数，则可能会省略它们；在这种情况下，也可以省略空模板参数列表＆lt;＆gt; 本身也可以省略。

函数模板名称作为参数意味着它不用于模板参数扣除 f （ t 未从函数参数列表（innion）和[temp.arg.explicit]/4应用于 t 作为类型的空列表。

现在评估表达式 f（inne）涉及将表达式内部转换为参数类型 const x＆lt;＆gt;＆gt;＆amp; 。是否以及如何有效取决于类 x＆lt;＆gt; 的构造函数，因此模板是实例化的，导致 static_assert 错误，因为模板参数pack确实具有零元素。

Answer 2

因为该参数是指包含函数模板 x 的过载集， 均尝试从中尝试。希望，扣除次数无论如何都会成功（也许是从其他参数中），然后可以从产生的参数类型中得出 x 的模板参数。 （当然，不可能推断出内部的模板参数，但是即使是

template<class T>
T make();

在某些情况下也可以推论的模板参数，因此通常不是徒劳的希望。）

在这里，扣除 f的扣除确实成功 ，用 t 作为空包。 （这很像默认的模板参数。）然后， const x＆lt;＆gt;＆gt; 是参数类型，因此试图构造过载分辨率来构建 x＆lt;＆gt; 来自 Inner 。显然，这取决于构造函数对于 x＆lt;＆gt; ，因此该类型已完成并且编译失败。