函数模板中使用类型萃取（traits）替换类型推导（deduce）

以max函数为例，通常是以宏的形式出现的

#define max(a, b) (((a) > (b)) ? (a) : (b))

 

但是在C++中，我们可能用模板替换它（对于内建类型，我们可以不写const&）

template<typename T>

T const& max(T const& a, T const& b)

{

    return (a > b ? a : b);

}

 

 

当然我们可能提供两个模板参数，但这里我们演示的是只提供一个模板参数的解决方法

 

很多时间我们会使用0的情况，于是下面的使用将导致编译失败，原因是编译器推导出double和int两种类型，而模板参数只有一个T，岐义

double m = max(1.0, 0);

 

同理，对于所有可隐式转换的类型（如内建类型int, char, short, __int64，float, double等），都不能调用max函数

 

解决的一个办法是，我们使用类型萃取的方法实现，如下

template<typename T>

T const& max(T const& a, typename std::iterator_traits<T*>::value_type const& b)

{

    return (a > b ? a : b);

}

 

这时上面的调用便正确了

double m = max(1.0, 0);

 

反之亦然

double m = max(0, 1.0);

 

 

扩展：

对于函数中用户可能传指针NULL时，类型推导都会失败，这时如果用户不想在调用函数时进行强制转换的话，那么程序员在实现就可以采取类型萃取的方式，这时便能剔除掉将NULL推导出int类型的困扰了。

 

 

当然有望C++0x解决nullptr的问题。