拷贝构造函数在以下三种时机被调用
1、 对象以值传递的方式传入函数参数
#include <iostream>
using namespace std;
class CExample
{
private:
int a;
public:
//构造函数
CExample(int b)
{
a = b;
cout<<"creat: "<<a<<endl;
}
//拷贝构造
CExample(const CExample& C)
{
a = C.a;
cout<<"copy"<<endl;
}
//析构函数
~CExample()
{
cout<< "delete: "<<a<<endl;
}
void Show ()
{
cout<<a<<endl;
}
};
//全局函数,传入的是对象
void g_Fun(CExample C)
{
cout<<"test"<<endl;
}
int main()
{
cout<<"flag 1"<<endl;
CExample test(1);
cout<<"flag 2"<<endl;
g_Fun(test);//时机1:对象以值传递的方式传入函数参数
cout<<"flag 3"<<endl;
return 0;
}
结果:
flag 1
creat: 1
flag 2
copy
test
delete: 1
flag 3
delete: 1
Process returned 0 (0x0) execution time : 0.397 s
Press any key to continue.
调用g_Fun()时,会产生以下几个重要步骤:
(1)test对象传入形参时,会先会产生一个临时变量,就叫 C 吧。
(2)然后调用拷贝构造函数把test的值给C。 整个这两个步骤有点像:CExample C(test);
(3)等g_Fun()执行完后, 析构掉 C 对象。
2、对象以值传递的方式从函数返回
#include <iostream>
using namespace std;
class CExample
{
private:
int a;
public:
//构造函数
CExample(int b)
{
a = b;
cout<<"creat: "<<a<<endl;
}
//拷贝构造
CExample(const CExample& C)
{
a = C.a;
cout<<"copy"<<endl;
}
//析构函数
~CExample()
{
cout<< "delete: "<<a<<endl;
}
void Show()
{
cout<<a<<endl;
}
};
//全局函数,返回的是对象!!!
CExample g_Fun()
{
CExample temp(20);
return temp;
}
int main()
{
g_Fun(); //时机2:对象以值传递的方式从函数返回!!!
return 0;
}
结果:
creat: 20
delete: 20
Process returned 0 (0x0) execution time : 0.264 s
Press any key to continue.
从结果来看,并没有调用拷贝构造函数,其实这是编译器执行的优化策略。C++规定了若干可以优化的场合,这是其中之一。结果跟编译器有关。
当g_Fun()函数执行到return时,会产生以下几个重要步骤:
(1)先会产生一个临时变量,就叫XXXX吧。
(2)然后调用拷贝构造函数把temp的值给XXXX。整个这两个步骤有点像:CExample XXXX(temp);
(3)在函数执行到最后先析构temp局部变量。
(4)等g_Fun()执行完后再析构掉XXXX对象。
3、 对象需要通过另外一个对象进行初始化
CExample A(100);
CExample B = A; //调用
CExample C(A); //调用
例题:以下代码共调用多少次拷贝构造函数?
Widget f(Widget u)
{
Widget v(u);
Widget w=v;
return w;
}
main(){
Widget x;
Widget y=f(f(x));
}
正确答案: D
A、1
B、3
C、5
D、7
解析:
y=f(f(x)) 有两层 f() ,为了说明过程,把里面的一层标明为 f_1 ,外面一层标明为 f_2 。则 7 次调用分别是:
x -> f_1 的 u
f_1 的 u -> f_1 的 v
f_1 的 v -> f_1 的 w
f_1 的 w -> f_2 的 u
f_2 的 u -> f_2 的 v
f_2 的 v -> f_2 的 w
f_2 的 w -> y
例题2:不考虑任何编译器优化(如:NRVO),下述代码的第10行会发生
#include <stdio.h>//1
class B//2
{//3
};//4
B func(const B& rhs){//5
return rhs;//6
}//7
int main(int argc,char **argv){//8
B b1,b2;//9
b2=func(b1);//10
}//11
正确答案:一次拷贝构造函数,一次析构函数,一次(拷贝赋值运算符)operator=
分析:一次拷贝构造函数发生在func函数调用完成,返回B类型的对象时,因为返回的不是引用类型,所以会生成一个对象,不妨称为TEMP,将返回的对象通过拷贝构造函数复制给TEMP,然后,返回值所对应的对象会被析构。如果返回值是引用类型,则不会调用拷贝构造函数。赋值运算符在func函数执行完成后,将上面提到的TEMP,通过赋值运算符赋值给b2,值得注意的是赋值运算符重载函数如果不自己定义,程序会认为是调用缺省的赋值运算符重载函数。
在对象被创建的时候调用普通构造函数,这里对象已经创建完毕(在第9行),所以不会有调用默认构造函数。