小步慢跑

 

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

 

转自:http://jeffreyloo.blog.163.com/blog/static/121761670201061714726369/ 

先下看面一段代码,这段代 码可以在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函数内完全相同)。

posted on 2012-12-12 10:22 zaccheo 阅读(423) 评论(0)  编辑 收藏 引用 所属分类: C++

导航

统计

常用链接

留言簿

随笔分类(23)

随笔档案(26)

文章分类(1)

文章档案(1)

csdn

搜索

最新评论

阅读排行榜

评论排行榜