这个程序试图将一个字符串移出一个函数,并用它来构造另一个字符串:
如果我改变功能签名,它会编译并正确运行:
#include <iostream> #include <string> #include <utility> std::string && Get_String(void); int main(){ std::string str{Get_String()}; std::cout << str << std::endl; return 0; } std::string && Get_String(void){ std::string str{"hello world"}; return std::move(str); }@H_403_4@该程序编译,但在执行时发生segfaults. @H_403_4@这是我的理由:Get_String将创建一个本地字符串.该字符串的副本将需要在字符串超出范围之前进行并返回.该副本将用于构造主要的字符串.但是,如果我将字符串移出该函数,则不需要复制. @H_403_4@为了理解移动语义,有人可以解释为什么我在做什么,可能没有任何意义.是否可以将对象移出功能? @H_403_4@编辑:
如果我改变功能签名,它会编译并正确运行:
std::string && Get_String(void);@H_403_4@至
std::string Get_String(void);@H_403_4@在这种情况下,在返回时移动字符串还是更有效吗?
解决方法
给出这个例子,
返回对不再存在的对象的引用.是否使用std :: move()
物. @H_403_4@std :: move()并不真正移动对象;它只会将价值变成价值.
X foo () { X x; return x; }@H_403_4@以下行为得到保证:
@H_403_4@• If@H_403_4@还要注意,如果返回的对象是本地非静态对象,则返回一个rvalue引用是一个错误:X
has an accessible copy or move constructor,the compiler may
choose to elide the copy. This is the so-called (named) return value
optimization ((N)RVO),which was specified even before C++11 and is
supported by most compilers.
• Otherwise,ifX
has a move constructor,x
is moved.
• Otherwise,ifX
has a copy constructor,x
is copied.
• Otherwise,a compile-time error is emitted.
X&& foo () { X x; return x; // ERROR: returns reference to nonexistent object }@H_403_4@引用引用是一个引用,并且在引用本地对象时返回它,这意味着你
返回对不再存在的对象的引用.是否使用std :: move()
物. @H_403_4@std :: move()并不真正移动对象;它只会将价值变成价值.