BUG: Explicitly Specified Template Functions Not Overloaded Correctly

• The C/C++ Compiler (CL.EXE), included with:
  • Microsoft Visual C++, 32-bit Editions, versions 5.0, 6.0

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.

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.

STATUS

Microsoft has confirmed this to be a bug in the Microsoft products listed at the beginning of this article.

MORE INFORMATION

Please refer to the C++ Standard, section 14.8.1, for information on explicit template argument specification.

Steps to Reproduce Behavior

//test.cpp
// compiler option needed: /GX
#include<iostream>
template <class T>
void f(void) {
	std::cout <<typeid(T).name() <<std::endl;
}

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

output:
int
int
int
 

Additional query words: STL

Keywords : kbtemplate kbCompiler kbCPPonly kbLangCPP kbSTL kbVC kbVC500 kbVC500bug kbVC600 kbVC600bug kbDSupport
Version : winnt:5.0,6.0
Platform : winnt
Issue type : kbbug