cout << "Hello World!" << endl; // 张鲁夺 :: 个人博客,幸福着你的幸福!


VC6不支持函数模板显式实例化的解决方案

作者:转载,2018年5月4日

出处:互联网


先下看面一段代码,这段代码可以在VC8,GCC下编译通过,但无法在VC6下编译通过:





#include <iostream>
using namespace std;
class MyClass
{
public:
     template <typename T>
     void ShowType(void)
     {
         cout << "typeid is " << typeid(T).name() << endl;
     };
};
int main(void)
{
     MyClass object;
     object.ShowType<int>();
     object.ShowType<long>();
     return 0;
}

这段在代码在VC6下编译将报错:

……\xxxx.cpp(19) : error C2062: type 'int' unexpected
……\xxxx.cpp(20) : error C2062: type 'long' unexpected

如何解决这个问题呢?我们知道,VC6是支持函数模板隐式实例化的--也就是说,如果函数的形参中包含一个模板参数,然后使用不同的类型的实参调用该函数,VC6能根据形参的类型自动对该函数模板进行实例化。所以,如果我们给上面这个ShowType函数增加一个参数,调用ShowType时,指定不同类型的参数,从而实现对ShowType的实例化。但是这个应用中,我们并不需要ShowType有参数,所以,我们考虑增加一个无用的,对使用没有影响的参数。 基于如上思想,我们可以得到如下代码:

#include <iostream>
using namespace std;
template <typename T> struct _override_t {};
class MyClass
{
public:
     template <typename T>
     void ShowType(_override_t<T>)
     {
         cout << "typeid is " << typeid(T).name() << endl;
     };
};
int main(void)
{
     MyClass object;
     object.ShowType(_override_t<int>());
     object.ShowType(_override_t<long>());
     return 0;
}

这段代码中,新增加了一个模板结构体“_override_t”(此结构体无任何成员,因此在编译时,编译器不会为它生成多余的代码,不会占用空间),而ShowType使用它做为形参,因此,使用不同的“_override_t”实例,就相当于隐式实例化了不同的ShowType模板函数。因此,使用这个方法顺利的绕过了VC6的编译BUG,而且也不会影响编译后产生的机器代码的(有兴趣可以试试在VC8下编译上面两个程序,编译成Release后,产生的目标输出,在main函数内完全相同)。


Copyright © 2015 Zhang Luduo.

All rights reserved.