不能返回局部对象的引用？

[小竹z]

代码：
int &manip(int& s)
{
int ret = s;
return ret;
}
void main()
{
int input;
cin >> input;
cout << "Your input is: " << manip(input)<< endl;
}

上面代码能正常执行，这却和“不能返回局部对象的引用”相违背。是什么原因呢？
说说我的分析：我觉得内置类型(int)也是一种对象，当manip返回时，int ret也会被释放，但是ret还是存在于内存中只是没有被占用，这是一个巧合，但是有什么办法来验证吗？
换成：
string &manip(string& s)
{
string ret = s;
return ret;
}
void main()
{
string input;
cin >> input;
cout << "Your input is: " << manip(input)<< endl;
}

这段代码就会报运行时错，如果按照我上面的分析，string ret应该就会被占用了，为什么它会被占用呢？string 对象也是在堆栈上分配内存吗？
我是菜鸟，请大家指正~

[arong1234]

有错误的代码，错误不一定爆发出来。int临时对象离开生命周期后，其所在的内存是不会改变的，只要没有其他变量占用那块内存，你随时可以用。

string出错不是被占用，而是ret在manip结束后结束自己，调用了自己的析构函数，因此ret原来的位置上已经不具有合法string对象的资格了。

这种问题往往在遇到指针时才触发出来，而ret恰好内部包含指针

[bdmh]

整形是值传递，ret和传递的s已经不是一个东西了，地址不一样，而且值是s的拷贝，如果此时修改ret的值，并不会影响s，而string是传递指针

[pengzhixi]

对于内置类型的返回值是放到调用函数运行栈上，还是被调函数的运行栈上还是直接放到寄存器，这个标准没规定。所以得看编译器怎么对待了。

[小竹z]

[Quote=引用 1 楼 arong1234 的回复:]
有错误的代码，错误不一定爆发出来。int临时对象离开生命周期后，其所在的内存是不会改变的，只要没有其他变量占用那块内存，你随时可以用。

string出错不是被占用，而是ret在manip结束后结束自己，调用了自己的析构函数，因此ret原来的位置上已经不具有合法string对象的资格了。

这种问题往往在遇到指针时才触发出来，而ret恰好内部包含指针
[/Quote]
谢谢，明白了~