C/C++语言中有许多对初学者(甚至是有经验的编程人员)来说很容易范的错误。通晓这样的错误可使你免于陷入其中。
忘记初始化指针
这种错误只是一般"忘记初始化变量"错误的一个特殊形式(C/C++中变量不会自动初始化,而Basic可以)。使这种错误更糟糕的原因是它的后果往往更加糟糕:
void SomeFunction() { int *pnVar int nVal; nVal = *pnVar; // Bad enough. *pnVar = nVal; // MUCh worse. } |
在这个例子中,指针变量pnVar从未被赋值。因此你必须假设它含有的是杂乱的数据,从一个混乱信息指针中读数糟糕的很,因为结果肯定是杂乱数据,向一个混乱信息指针写数据更糟,因为它将导致一些不知道什么地方的数据被重写。
如果被重写的区域无用,这到没什么危害。如果被重写的区域有用,数据就会丢失。这种类型的错误那么难找,是因为直到程序企图使用已丢失的数据时问题才会呈现出来。这种问题可能是在数据丢失后好久才发生的。
由于这一问题手工判断很困难,Visual C++编译器就通过一些努力来避免它的发生。例如,当你编译上述函数时就会产生一个警告。在这种情况下,编译器会告诉你变量在使用前未被赋值。在很多情况下,它不可能告诉你。
Windows 95操作系统试图用保护存储器在一定程度上帮助解决难题:如果应用程序企图从不属于它的存储器读或写,Windows通常能截获该请求,并立即终止该程序。可惜,Windows 95不能截获对应用程序拥有的存储器的无效访问,它也不能截获所有非法访问,因为必须保留某些缺口,以与Windows 3.1的兼容性名义开放。
忘记释放堆内存
请记住从堆获得分配的任何内存都必须要释放。如果你用完内存以后,忘记释放它,系统内存就会变得愈来愈小,直到最后你的程序不能运行而崩溃。
这个问题会出现在诸如下列的一些情况中:
Car* GetAnewCar(int nOccupants) { Car* pCar; if(nOccupants < 4) { pCar = new Car(2); // get a two-door. } else { pCar = new Car(4); // otherwise, a four-door. } return pCar; } void GoToTheStore(int nOccupants) { // get a car。
Car* pCar = GetAnewCar(nOccupants); // Now drive to the store。 if(pCar) { pCar->Drive(Store); } } |
在此例中,函数GoToTheStore()首先分配一辆新车来开——这有点浪费,但你肯定会同意这种算法可以正常工作。只要分配了新车,它就会开到有调用pCar->Drive(Store)所指向的商店。
问题是在它安全到达目的地之后,函数不破坏Car对象。它只是简单地退出,从而使内存丢失。
通常,当对象pCar出了程序中的作用域时,程序员应该依靠析构函数~Car释放内存。但这里办不到,因为pCar的类型不是Car而是Car*,当pCar出了作用域时不会调用析构函数。
修正的函数如下:
void GoToTheStore(int nOccupants) { // get a car。 Car* pCar = GetAnewCar(nOccupants); // Now drive to the store。 if(pCar) { pCar->Drive(Store); } // Now delete the object,returning the memory. delete pCar; } |
使用new操作符构造的对象都应该用delete运算符删除,这一点必须牢记。
返回对局部内存的引用
另一个常见的与内存有关的问题是从函数返回局部内存对象的地址。当函数返回时,对象不再有效。下一次调用某函数时,这个内存地址可能会被这个新函数使用。继续使用这个内存指针就有可能会写入新函数的局部内存。
这个常见问题以这种方式出现:
Car* GetAnewCar(int nOccupants) { Car* pCar; if(nOccupants < 4) { pCar = &Car(2); // get a two-door. } else { pCar = &Car(4); // otherwise, a four-door. } return pCar; } |
请注意指针pCar怎样被赋予由构造函数Car()建立的未命名对象的局部地址的。到目前为止,没有问题。然而一旦函数返回这个地址,问题就产生了,因为在封闭的大括号处临时对象会被析构。
使运算符混乱
C++从它的前辈C那里继承了一套含义相当混乱模糊的运算符。再加上语法规则的灵活性,就使它很容易对程序员造成混乱,使程序员去使用错误的运算符。
这个情况的最出名的例子如下: