C++ Templates (2.1 类模板Stack的实现 Implementation of Class Template Stack)

返回完整目录

目录

• 2.1 类模板Stack的实现 Implementation of Class Template Stack
  • 2.1.1 声明类模板 Declaration of Class Templates
  • 2.1.2 成员函数实现 Implementation of Member Functions

2.1 类模板Stack的实现 Implementation of Class Template Stack

正如函数模板，能够以下方式在一个头文件中声明和定义类Stack<>：

// basics/stack1.hpp

#include <vector>
#include <cassert>

template <typename T>
class Stack
{
private:
      std::vector<T> elems;      //元素

public:
      void push(T const& elem);      //压入元素
      void pop();      // 弹出元素
      T const& top() const;      //返回顶上的元素
      bool empty()      //返回栈stack是否为空
      {
            return elems.empty();
      }
};

template <typename T>
void Stack<T>::push(T const& elem)
{
      elems.push_back(elem);      //将elem的拷贝放入elems末尾
}

template <typename T>
void Stack<T>::pop()
{
      assert(!elems.empty());
      elems.pop_back();      //移除最后一个元素
}

template <typename T>
T const& Stack<T>::top() const
{
      assert(!elems.empty());
      return elems.back();      //返回最后一个元素
}

正如所看到的，该类模板使用C++标准库的vector<>实现，这样便无需实现内存管理、拷贝控制和赋值运算，这样即可以将重心放在类模板的接口上。

2.1.1 声明类模板 Declaration of Class Templates

声明类模板与声明函数模板相似：在声明以前，必须声明一个或多个类型参数的标识符。再一次，T是一个经常使用的标识符：

template <typename T>
class Stack
{
...
};

此处的关键字typename也能够用class代替：

template <class T>
class Stack
{
...
};

在类模板中，T能够像其余任何类型同样用于声明成员和成员函数（member function）。该例子中，T用于声明成员的类型为T的向量vector ，用于声明成员函数 push()使用T类型做为参数，用于声明成员函数 top()的返回类型。

template <typename T>
class Stack
{
private:
      std::vector<T> elems;      //元素

public:
      void push(T const& elem);      //压入元素
      void pop();      // 弹出元素
      T const& top() const;      //返回顶上的元素
      bool empty()      //返回栈stack是否为空
      {
            return elems.empty();
      }
};

该类的类型为Stack ，其中T为模板参数。所以，只要在声明中使用该类的类型，必须使用Stack ，除非模板参数能够推断而得。然而，在类模板内，使用没有模板实参的类名意味着将类模板实参做为模板参数（However, inside a class template using the class name not followed by template arguments represents the class with its template parameters as its arguments.）（详见13.2.3节）。

好比，若是必须声明构造函数和赋值运算符，这一般看起来像这样：

template <typename T>
class Stack
{
      ...
      Stack(Stack const&);      //拷贝构造
      Stack& operator=(Stack const&);      //赋值运算符
};

这与以下形式等价：

template <typename T>
class Stack
{
      ...
      Stack(Stack<T> const&);      //拷贝赋值
      Stack<T>& operator=(Stack<T> const&);      //赋值运算符
};

但一般 意味着对特殊模板参数的特殊处理，所以第一种形式更好。

然而，在类结构以外须要指定模板参数：

template <typename T>
bool operator==(Stack<T> const& lhs, Stack<T> const& rhs);

注意到在须要类名而不是类的类型的地方，仅仅使用Stack即可以。这特别是在构造函数和析构函数名字的情形中。

与非模板类不一样，不能在函数内部或者块做用域（block scope）内声明类模板。一般，模板只能定义在全局做用域（global scope）或者命名空间做用域（namespace scope）或者类声明内（详见12.1节）。

2.1.2 成员函数实现 Implementation of Member Functions

定义类模板的成员函数必须指定这是一个模板且必须使用类模板的完整类型限制。所以，类型Stack 的成员函数 push()的实现为

template <typename T>
void Stack<T>::push(T const& elem)
{
      elems.push_back(elem);      //将elem的拷贝放入elems末尾
}

该状况下，成员向量的push_bask()方法被调用，将元素放入向量vector的末尾。

注意到向量vector的pop_back()将移除最后一个元素但不返回，这行为的缘由是异常安全（exception safety）。不可能实现一个返回移除元素的彻底异常安全的pop()版本（该问题首先由Tom Cargill在[CargilExceptionSafety]中的第10项条款[SutterExceptional]中讨论）。然而，若是忽略该危险，能够实现返回移除的元素的pop()。为实现此功能，简单地使用T来声明类型为元素类型的局部变量：

template <typename T>
T Stack<T>::pop()
{
      assert(!elems.empty());
      T elem = elems.back();      //保存最后一个元素
      elems.pop_back();      //移除最后一个元素
      return elem;      //返回保存元素的拷贝
}

因为当vector中没有元素时，back()（返回最后一个元素）和pop_back()（移除最后一个元素）都将有未定义的行为，所以须要检查栈是否为空。若是为空，则断言（assert），由于在空的栈上调用pop()是错误的。在top()上也须要这么作，它返回顶上的元素但不移除：

template <typename T>
T const& Stack<T>::top() const
{
      assert(elems.empty());
      return elems.back();      //返回最后一个元素
}

固然，对于任何成员函数，也能够将类模板的成员函数在类的声明中实现为inline，好比：

template <typename T>
class Stack
{
      ...
      void push(T const& elem)
      {
            elems.push_back(elem);      //将elem放入末尾
      }
};