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