懒惰的VC6--函数模板的漏洞
作者:Panic 2005年4月3日

首先看这一段代码,很简单。

#include <iostream>
using namespace std;

template <class T>
void Print();

//template<> //vc6.0中可以省略这个

void Print<float>()
{
        cout << "float" << endl;
}

void Print<int>()
{
        cout << "int" << endl;
}

int main()
{
        Print<int>();
        Print<float>();
        return 0;
}

你也许会觉得,嗯,输出应该是:
int
float
很可惜,vc6的结果不是这样,而是:
float
float

为什么会产生这样的结果?原因只有盖茨知道。但是毫无疑问,vc6把函数模板的特化版本做了很自以为是的省略,也许它觉得这样做有利于减少代码体积--b
但是这样的后果是,很多以这种模板参数不直接出现在函数参数列表中的模板手法无法正常运作,而解决这个问题,除了换个编译器之外,还有其他稍微麻烦一点的方法。

再看这段代码:

template <class T>
class Print;

class Print<float>
{
public:
        void operator ()() { cout << "float" << endl; }
};

class Print<int>
{
public:
        void operator ()() { cout << "int" << endl; }
};

int main()
{
        Print<int>()();
        Print<float>()();
        return 0;
}

试试吧,这次的结果是正确的~
谢天谢地,对模板类的特化,vc6没有偷懒。于是借助仿函数(functor),我们轻松解决了这个问题。
但是并不是所有场合都适合使用仿函数,我们还是得考虑一种函数的手法,不过这种手法看起来很难看--b
那就是-》借助一个哑元类,来强制vc6实现模板参数正确的推导。
方法如下:
#include <iostream>
using namespace std;

template <class T>
class Dummy{}; //哑元类


template <class T>
void Print(Dummy<T> d); //增加一个哑元参数。

void Print(Dummy<float> d)
{
        cout << "float" << endl;
}


void Print(Dummy<int> d)
{
        cout << "int" << endl;
}

int main()
{
        Print(Dummy<int>()); //有了调用参数,当然没问题。
        Print(Dummy<float>());
        return 0;
}

但是这种方法强迫调用者增加不必要的参数,也许在最终的优化代码中,这个参数并不造成任何效率问题,但是无论如何,这很麻烦,也很难看。
有种稍微改善的方法就是,给Dummy一个参数为int的构造函数:
template <class T>
class Dummy //哑元类
{
public:
        Dummy(int){}
};

最终的调用就可以变成:
int main()
{
        Print<int>(0); //用一个整数0,总比用一个Dummy<int>()这种怪东西来的强--b
        Print<float>(0);
        return 0;
}

好看一点了,虽然离完美还有十万八千里~
这个Dummy类并不多余,如果你是一个热衷于尖括号的开发者,在vc6下,也许会有很多机会用到它的。

 

本文转载于http://blog.vckbase.com/panic/archive/2005/04/03/4344.aspx

posted on 2010-04-13 14:58  米罗21  阅读(560)  评论(0编辑  收藏  举报