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<> >()将失败,因为现在它不再需要其他东西而不是模板化类型.

相关文章

/** C+⬑ * 默认成员函数 原来C++类中,有6个默认成员函数: 构造函数 析构函数 拷贝...
#pragma once // 1. 设计一个不能被拷贝的类/* 解析:拷贝只会放生在两个场景中:拷贝构造函数以及赋值运...
C类型转换 C语言:显式和隐式类型转换 隐式类型转化:编译器在编译阶段自动进行,能转就转,不能转就编译...
//异常的概念/*抛出异常后必须要捕获,否则终止程序(到最外层后会交给main管理,main的行为就是终止) try...
#pragma once /*Smart pointer 智能指针;灵巧指针 智能指针三大件//1.RAII//2.像指针一样使用//3.拷贝问...
目录&lt;future&gt;future模板类成员函数:promise类promise的使用例程:packaged_task模板类例程...