我看到太多讨厌C ++的C程序员。我花了相当长的时间（数年）才慢慢了解它的优点和缺点。我认为最好的表达方式是：
更少的代码，没有运行时开销，更安全。
我们写的代码越少越好。在所有追求卓越的工程师中，这一点很快就变得显而易见。您只在一个地方修复了一个错误，却不是很多-您只表达一次算法，然后在许多地方重复使用，依此类推。希腊人甚至有一种说法可以追溯到古代的斯巴达人：你对此很明智”。事实的事实是，正确使用 C ++，您可以用比C少得多的代码来表达自己，而不会花费运行时间，同时比C更安全（即在编译时捕获更多错误）。
这是我的渲染器的一个简化示例：在三角形的扫描线上插入像素值时。我必须从X坐标x1开始并到达X坐标x2（从三角形的左侧到右侧）。在每个步骤中，在我经过的每个像素中，我都必须内插值。
当我插入到达像素的环境光时：
typedef struct tagPixelDataAmbient {
int x;
float ambientLight;
} PixelDataAmbient;
...
// inner loop
currentPixel.ambientLight += dv;
当我插入颜色时（称为“ Gouraud”底纹，其中“红色”，“绿色”和“蓝色”字段通过每个像素的步长值进行插入）：
typedef struct tagPixelDataGouraud {
int x;
float red;
float green;
float blue; // The RGB color interpolated per pixel
} PixelDataGouraud;
...
// inner loop
currentPixel.red += dred;
currentPixel.green += dgreen;
currentPixel.blue += dblue;
当我在“ Phong”阴影中渲染时，我不再插值强度（ambientLight）或颜色（红色/绿色/蓝色）-我插值法线向量（nx，ny，nz），并且在每一步中，我都必须重新-根据插值法线向量计算照明方程：
typedef struct tagPixelDataPhong {
int x;
float nX;
float nY;
float nZ; // The normal vector interpolated per pixel
} PixelDataPhong;
...
// inner loop
currentPixel.nX += dx;
currentPixel.nY += dy;
currentPixel.nZ += dz;
现在，C程序员的第一个本能是““，编写三个插值的函数，然后根据设置模式调用它们”。首先，这意味着我遇到类型问题-我该如何处理？我的像素PixelDataAmbient吗？PixelDataGouraud？PixelDataPhong？哦，等等，高效的C程序员说，使用联合！
typedef union tagSuperPixel {
PixelDataAmbient a;
PixelDataGouraud g;
PixelDataPhong p;
} SuperPixel;
..然后，您有一个功能...
RasterizeTriangleScanline(
enum mode, // { ambient, gouraud, phong }
SuperPixel left,
SuperPixel right)
{
int i,j;
if (mode == ambient) {
// handle pixels as ambient...
int steps = right.a.x - left.a.x;
float dv = (right.a.ambientLight - left.a.ambientLight)/steps;
float currentIntensity = left.a.ambientLight;
for (i=left.a.x; i<right.a.x; i++) {
WorkOnPixelAmbient(i, dv);
currentIntensity+=dv;
}
} else if (mode == gouraud) {
// handle pixels as gouraud...
int steps = right.g.x - left.g.x;
float dred = (right.g.red - left.g.red)/steps;
float dgreen = (right.g.green - left.a.green)/steps;
float dblue = (right.g.blue - left.g.blue)/steps;
float currentRed = left.g.red;
float currentGreen = left.g.green;
float currentBlue = left.g.blue;
for (j=left.g.x; i<right.g.x; j++) {
WorkOnPixelGouraud(j, currentRed, currentBlue, currentGreen);
currentRed+=dred;
currentGreen+=dgreen;
currentBlue+=dblue;
}
...
您是否感到混乱进入？
首先，要使我的代码崩溃，只需输入一个错字，因为编译器永远不会在函数的“ Gouraud”部分中阻止我访问实际的“ .a”。（环境）值。没有被C类型系统捕获（即在编译期间）的错误，意味着该错误会在运行时显现出来，并且需要进行调试。您是否注意到我正在left.a.green计算“ dgreen”？编译器肯定没有告诉您。
然后，到处都有重复- for循环存在的次数与渲染模式一样多，我们一直在做“右减去左除以步长”。丑陋且容易出错。当我应该使用“ j”时，您是否注意到我在Gouraud循环中使用“ i”进行了比较？编译器再次保持沉默。
模式的if / else /阶梯怎么样？如果我在三周内添加了新的渲染模式怎么办？我会记得在所有代码中的所有“ if mode ==“”中处理新模式吗？
现在，将上述丑陋与这组C ++结构和一个模板函数进行比较：
struct CommonPixelData {
int x;
};
struct AmbientPixelData : CommonPixelData {
float ambientLight;
};
struct GouraudPixelData : CommonPixelData {
float red;
float green;
float blue; // The RGB color interpolated per pixel
};
struct PhongPixelData : CommonPixelData {
float nX;
float nY;
float nZ; // The normal vector interpolated per pixel
};
template <class PixelData>
RasterizeTriangleScanline(
PixelData left,
PixelData right)
{
PixelData interpolated = left;
PixelData step = right;
step -= left;
step /= int(right.x - left.x); // divide by pixel span
for(int i=left.x; i<right.x; i++) {
WorkOnPixel<PixelData>(interpolated);
interpolated += step;
}
}
现在来看这个。我们不再制作联合类型汤：每个模式都有特定的类型。他们通过继承基类（CommonPixelData）来重用其常用的东西（“ x”字段）。模板使编译器创建（即代码生成）我们将用C语言编写的三个不同函数，但同时要严格限制类型！
我们在模板中的循环无法执行操作并无法访问无效字段-如果这样做，编译器将吠叫。
模板执行共同的工作（循环，每次都以“步长”递增），并且可以以不会导致运行时错误的方式进行。每种类型的插值（AmbientPixelData，GouraudPixelData，PhongPixelData）与完成operator+=()，我们将在结构增加-这基本上决定如何每种类型的插值。
您是否看到我们对WorkOnPixel <T>所做的工作？我们要为每种类型做不同的工作吗？我们简单地称呼模板专业化：
void WorkOnPixel<AmbientPixelData>(AmbientPixelData& p)
{
// use the p.ambientLight field
}
void WorkOnPixel<GouraudPixelData>(GouraudPixelData& p)
{
// use the p.red/green/blue fields
}
也就是说，要调用的函数是根据类型决定的。在编译时！
重述一下：
- 我们最小化代码（通过模板），重复使用通用部分，
- 我们不会使用丑陋的骇客，我们会保留严格的类型系统，以便编译器可以随时检查我们。
- 最重要的是：我们所做的一切都不会对运行时产生任何影响。该代码的运行速度与等效的C代码一样快-实际上，如果C代码使用函数指针来调用各种
WorkOnPixel版本，则C ++代码将比C更快，因为编译器将内嵌特定于类型的WorkOnPixel模板特化呼叫！
更少的代码，没有运行时开销，更安全。
这是否意味着C ++是语言的全部和全部？当然不是。您仍然必须权衡取舍。无知的人在应该编写Bash / Perl / Python脚本时会使用C ++。满足触发器要求的C ++新手将创建具有虚拟多重继承的深层嵌套类，然后才能停止它们并将其打包。在意识到这是不必要的之前，他们将使用复杂的Boost元编程。他们仍然会使用char*，strcmp和宏，而不是std::string和模板。
但这无非是...观察与谁共事。没有语言可以保护您免受不称职的用户的侵害（没有，甚至没有Java）。
继续学习和使用C ++-只是不要过度设计。