C++的优秀特性5:模版

(转载请注明原创于潘多拉盒子)

  C++是强类型语言,而且恐怕是强类型语言里面类型最严格的。这意味着:1. C++变量的类型在定义时就确定了;2. 该类型在后续的生命期中不会改变。比如:

int n = 0;
n = 3.14159;    // n的类型不变,仍然为int型

这样编译器产生的机器码是确定的,不需要运行时编译,比如像Python中的JIT(Just In Time)那样在代码执行过程中编译。

  但是,这给代码的可复用性带来了麻烦。比如现实中我们可能会定义一个二元关系"<",它表示“如果a < b,那么a在b前面”,或许你可以简单的理解为小于号,或者更广义的说,是a在b前面。那么你可能可以基于这个顺序的定义写一个排序函数。比如:

void sort(int* array, int len)
{
    // 某种排序实现,比如冒泡或者快速排序,就地对array中的元素进行排序
}

貌似就OK了!但仔细一看,不对!如果array是double型呢?幸好C++有重载(overload)机制,这事儿也不难:

void sort(double* array, int len)
{
    // 某种排序实现,比如冒泡或者快速排序,就地对array中的元素进行排序
}

由于是sort是完全基于 "<"运算符的,因此可以想想这两段实现代码看起来会非常像,出了中间变量的类型不同之外,其余都是相同的。甚至你可以直接拷贝粘贴,可以轻松实现float、long甚至是string的排序函数。

  不过,这很繁琐,不仅如此,还带来了维护的问题,如果代码需要改动呢?C++为解决这类问题,提供了模版机制,它允许程序员用"抽象类型"来暂时替代具体的类型,比如上述的例子可以写成:

template <typename T>
void sort(T* array, int len)
{
    // 直接实现基于抽象类型T的排序函数,这里的类型T是可以在编译时确定的
}

注意,这段代码必须实现在头文件中,不可以实现在cpp中,除非该函数仅仅由该cpp调用。有了这样一个函数的定义,在客户代码中如何调用呢?该怎么调用就怎么调用,比如:

 std::string names[100];
// load names ...
sort(names, 100);    // 编译器在此时完成模版的实例化

  除了可以定义模版函数之外,还可以定义模版类,比如标准模版库(STL)就是基于模版机制实现的C++标准库。比如你可以定义一个类Any(boost库中有完整的实现boost::any),用于封装所有的类型。这个类可以定义成这样:

class Any
{
public:
    Any() : _object(NULL), _type() {}

    Any(const Any& other) : _object(other._object), _type(other._type) {}

    Any& operator = (const Any& other)
    {
    _object = other._object;
    _type = other._type;
return *this;
} // 可以将任意类型T的对象存储在这个Any类型中   template <typename T>   Any& operator = (const T& object)   {     _holder = new T(object);     _type = typeid(T);
return *this;   } // 定义了向已知类型T的转换操作   template <typename T>   T& cast()   {     if (typeid(T) != _type)     {       throw std::exception("bad type");     }     return *reinterpret_cast<T>(_object);   } private: void* _object; std::type_info _type; };

这个类使用起来是这样的:

std::string name = "ZHANG San";
Any attribute = name;  // 这个any内部保存的类型被实例化为std::string
std::string& anotherName = name.cast<std::string>();  // 由于没有参数列表,只能在模版实例化指示部分<std::string>定义实例化类型
assert(name == anotherName);  // must be true

  或许,你需要定义一个容器类,像STL那样,保存某些元素:

template <typename T>
class Container
{
public:
    // 具体定义
};

// 客户代码
Container<double> scores;

  

C++的模版机制较复杂,实际使用中也会遇到不少问题,这里因为内容深度的限制,就不继续讨论了。

原文地址:https://www.cnblogs.com/bqzhao/p/3551144.html