C++代码重构——从C global到C++ template

在学数据结构的时候，我常有这样目标——写出能够最大程度复用的代码（算法正确，封装优秀）。我常想——如何能在短时间内达成“算法正确，封装优秀”这样的目标。经过一段时间的摸索，我的结论是：先用C写出正确的算法，再将它改写成C++ class，最后再考虑改为template。这种方法简单可行，基本实现了 逻辑（算法）设计与接口设计两个步骤的分离。

在写数据结构代码的场景下，使用这种方法的前提是——你必须先把这个数据结构需要哪些操作弄清楚，并且有如何实现的大致思路（如果不清楚，翻翻书☺）。

下面以一个有界队列为例，进行演示。

正确的算法

在考虑如何实现算法时，可以完全不用任何封装（C struct的封装也不用），只要实现最小操作集合就行了，但测试必须要写。

这里就是实现所谓的“环形缓冲”，空出一个用于区分队满和队空。连同测试，代码如下：

（运行结果不在此贴出，感兴趣的同学自己运行）

在只考虑算法不考虑接口的情况下，写出这样的代码很容易（相信有点语言功底的都能写得出来）。当然，上面的#define TEST可以不写，用编译选项定义也是可以的。

封装为class

有了这样的基础，封装为C++ class就很容易了（这里直接包裹，实际情形可能有功能类似但参数不同的接口，略作封装即可）。这么简单的成员函数，没有必要分开来了，这里就用一个.h：

封装为类之后，测试代码有必要分开来写：

重构为class template

显然，这样直接封装的有界队列存在问题——元素类型固定（这通常是写成template的理由），缓冲大小固定。对于第一点，可以通过将代码重构为C++的类模板实现；即将元素的类型作为类模板的一个参数。对于第二点，也可以借助模板参数实现（模板除了有类型参数，也可以有值参数）。当然也可以把buffer改为指针，在ctor传入大小，这里不做介绍。代码如下：

此时的测试代码：

这里描述的方法（C->OO->template）主要是从代码复用的角度考虑，并非与传统OOP教材上的“先接口后实现”相违背。你可以理解为——如何让《数据结构》教材上的C代码的到最大程度上的复用。（多数《数据》教材采用C代码讲解，当然也有使用其他语言的）

直接使用“先接口，后实现”的方法，并非不行，只是可能要多改很多次代码（尤其是考虑模板的时候T^T，想想都是泪，不能让学弟学妹们掉同样的坑了）。使用本文所述方法的好处就是——可以让逻辑设计与接口设计两个过程解耦。