我对从函数返回局部变量的引用有一些疑问：
class A {
public:
A(int xx)
: x(xx)
{
printf("A::A()\n");
}
};
const A& getA1()
{
A a(5);
return a;
}
A& getA2()
{
A a(5);
return a;
}
A getA3()
{
A a(5);
return a;
}
int main()
{
const A& newA1 = getA1(); //1
A& newA2 = getA2(); //2
A& newA3 = getA3(); //3
}
我的问题如下：
getA1()的实现是否正确？我感觉它是错误的，因为它返回的是本地变量或临时变量的地址。
main中哪个语句（1、2、3）会导致未定义的行为？
在 const A& newA1 = getA1(); 中，标准是否保证一个被const引用绑定的临时对象在引用超出作用域前不会被销毁？
1.
getA1()的实现是否正确？我觉得它是错误的，因为它返回本地变量或临时变量的地址。
在您的程序中唯一正确的 getAx() 版本是 getA3()。其他两个无论如何使用都具有未定义行为。
2. main 函数中哪些语句将导致未定义行为？
从某种意义上来说，都没有。对于 1 和 2，未定义行为是由函数体引起的。对于最后一行，newA3 应该是编译错误，因为您无法将临时对象绑定到非 const 引用上。
3. 在
const A& newA1 = getA1();中，标准是否保证通过const引用绑定的临时对象在引用超出作用域之前不会被销毁？
不保证。以下是一个例子：
A const & newConstA3 = getA3 ();
这里，getA3() 返回一个临时对象，并且该临时对象的生命周期现在与 newConstA3 对象绑定。换句话说，只要 newConstA3 超出范围，临时对象就存在。
Q1: 是的，这是一个问题，请参考问题2的答案。
Q2: 1和2未定义，因为它们指的是getA1和getA2堆栈上的局部变量。那些变量超出了范围，并且不再可用，更糟糕的是，在堆栈不断变化时可能被覆盖。getA3有效，因为会创建并返回返回值的副本给调用者。
Q3: 没有这样的保证，请参见问题2的答案。
return A(5);
A a(5);
return a;
class MyClass
{
public:
MyClass()
{
objID=++cntr;
}
MyClass& myFunc()
{
MyClass obj;
return obj;
}
int objID;
static int cntr;
};
int MyClass::cntr;
main()
{
MyClass tseadf;
cout<<(tseadf.myFunc()).objID<<endl;
}