C++笔记(2)拷贝构造函数
拷贝构造函数是一种特殊的构造函数,它在创建对象时,是使用同一类中之前创建的对象来初始化新创建的对象。
如果在类中没有定义拷贝构造函数,编译器会自行定义一个。如果类带有指针变量,并有动态内存分配,则它必须有一个拷贝构造函数。拷贝构造函数的最常见形式如下:
classname (const classname &obj) { // 构造函数的主体 }
在这里,obj 是一个对象引用,该对象是用于初始化另一个对象的。
1.拷贝构造函数被调用的三种情况
拷贝构造函数通常用于:
-
通过使用另一个同类型的对象来初始化新创建的对象。
-
复制对象把它作为参数传递给函数。
-
复制对象,并从函数返回这个对象。
1)当用一个对象去初始化同类的另一个对象时,会引发复制构造函数被调用。
Point p1 = Point(); //下面的两条语句都会引发复制构造函数的调用。 Point p2 = Point(p1); Point p3 = p1;
注意,第二条语句是初始化语句,不是赋值语句。赋值语句的等号左边是一个早已有定义的变量,赋值语句不会引发复制构造函数的调用。例如:
Point p1 = Point(); Point p3; p3 = p1;// 赋值语句不会引发复制构造函数的调用
这条语句不会引发拷贝构造函数的调用,因为p3早已生成,已经初始化过了。
2)如果函数Fun的参数是类Point的对象,那么当Fun被调用时,类Point的复制构造函数将被调用。换句话说,作为形参的对象,是用复制构造函数初始化的,而且调用复制构造函数时的参数,就是调用函数时所给的实参。
#include "Point.h" #include <iostream> using namespace std; void Fun(Point p); int main() { Point p1 = Point(); Fun(p1); return 0; } void Fun(Point p) { cout << "Fun run!\n"; }
运行结果
Copy constructor called!
Fun run!
这是因为Fun函数的形参p在初始化时调用了拷贝构造函数。
从这里也可以看出,函数的形参的值不一定等于实参,这取决于该对象所属的拷贝构造函数是如何实现的。
以对象作为函数的形参,在函数被调用时,生成的形参要用拷贝构造函数初始化,会带来时间上的开销。如果用对象的引用而不是对象作为形参,就没有这个问题了。但是以引用作为形参有一定的风险,因为这种情况下如果形参的值发生改变,实参的值也会跟着改变。
如果要确保实参的值不会改变,又希望避免复制构造函数带来的开销,解决办法就是将形参声明为对象的 const 引用。
void Fun(const Point& p);
3) 如果函数的返冋值是类Point的对象,则函数返冋时,类Point的复制构造函数被调用。换言之,作为函数返回值的对象是用复制构造函数初始化的,而调用复制构造函数时的实参,就是 return 语句所返回的对象。
#include "Point.h" #include <iostream> using namespace std; Point Fun(); int main() { Fun(); return 0; } Point Fun() { cout << "Fun run!\n"; Point p1 = Point(); return p1; }
运行结果:
Fun run!
Copy constructor called!