CODEWITHSUNDEEP
c++templatestemplate-meta-programmingtemplate-specialization
Denis
Denis

Reputation: 3082

Template specialization of variable template and type deduction

template <class C>
C fnc();

template <>
int fnc(){return 0;}

template <class C>
C var;

template <>
int var = 0; // compile error

int main()
{
}

There's a specialization of a fnc function declared without an explicit type indication (such as int fnc<int>()), so the type of template argument is deduced from the function return type, but that thing does not work for variable templates (it leads to compiler error). Is this a correct behavior or a bug in all compilers a have tested (clang, gcc)?

Upvotes: 0

Views: 77

Answers (1)

NutCracker
NutCracker

Reputation: 12263

Template arguments can only be omitted in explicit specialization of function templates. Since you have a template variable, you have to add the <int> part:

template <>
int var<int> = 0;

Upvotes: 1

Related Questions