Question

C++ 引用问题

在申明函数的时候在函数名前面加&是什么意思
有人说是"说明这个函数返回值是引用"
比如A &ls(){...}就是说ls这个函数返回值是类A的引用
我看到了这样的代码

//===========================
...//(类A的定义就不写了)
A &ls()
{
A m;

return m;

}
main()
{
A &z = ls();

...//(下面就不写了)

}
//===========================
就是说在函数ls创建了一个类A的对象m 然后返回m的引用 但是m的引用是什么
"引用就是别名" 比如说A &z = x;就是说z是x的别名 z是我起的x的另一个名字
但是这个地方我没有给m起一个别名啊 他怎么返回的别名
然后A &z = ls();又是什么意思呢 就算ls()返回了m的别名 A &z = ls();是说用z当作ls返回值的别名 而ls本来就返回的是m的别名 那z就是"m的别名的别名"吗?

Answer 1

　　在申明函数的时候在函数名前面加&是什么意思,有人说是"说明这个函数返回值是引用"，比如A &ls(){...}就是说ls这个函数返回值是类A的引用

　　函数名前面加&，这种说法不妥，因为引用&是伴随着类型名的，只能说是在类型后面加&，比如int &， float &。

　　就是说在函数ls创建了一个类A的对象m 然后返回m的引用 但是m的引用是什么
"引用就是别名" 比如说A &z = x;就是说z是x的别名  z是我起的x的另一个名字
但是这个地方我没有给m起一个别名啊 他怎么返回的别名

　　c和c++的参数传递都是按值拷贝，返回值也是，如果不是引用，则返回m的一个拷贝，也就是在内存里另外再生成一段m的复制，然后返回那段复制。这里加了引用，则直接将m返回，人为理解上就是说返回了一个别名，但这个别名不一定要有具体的叫法，只是说你对这个别名修改就相当于对m修改

然后A &z = ls();又是什么意思呢 就算ls()返回了m的别名 A &z = ls();是说用z当作ls返回值的别名 而ls本来就返回的是m的别名 那z就是"m的别名的别名"吗?

这个=表示赋值的意思，就是说函数ls返回了m的别名，你可以把这个别名当一个变量使用，那么A &z=ls()就是说把这个变量的别名赋值给z，

int i;
int& a=i;//a是i的引用，用a的地方等同于用i
int& b=a;//等同于int& b=i;

另外，需要注意的是引用必须定义的时候就要赋值，然后就和赋值的那个变量“绑定”了，不能解除“绑定”

Answer 2

关于：
就是说在函数ls创建了一个类A的对象m 然后返回m的引用 但是m的引用是什么
"引用就是别名" 比如说A &z = x;就是说z是x的别名 z是我起的x的另一个名字
"但是这个地方我没有给m起一个别名啊他怎么返回的别名"

---------------
这个地方别名m不是你指定的，而是Is()返回的，返回的是A类对象m的引用，引用z接收该引用的值。测试：

#include <stdio.h>

class A{ public: int a; };

A& Is(){A a; a.a=17; return a; }

void main(void){
A& a=Is();
printf("a.a=%d\n",a.a);

A b=Is();
printf("b.a=%d\n",b.a);

}

Answer 3

你对引用的理解是对的。
但A &ls() { A m; return m; }这个函数返回引用明显是错误的，这是因为m为局部对象，函数ls()寿命结束后，m不再存在，那么这个引用是什么呢？
那么什么情况下可以返回引用呢？看看下面这个函数
A &ms(A &B) {
// 对B进行必要的处理
return B;
}
B定义在主调函数中，在进入函数ms()之前，B是存在的，函数ms()结束后，B仍然存在，只是内容发生了期望的变化，所以这个函数返回引用是合理的。

Answer 4

先恭喜你最后一段的理解是完全准确的。但是ls()函数结束前，m已经被析构了(m原来占的那片内存空间可能已经被修改)，所以返回m的别名没有意义，可能得到错误的结果。
除非这样才有意义(动态储存分配保证对象不被析构)
A&ls(){
A*pa=new A;
return *pa;
}

Answer 5

对啊，你这样理解就是对的。