c模板参数的自动模板推导失败

我想更好地理解为什么自动模板推导(在使用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实例,也就是说,你得到A<无效>.

函数g< C>()接受恰好是类型的模板参数,而不是另一个模板化类型.当您使用A<>调用它时,您告诉编译器您要使用模板化类型A的“实例化”,它是有效的.使用A调用它时,告诉编译器要调用g< C>(),C是模板类型,不符合其签名. 如果你声明/定义g()就像这样模板< typename< typename> TTemplatedType> g()它将接受像这样g< A>()但g < A<> >()将失败,因为现在它不再需要其他东西而不是模板化类型.