C++之类对象的返回与引用

来源:互联网 发布:剑网三丐太捏脸数据 编辑:程序博客网 时间:2024/05/05 00:35

一、类对象的返回
在拷贝构造器中提到过:

class A{};A func(A a){    return a;}int main(){    A x;    func(x);}

调用func(a)中参数的传递本质是调用拷贝构造器的发生,将实参x拷贝给形参a中。

A func(A &a){    return a;}int main(){    A x;    func(x);}

这次把func的形参换成了引用,显然这并不会发生拷贝构造,a只是x的一个别名,下面引用中再重点说明。
这里重点要说的是rerturn a;这样一句代码是如何返回的,其实和普通变量的返回类似,同样是将是为一个临时变量开辟一段空间,可能在寄存器,也可能在栈上,把返回的a的值拿到为临时变量开辟的空间中,回到main函数中,再把临时变量中的值拿出来放到新的变量的空间中就可以了。下面用一个代码例子加输出结果完整的看一下整个过程:

class A {public:    A() {        cout << this << "--this is a constructor" << endl;    }    ~A() {        cout << this << "--this is a destructor" << endl;    }    A(const A & another) {        cout << this << "--copy cnnstructor from--" << & another << endl;    }    A & operator=(const A & other) {        cout << this << "--assignment operator overloading from--" << &other << endl;    }};A func(A a) {    return a;}int main() {    A x;    A t;    t = func(x);    return 0;}

这里写图片描述

0x28fead是x对象的地址,发生一次构造,0x28feac是t对象的地址,发生一次构造,0x28feaf是func中形参a的地址,显然是通过拷贝构造x得来的,0x28feae是为存放a的值的临时变量开辟的空间地址,显然通过拷贝构造a得来的,t又通过赋值运算符重载,将存放临时变量空间中的值拿到t所在的空间中,可以看出析构顺序与构造顺序相反。

二、类对象的引用
如果把上面的函数改成这样,会发生什么呢:

A  & func(A a) {    return a;}

这里写图片描述

可以看到这里并没有为临时变量开辟空间这一说,而是直接把形参a所在地址的值拿给了对象t所在的空间。这又是为什么呢?
这就是引用的强大所在,这里相当于把a的作用域扩展到了main函数中,便可以直接利用a赋给t了。类似的例子像上面提到的引用那个没有发生拷贝构造的例子:

A func(A &a){    return a;}int main(){    A x;    func(x);}

同样是因为把x的作用域扩展到了func函数中,a就是x,x也就是说a,不需要发生拷贝构造。
也就是说,传引用,就相当于扩展作用域

如果代码继续修改:

A & func() {    A a;    return a;}int main() {    A x;    A t ;    t = func();    return 0;}

此时还是让他返回引用,不过这时看下结果:
这里写图片描述
可以看到0x28fe7f这个空间在赋值运算符重载之前被释放了。因为a此时是func中的局部变量,一旦出了func这个作用域,会自动执行析构,就算返回引用,这段地址空间放的也已经不是a了,如果有多线程在执行,可能就被拿去放其他的东西了。那赋给t的东西就不得而知到底是个什么东东了。所以这是不允许的。
对于这种情况,一般只允许返回对象本身,也就是说this指针。像赋值运算符重载那样,他的格式就是

类名 & operator=(const 类名 & 对象名) {    ......    return *this;}

函数体中返回的就是this指针了。

1 0
原创粉丝点击