//---------main.cpp------------
#include <iostream>
//默认拷贝构造函数
using namespace std;
class Person
{
private:
char *pName;
public:
Person(char *pN = "noName")
{
std::cout<<"constructing :"<<pN<<endl;
pName = new char[strlen(pN)+1];
if(pName) strcpy(pName,pN);
}
~Person()
{
std::cout<<"destructing :"<<pName<<endl;
delete[] pName;
}
};
int main(int argc,char **argv)
{
Person p1("Jack");
Person p3(p1);
return 0;
}
destructing :Jack
destructing :葺葺葺葺S髒S
程序在编译时,出现异常,先析构p2时,将存有Jack的空间先行释放了,轮到p1析构时,Jack已经不复存在,因此访问该空间的操作变得不可预料的怪异。
为了达到对象实体也就是对象整体的复制目的,就需要另外定义一个拷贝构造函数,以覆盖默认的拷贝构造函数。
//---------main.cpp------------
#include <iostream>
//自定义拷贝构造函数
using namespace std;
class Person
{
private:
char *pName;
public:
Person(char *pN = "noName") //默认的构造函数
{
std::cout<<"constructing :"<<pN<<endl;
pName = new char[strlen(pN)+1];
if(pName) strcpy(pName,pN);
}
Person(const Person &s) //根据参数类型重载构造函数
{
std::cout<<"copy constructing "<<s.pName<<endl;
pName = new char[strlen(s.pName)+1];
if(pName) strcpy(pName,s.pName);
}
~Person() //析构函数
{
std::cout<<"destructing :"<<pName<<endl;
delete[] pName;
}
};
int main(int argc,char **argv)
{
Person p1("Jack");
Person p2(p1); //等价于对象p2=p1 ,对象的复制
return 0;
}
constructing :Jack
copy constructing Jack
destructing :Jack
destructing :Jack
请按任意键继续. . .
注:
拷贝构造函数的参数必须是类对象的常量引用。
Person(const Person &s);
因为对象复制的语义本身尚处于当前定义当中,参数传递若为传值形式,则对象复制操作调用的拷贝构造函数在哪里????所以只能是引用或指针。
const限定符有两个作用,一个是防止被复制的对象变样,另一个是扩大使用范围。有一条编程经验,就是自定义的对象作为参数传递,能用引用就尽量用引用,能用常量引用的尽量使用常量引用。因为被复制的对象也有可能是常对象。
const Person p1("Jack");
Person p2(p1);
如果拷贝对象是常对象,而拷贝构造函数的参数不是常量引用,也就是说,置一个常对象与可能被修改的危险之中,这是编译无论如何也要奋不顾身报错的。
自定义拷贝构造函数在对象本体与对象实体不一致时,便是需要的,否则无此需要。
1