模板参数的 C++ 自动模板推导失败

c++ automatic template deduction fails for template argument

本文关键字：失败 C++ 参数      更新时间：2023-10-16

我想更好地理解为什么自动模板推导(使用g++ -std=c++17编译时应用(在main()的前三行有效，但在第四行失败。在不久的将来，它是否有可能被编译器接受？

template <typename P = void>
class A {
public:
void f1() {}
};
template<typename C>
void g() {}

int main() {
A<> a;       // works
A aa;        // works
g<A<>>();    // works
g<A>();      // fails
return 0;
}

这只是一个签名问题。基本上你传递了错误的类型。

A a和A<> a都意味着您需要一个具有默认模板参数值的A实例，也就是说，您最终得到A< void >.

函数g< C >()接受模板参数，该参数恰好是一个类型，而不是另一个模板化类型。当你用A<>调用它时，你告诉编译器你想使用模板化类型的"实例化"A，这是有效的。当您使用A调用它时，您告诉编译器您要调用g< C >()C是不符合其签名的模板化类型。

如果你像这样声明/定义g()template <typename <typename> TTemplatedType> g()它将接受像这样g< A >()调用，但g< A<> >()会失败，因为现在它不再需要模板化类型以外的其他东西。

对于 C++17，当类模板的名称用作正在构造的对象的类型时，也会执行模板参数推导。

模板中的显式类型没有任何变化。

相关文章：