C++ auto cannot deduce type with default template parameter

Question

I notice that if I write:

template void Test(T t) {};

then the following code does not compile:

auto x = Test;

However, this code does, and deduces x to be void (*x)(int t):

auto x = Test;

I'm just wondering why it does not just assume the type parameter is int in the first case and treat it the same as the second one?

user_3943312 · Answer

If you have a function with a default parameter, for example:

int f(int n=0);

Calling this function with this parameter defaulted is done by doing this:

int g=f();

and not this:

int g=f;

Same principle applies to template instantiations:

auto x = Test<>;