C/C++语言中有许多对初学者(甚至是有经验的编程人员)来说很容易范的错误。通晓这样的错误可使你免于陷入其中。
使运算符混乱
C++从它的前辈C那里继承了一套含义相当混乱模糊的运算符。再加上语法规则的灵活性，就使它很容易对程序员造成混乱，使程序员去使用错误的运算符。
这个情况的最出名的例子如下：
if(nVal = 0)
{
// do something if nVal is nonzero.
}
程序员显然想要写if(nVal == 0)。不幸的是，上述语句是完全合法的，虽然没有什么意义，C++语句将nVal赋值为0，然后检查结果看看是否为非零（这是不可能发生的）。结果是大括号内的代码永远不会被执行。
其它几对容易弄错的运算符是&和&&，以及/和//。
0的四种面孔
根据使用它的方式，常数0有四种可能的含义：
☆ 整数0
☆ 不能是对象地址的地址
☆ 逻辑FALSE
☆ 字符串的终结符
我可以向你证明这些含义的差别是很实际的。例如，下列赋值是合法的：
int *pInt;
pInt = 0;// this is leagal.
而下列赋值是不合法的：
int *pInt;
pInt = 1;// this is not.
第一个赋值是合法的，因为表中的第二定义：常数0可以是地址，然而常数1则不行。
这个含义的多重性能导致一些难以发现的错误：
// copy a string from pSource to pTarget -- incorrect version.
while(pSource)
{
*pTarget++ = *pSource++;
}
此例中的while循环试图把由pSource指向的源字符串复制到由pTarget指向的内存块。但不幸的是，条件写错了，它应这样写出：
// copy a string from pSource to pTarget -- incorrect version.
while(*pSource)
{
*pTarget++ = *pSource++;
}
你可以看到，当由pSource指向的字符为NULL时，终止条件出现。这是0的第四定义。然而，这里写出的代码却是去查看地址pSource是否为零，这是第二定义。
最终结果是while()循环继续写入内存直到程序崩溃。
0的其他定义之间也可能产生混乱。唯一的解决办法就是当你使用常数0的时候小心一点。
声明的混乱处
复合声明是非常混乱的，但C++——以它的热忱保持了与C的反向兼容性——但也产生了一些声明间的矛盾，你必须避免这种矛盾。
class Myclass
{
public:
Myclass(int nArg1 = 0,int nArg2 = 0);
};
Myclass mcA(1,2);
Myclass mcB(1);
Myclass mcC();
mcA是参数1和2构成的对象，而mcB是参数1和0构成的对象。因此你可能认为mcC是参数0和0构成的对象，然而情况不是这样。而mcC()是一个不带参数的函数，它用数值返回类Myclass的对象。
另一个混乱产生于初始化运算符=的使用：
Myclass mcB = nA; // same as Myclass mcB(nA)
为了增强与C的兼容性，允许这样使用=；然而你应该避免这种结构，因为它不是一贯适用的。例如下列程序就不会有预期的效果：
Myclass mcA = nA,nB;
这说明一个对象mcA(nA),它后面有一个独立的使用缺省构造符的对象nB，而不是说明一个对象mcA(nA,nB)。
坚持使用C++格式——这是最安全的。
计算顺序混乱
C和C++运算符的先后顺序，使你能够知道怎样计算诸如下列表达式：
a = b * c + d;
然而先后次序不会影响子表达式的计算顺序。让我们以看上去不重要的方式改变示例的表达式：
a = b() * c() + d();
现在的问题是，在这个表达式中以什么样的顺序调用函数b()，c()和d()？答案是，顺序是完全不确定的。更糟的是，顺序不能借助圆括号的使用而确定。所以下列表达式没有作用：
a = (b() * c()) + d();
函数计算顺序通常不值得去关心。然而，如果这些函数有副作用，以某种方式彼此影响(称为相互副作用)，那么顺序就是重要的了。例如，如果这些函数改变相同的全局变量，则结果就是不同的，这取决于其中函数被调用的顺序。
甚至当不涉及函数调用时，相互副作用也会产生影响：
int nI = 0;
cout<<"nA[0]="<<nA[nI++]<<"nA[1]="<<nA[nI++]<<"/n";
这个表达式的问题是单个表达式包含有相互副作用的两个子表达式——变量nI是增量。哪个nA[nI++]首先被执行，左边的nA[nI++]还是右边的nA[nI++]?没法说，上述代码可能会以预期的方式工作，但也可能不会。
说明虚拟成员函数
为了在子类中重载虚拟成员函数，必须用和基本类中函数一样的形式说明子类中函数的参数和返回类型。这并不总是清楚的。例如，下列代码似乎讲得通：
class Base
{
public:
virtual void AFunc(Base *pB);
};
class Subclass:public Base
{
public:
virtual void AFunc(Subclass *pS);
};
这个代码会编译通过，但不会有迟后联编。函数Base::AFunc()的参数是Base*类型的，而函数Subclass::AFunc()的参数是Subclass*，它们是不同的。
这个规则的唯一例外是下面的例子，它符合ANSI C++标准：
class Base
{
public:
virtual void Base* AFunc();
};
class Subclass:public Base
{
public:
virtual void Subclass* AFunc();
};
在此例中，每个函数返回其固有类型对象的地址。这种技术很通用，所以标准委员会决定承认它。
从构造函数内调用虚拟成员函数
从构造符内调用虚拟函数是前期联编的，这样，它就短路掉了那些原本可能的简洁的能力：
class Base
{
public:
Base();
virtual void BuildSection();
};
class Subclass:public Base
{
public:
Subclass();
virtual void BuildSection();
};
Base::Base()
{
BuildSection();
};
在此例中，程序员希望构造函数能够多态地调用BuildSection()，当正在构造的对象是Base对象时调用Base::BuildSection()，当对象是类Subclass对象时调用Subclass::BuildSection()。
由于下列简单的原因这个例子不起作用：当调用BuildSection()完成时，正在构造的对象仅仅是一个Base对象。即使对象最终成为Subclass对象，也要等到Subclass的构造函数把它过一遍以后。在这些情况下调用Subclass::BuildSection()可能是致命的。即使对象将最终成为Subclass对象，但在调用BuildSection()的时候，对象只不过是Base对象，而且，这个调用必须要前期联编到函数Base::BuildSection()。
指针对准
当你在80x86处理器（例如，你的PC机的芯片）上执行你的程序时，这个问题不是致命的，但对其他的绝大多数芯片来说，这就是致命的了。它还会对你的应用程序移植到某个其他环境的能力产生影响。此外，甚至对于Intel 处理器来说，这个问题也将导致低于标准的性能。
当你的指针从一种类型转换到另一种类型的时候，就有可能产生一个非对准指针(misaligned pointer)。处理器一般要求内存块的地址要与一个和这个内存块的尺寸匹配的边界对齐。例如，字只能在字边界上被访问(地址是二的倍数)，双字只能在双字边界上被访问(地址是四的倍数)，依次类推。
编译器通常确保监视这个规则。但是当你的指针类型从一种类型转换成较大类型时，你就可以很容易地违反这个规则：
char cA;
char* pC = &cA;
int* pI;
pI = (int*)pC;
*pI = 0; // this may be fatal.
因为字符仅仅是一个字节长，所以地址&cA可能有任意值，包括奇数值。可是，pI应只包含四的倍数的地址。通过转换，允许把pC赋给pI，但是如果地址不是四的倍数，则接着发生的赋值可能使程序崩溃。
对于Intel处理器来说，甚至当pC值为奇数时，该赋值也不是致命的；虽然占用的时间要长得多，但是赋值还是能够正常执行。请你谨防非对准指针。
这种情况只在你正在把你的指针从指向一种类型转换成指向较大类型时才会出现。
扫一扫
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
