第一篇：拷贝构造函数的参数类型必须是引用
拷贝构造函数的参数类型必须是引用
在C++中，构造函数，拷贝构造函数，析构函数和赋值函数(赋值运算符重载)是最基本不过的需要掌握的知识。但是如果我问你“拷贝构造函数的参数为什么必须使用引用类型？”这个问题，你会怎么回答？ 或许你会回答为了减少一次内存拷贝？ 很惭愧的是，我的第一感觉也是这么回答。不过还好，我思索一下以后，发现这个答案是不对的。
原因：
如果拷贝构造函数中的参数不是一个引用，即形如CClass(const CClass c_class)，那么就相当于采用了传值的方式(pass-by-value)，而传值的方式会调用该类的拷贝构造函数，从而造成无穷递归地调用拷贝构造函数。因此拷贝构造函数的参数必须是一个引用。
需要澄清的是，传指针其实也是传值，如果上面的拷贝构造函数写成CClass(const CClass* c_class)，也是不行的。事实上，只有传引用不是传值外，其他所有的传递方式都是传值。
先从一个小例子开始：（自己测试一下自己看看这个程序的输出是什么？）
[cpp] view plain copy #include
using namespace std;
class CExample
{
private:
int m_nTest;
public:
CExample(int x): m_nTest(x)
//带参数构造函数
{
cout << “constructor with argument”< } // 拷贝构造函数，参数中的const不是严格必须的，但引用符号是必须的 CExample(const CExample & ex) //拷贝构造函数 { m_nTest = ex.m_nTest; cout << “copy constructor”< } CExample& operator =(const CExample &ex) //赋值函数(赋值运算符重载) { cout << “assignment operator”< m_nTest = ex.m_nTest; return *this; } void myTestFunc(CExample ex) { } }; int main(void) { CExample aaa(2); CExample bbb(3); bbb = aaa; CExample ccc = aaa; bbb.myTestFunc(aaa); return 0; } 这个例子的输出结果是： [cpp] view plain copy constructor with argument // CExample aaa(2); constructor with argument // CExample bbb(3); assignment operator // bbb = aaa; copy constructor // CExample ccc = aaa; copy constructor // bbb.myTestFunc(aaa); 如果你能一眼看出就是这个结果的话，恭喜你，可以站起来扭扭屁股，不用再往下看了。 如果你的结果和输出结果有误差，那拜托你谦虚的看完。 第一个输出： constructor with argument // CExample aaa(2); 如果你不理解的话，找个人把你拖出去痛打一顿，然后嘴里还喊着“我是二师兄，我是二师兄.......” 第二个输出：constructor with argument // CExample bbb(3); 分析同第一个 第三个输出： assignment operator // bbb = aaa; 第四个输出： copy constructor // CExample ccc = aaa; 这两个得放到一块说。肯定会有人问为什么两个不一致。原因是，bbb对象已经实例化了，不需要构造，此时只是将aaa赋值给bbb，只会调用赋值函数，就这么简单，还不懂的话，撞墙去！但是ccc还没有实例化，因此调用的是拷贝构造函数，构造出ccc，而不是赋值函数，还不懂的话，我撞墙去！ 第五个输出： copy constructor // bbb.myTestFunc(aaa); 实际上是aaa作为参数传递给bbb.myTestFunc(CExample ex)，即CExample ex = aaa；和第四个一致的，所以还是拷贝构造函数，而不是赋值函数，如果仍然不懂，我的头刚才已经流血了，不要再让我撞了，你就自己使劲的再装一次吧。 通过这个例子，我们来分析一下为什么拷贝构造函数的参数只能使用引用类型。 看第四个输出： copy constructor // CExample ccc = aaa; 构造ccc，实质上是ccc.CExample(aaa);我们假如拷贝构造函数参数不是引用类型的话，那么将使得 ccc.CExample(aaa)变成aaa传值给ccc.CExample(CExample ex)，即CExample ex = aaa，因为 ex 没有被初始化，所以 CExample ex = aaa 继续调用拷贝构造函数，接下来的是构造ex，也就是 ex.CExample(aaa)，必然又会有aaa传给CExample(CExample ex), 即 CExample ex = aaa;那么又会触发拷贝构造函数，就这下永远的递归下去。 所以绕了那么大的弯子，就是想说明拷贝构造函数的参数使用引用类型不是为了减少一次内存拷贝，而是避免拷贝构造函数无限制的递归下去。 附带说明，在下面几种情况下会调用拷贝构造函数： a、显式或隐式地用同类型的一个对象来初始化另外一个对象。如上例中，用对象c初始化d； b、作为实参(argument)传递给一个函数。如CClass(const CClass c_class)中，就会调用CClass的拷贝构造函数； c、在函数体内返回一个对象时，也会调用返回值类型的拷贝构造函数； d、初始化序列容器中的元素时。比如 vector e、用列表的方式初始化数组元素时。string a[] = {string(“hello”), string(“world”)};会调用string的拷贝构造函数。 如果在没有显式声明构造函数的情况下，编译器都会为一个类合成一个缺省的构造函数。如果在一个类中声明了一个构造函数，那么就会阻止编译器为该类合成缺省的构造函数。和构造函数不同的是，即便定义了其他构造函数(但没有定义拷贝构造函数)，编译器总是会为我们合成一个拷贝构造函数。 另外函数的返回值是不是引用也有很大的区别，返回的不是引用的时候，只是一个简单的对象，此时需要调用拷贝构造函数，否则，如果是引用的话就不需要调用拷贝构造函数。[cpp] view plain copy #include using namespace std; class A { private: int m_nTest; public: A() { } A(const A& other) //构造函数重载 { m_nTest = other.m_nTest; cout << “copy constructor”< } A & operator =(const A& other) { if(this!= &other) { m_nTest = other.m_nTest; cout<<“Copy Assign”< } return *this; } }; A fun(A &x) { return x; //返回的不是引用的时候，需要调用拷贝构造函数 } int main(void) { A test; fun(test); system(“pause”); return 0; } 分享一道笔试题目，编译运行下图中的C++代码，结果是什么？（A）编译错误；（B）编译成功，运行时程序崩溃；（C）编译运行正常，输出10。请选择正确答案并分析原因。 [cpp] view plain copy class A { private: int value; public: A(int n) { value = n; } A(A other) { value = other.value; } void Print() { cout< } }; int main(void) { A a = 10; A b = a; b.Print(); return 0; } 答案：编译错误。在复制构造函数中传入的参数是A的一个实例。由于是传值，把形参拷贝到实参会调用复制构造函数。因此如果允许复制构造函数传值，那么会形成永无休止的递归并造成栈溢出。因此C++的标准不允许复制构造函数传值参数，而必须是传引用或者常量引用。在Visual Studio和GCC中，都将编译出错。 拷贝构造函数剖析 在讲课过程中，我发现大部分学生对拷贝构造函数的理解不够深入，不明白自定义拷贝构造函数的必要性。因此，我将这部分内容，进行了总结。 拷贝构造函数是一种特殊的构造函数，其形参为本类的对象引用。功能：使用一个已经存在的对象始初化同类的一个新对象。这样得到对象和原来的对象具有完全相同的数据成员，即相同的属性。 拷贝构造函数的函数原型： A(const A& other){ … … } 拷贝构造函数的应用场合： 当用类的一个对象去初始化该类的另一个对象时；若函数的形参为类对象，调用函数时，实参赋值给形参；当函数的返回值是类对象时。比如： A a1(10); A a2 = a1; A a3(a1);// 构造函数 // 拷贝构造函数 // 拷贝构造函数 默认拷贝构造函数：成员变量之间的“值”拷贝 编写拷贝构造函数的必要性 class A { public: A(const char* data) { name = new char[strlen(data)+ 1]; strcpy(name, data); } A(const A& other) { name = new char[strlen(other.name)+ 1]; strcpy(name, other.name); } private: char* name; }; 考察：char* data = “abcd”;A a1(data);A a2 = a1; 如果未定义拷贝构造函数，会有何种后果？ 现将a1赋给a2，缺省拷贝构造函数的“位拷贝”意味着执行a2.name = a1.name。这将造成二个错误：一是a2.name和a1.name指向同一块内存，任何一方变动都会影响另一方；二是在对象被析构时，name被释放了两次。 拷贝构造函数和赋值函数的区别 一个类会默认生成它的string（）//默认普通构造函数 void string(const string &a)//默认拷贝构造函数，如果自己不实现，会用这个默认的//采用“位拷贝”的方式，对有成员指针的情况，一定有 //问 题, 因为“位拷贝”，指向同一地址空间，自己//实现,改成“值拷贝” ~stirng()//默认析构函数 const string& operation=(const string &a)//默认赋值函数，如果自己不实现，//默认的也是采用“位拷贝”的方式 “位拷贝”，string a(b); 除了a，b对象的地址不一样，但a,b成员对象都指向的同一地址空间。如果delete a, 就会删掉b的内容，所以位拷贝，对有指针成员变量的类，非常危险 拷贝构造函数发生的例子： Aa(1);//调用构造函数，Ab(a);//调用拷贝构造函数 Ac=a;//第一次赋值，因为对象还没初始化，还是调用拷贝构造函数，c=b;//已经初始化的对象才能调用赋值函数 voidf(Aa);//函数声明 f(c);//实参传递时调用拷贝构造函数，但是编译器会根据具体情况把这个过程优化掉 总结： 1.拷贝构造函数只有在定义一个新的类对象并且用已有的对象进行初始化时调用.2.赋值函数只有在已经初始化（对象已定义)的情况下被调用 例如有一个类叫做‘myclass',并有一个实例：b 那么，myclassa=b;//拷贝构造函数 myclassa; a=b;//赋值 两者调用的时间不一样，第一种情况下，a此时还没有被分配空间，在扶植的同时还要生成资源； 第二种情况下，a一构造完成，已经有了资源，所以此时等号只进行赋值。 不要轻视拷贝构造函数与赋值函数 由于并非所有的对象都会使用拷贝构造函数和赋值函数，程序员可能对这两个函数有些轻视。请先记住以下的警告，在阅读正文时就会多心： 本章开头讲过，如果不主动编写拷贝构造函数和赋值函数，编译器将以“位拷贝”的方式自动生成缺省的函数。倘若类中含有指针变量，那么这两个缺省的函数就隐含了错误。以类String的两个对象a,b为例，假设a.m_data的内容为“hello”，b.m_data的内容为“world”。 现将a赋给b，缺省赋值函数的“位拷贝”意味着执行b.m_data = a.m_data。这将造成三个错误：一是b.m_data原有的内存没被释放，造成内存泄露；二是b.m_data和a.m_data指向同一块内存，a或b任何一方变动都会影响另一方；三是在对象被析构时，m_data被释放了两次。 拷贝构造函数和赋值函数非常容易混淆，常导致错写 错用。拷贝构造函数是在对象被创建时调用的，而赋值函数只能被已经存在了的对象调用。以下程序中，第三个语句和第四个语句很相似，你分得清楚哪个调用了拷贝构造函数，哪个调用了赋值函数吗？ Stringa(“hello”); Stringb(“world”); Stringc = a;// 调用了拷贝构造函数，最好写成 c(a); c = b;// 调用了赋值函数 本例中第三个语句的风格较差，宜改写成String c(a)以区别于第四个语句。 #include using namespace std; class Box { public: Box(int,int,int);//声明带参数的构造函数（参见之前的与BOX同名函数修改数值为某个固定数） int volume(); private: int height; int width; int length; }; Box::Box(int h,int w,int len) 函数 { height=h; width=w; length=len; } int Box::volume() { return(height*width*length); } int main() { Box box1(12,23,34); box1的长宽高 cout<<“the value of box1 is”< Box box2(23,34,45); cout<<“the value of box2 is”< return 0; } //在类外定义带参数的的构造//建立对象box1并指定第二篇：拷贝构造函数剖析
第三篇：拷贝构造函数和赋值函数的区别
第四篇：不要轻视拷贝构造函数与赋值函数
第五篇：带参数的构造函数c++程序
点击咨询 