小编Jan*_*Jan的帖子

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