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

发布时间：2020-12-16 04:52:12 所属栏目：百科来源：网络整理

导读：我想更好地理解为什么自动模板推导(在使用g -std = c 17编译时应用)在main()的前三行中起作用,但在第四行中失败.在不久的将来,编译器是否有机会接受它？ template typename P = voidclass A {public: void f1() {}};templatetypename Cvoid g() {}int main()

我想更好地理解为什么自动模板推导(在使用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<> >()将失败,因为现在它不再需要其他东西而不是模板化类型.

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!