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

最新推荐文章于 2021-01-20 20:31:57 发布

转载最新推荐文章于 2021-01-20 20:31:57 发布 · 1.8k 阅读

文章标签：

#object #编译器 #struct #class #gcc #c

编译专栏收录该内容

8 篇文章

订阅专栏

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