函数返回对象，标准语义是怎样的？

[youngwolf]

std::string fun()
{
	std::string str = "123456789123456789123456789";
	printf("%p %p\n", &str, str.data());
	return str;
}

int main(int argc, const char* argv[]) {
	std::string ss = fun();
	printf("%p %p\n", &ss, ss.data());

	return 0;
}

linux输出：
0xbfd64ac0 0x8883084
0xbfd64ac0 0x8883084
我比较赞同这是标准，即ss相当于是str的一个引用，不需要构造ss。

vc2008输出：
000000000021E5D8 000000000030A380
000000000021E678 000000000030A3E0
对象构造一次，数据拷贝一次，最坏情况

vc2012输出：
00000000001DE4C8 000000000021A5C0
00000000001DE598 000000000021A5C0
对象构造一次（通过移动构造函数），数据未拷贝，情况好一点。

[mujiok2003]

返回对象的语义就是返回拷贝（拷贝构造或move constructor),至于你的类如何实现copy constructor/move constructor就是看代码如何实现的。 另外编译器可以提供返回值优化（RVO)

[mujiok2003]

linux下的那个输出: 可能有引用计数+写时拷贝技术+返回值优化。

[Luo_Bryant]

引用 1 楼 mujiok2003 的回复:

返回对象的语义就是返回拷贝（拷贝构造或move constructor),至于你的类如何实现copy constructor/move constructor就是看代码如何实现的。 另外编译器可以提供返回值优化（RVO)

学习了。。。

[youngwolf]

请问RVO是否属于c++标准？

[taodm]

属于。如果真好学，本论坛有C++标准下载，自己搞了认真看一下。

[自由建客]

gcc 用的是写时复制。C++ 标准是值语义。

[赵4老师]

对学习编程者的忠告： 眼过千遍不如手过一遍！ 书看千行不如手敲一行！ 手敲千行不如单步一行！ 单步源代码千行不如单步对应汇编一行！ 单步类的实例“构造”或“复制”或“作为函数参数”或“作为函数返回值返回”或“参加各种运算”或“退出作用域”的语句对应的汇编代码几步后，就会来到该类的“构造函数”或“复制构造函数”或“运算符重载”或“析构函数”对应的C/C++源代码处。 VC调试时按Alt+8、Alt+7、Alt+6和Alt+5,打开汇编窗口、堆栈窗口、内存窗口和寄存器窗口看每句C对应的汇编、单步执行并观察相应堆栈、内存和寄存器变化，这样过一遍不就啥都明白了吗。 对VC来说，所谓‘调试时’就是编译连接通过以后，按F10或F11键单步执行一步以后的时候，或者在某行按F9设了断点后按F5执行停在该断点处的时候。

[rocktyt]

引用 4 楼 yang79tao 的回复:

请问RVO是否属于c++标准？

标准特别允许编译器进行(N)RVO优化

[youngwolf]

回楼上： 写复制是.data()相等，这个我知道。 现在是&str相等，所以应该是RVO，你的意思是RVO不是标准？

引用 5 楼 taodm 的回复:

属于。如果真好学，本论坛有C++标准下载，自己搞了认真看一下。

请问下载地址是多少？

[意吟]

gcc最新版本 似乎最接近C++0x标准。