BUG: Explicitly Specified Template Functions Not Overloaded Correctly

View products that this article applies to.

This article was previously published under Q240871

SYMPTOMS

If all the template parameters are not used in function arguments or return type of a template function, the template functions are not overloaded correctly.

Please refer to the sample in the "More Information" Section for details.

Back to the top

CAUSE

The bug is the result of the way the compiler decorates template function names. Name Decoration uses the arguments and return type and doesn't use the explicitly specified template argument type. Therefore, all three template function instantiations receive the same decorated name, as seen in the sample code the "More Information" section.

Back to the top

Steps to Reproduce Behavior

The following sample code demonstrates the problem:

#include<iostream>
//#define WORKAROUND
#ifdef WORKAROUND
template <class T>
void f(T dummy = 0)
     {
     std::cout <<typeid(T).name() <<std::endl;
     }
#else
template <class T>
void f(void)
     {
     std::cout <<typeid(T).name() <<std::endl;
     }
#endif

int main(void)
     {
     f<bool>();
     f<char>();
     f<int>();
     return 0;
     }

Output :
int
int
int

Back to the top