如何解决为什么这里不执行 NRVO多次返回?
在以下方法中不为 MyString ret
执行 NRVO。默认构造的 MyString (return {};
) 直接构造到目标中,ret 被移动构造到目标中。
MyString MyString::Substring(size_type idx,size_type length)
{
size_type thisSize{ getSize() };
if (thisSize - idx < length)
{
return {};
}
MyString ret{ length + 1 };
for (size_type otherIdx{ 0 }; otherIdx < length; ++otherIdx)
{
ret[otherIdx] = (*this)[idx + otherIdx];
}
ret[length] = '\0';
return ret;
}
如果 MyString ret{length + 1};
位于 if 语句的上方,其主体中有 return{};
,我很清楚为什么它不能直接构建到目标中:如果是,并且之后,默认构造的 MyString 对象被返回,需要销毁 ret
,并且默认构造的对象将取代它。这是不可取的。但是,在这种情况下,MyString ret
不能直接构造到目标中的根本原因是什么?在代码中构造时,众所周知该函数不会return {};
。
我确定我在这里忽略了一些东西。非常感谢任何帮助!
编辑:这是@rustyx 建议的最小可重现示例:
#include <iostream>
class Foo
{
public:
Foo() = default;
Foo(Foo&&) { std::cout << "Moved" << std::endl; }
};
Foo func(int i)
{
if (i < 0)
{
return {};
}
Foo bar;
return bar;
}
int main()
{
Foo test{ func(-1) };
Foo test1{ func(1) };
}
打印:
(nothing)
Moved
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。