从一个C++程序谈起──引用、堆栈参数传递及其它

刘宝宏 · 2001年第14期

C++的参数传递、引用的使用及内存的分配是初学者比较头疼的，下面我们就通过一个实例来讲解它们的使用方法，通过该实例相信读者会对这些概念有一个清晰的认识。程序代码如下：
　　 #include “stdafx.h”
　　 #include “iostream.h”
　　 #include “string.h”
　　 class Person{
　　 private:
　　 char *m_pName:
　　 public:
　　 Person（char *）;

~Person（）;

char* getName（Person）;

};
　　 Person::Person（char*s）{

int l=strlen（s）+1;

m_pName= new char[l];

strcpy（m_pName，s）;

}
　　 Person::~Person（）{

Person* p;

p=this;
　　 delete [] m_pName;

}
　　 char* Person::getName（Person person）{

return person.m_pName;
　　
}
　　 int main（int argc， char* argv[]）{

Person me（“John”）;

Person* p1=&me;

Person you（“Tom”）;

Person* p2=&you;

cout<

return 0;

以上程序看上去很简单，也没什么问题。但是，实际上运行该程序，系统会报如下错误：Debug Assertion Failed! _ASSERTE（_BLOCK_TYPE_IS_VALID（pHead->nBlockUse））。原来是程序在调用dbgHeap.c时出了问题。为了弄清问题的根源我们给程序加入一些调试行，修改如下：
　　 Person::~Person（）{

Person* p;

p=this;
　　 delete [] m_pName;

}
　　 char* Person::getName（Person person）{

Person* p;

char* ch;
　　 ch=person.m_pNamep;

p=&person;
　　 return person.m_pName;

}
　　 int main（int argc， char* argv[]）
　　
{
　　 Person me（“John”）;

Person* p1=&me
　　 Person you（“Tom”）;

Person* p2=&you;
　　 cout< 　　 return 0;
　　
}
　　 在调试状态下单步运行该程序，观察各指针的值，在我的机器上的运行结果如下
　　 me: 对象地址： 0x0012ff70 m_pName地址：0x009b0050
　　 you: 对象地址： 0x0012ff68 m_pName地址： 0x009b1ff0
　　 参数person: 对象地址： 0x0012ff0c m_pName地址： 0x009b1ff0
　　 由于在C++中参数传递是“值传递”的，在调用GetName（Person person）函数时，系统给形参分配存储单元。问题在于，这种分配内存的方法是在堆栈上分配的，而堆栈是后进先出的。所以当程序退出该函数时，系统会收回为形参分配的内存，于是调用Person的析构函数，释放为对象you的名字“Tom”分配的内存，而此时you并未使用完，所以当程序运行到最后，调用对象you调用其析构函数真正要释放为you分配的内存时，由于内存已被错误地释放，于是就会出现“Debug Assertion Failed”的错误。
　　 改正的方法其实也很简单，用引用作形参即可。此时方法的声明改为：
　　 char* getName（name&）;

在实现中相应地改为：
　　 char* Person::getName（Person& person）
　　 其他都不用改变就一切OK了。这就是使用引用的好处。此时的内存分配情况如下（图1）所示：