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

Question

我想更好地理解为什么自动模板推导(在编译时应用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;
}

Answer 1

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

和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<> >()会失败，因为现在它不再需要模板类型以外的东西。