- iOS/Objective-C 元类和类别
- objective-c - -1001 错误,当 NSURLSession 通过 httpproxy 和/etc/hosts
- java - 使用网络类获取 url 地址
- ios - 推送通知中不播放声音
我遇到了一个 C++ 习惯,我试图研究它以了解它的影响并验证它的用法。但我似乎找不到确切的答案。
std::vector< Thing > getThings();
void do() {
const std::vector< Thing > &things = getThings();
}
这里我们有一些返回非const&
值的函数。我看到的习惯是在分配函数的返回值时使用 const&
左值。提出这个习惯的原因是它减少了拷贝。
现在我一直在研究 RVO(返回值优化)、复制省略和 C++11 移动语义。我意识到给定的编译器可以选择阻止通过 RVO 进行复制,不管这里是否使用了 const&
。但是,在防止复制方面,const&
左值的使用对非 const&
返回值有任何影响吗?我特别询问 C++11 之前的编译器,之前 移动语义。
我的假设是编译器要么实现 RVO,要么不实现,并且说左值应该是 const&
并不暗示或强制出现无拷贝情况。
编辑
我特别询问这里使用const&
是否会减少拷贝,而不是临时对象的生命周期,如"the most important const" 中所述。
进一步澄清问题
这是:
const std::vector< Thing > &things = getThings();
与此不同的是:
std::vector< Thing > things = getThings();
在减少拷贝方面?或者它对编译器是否可以减少拷贝没有任何影响,例如通过 RVO?
最佳答案
从语义上讲,编译器需要一个可访问的复制构造函数,在调用点,即使稍后,编译器省略了对复制构造函数的调用——优化是在编译的后期完成的语义分析阶段之后的阶段。
阅读您的评论后,我想我更好地理解了您的问题。现在让我详细回答一下。
假设函数有这个返回语句:
return items;
从语义上讲,编译器需要这里有一个可访问的复制构造函数(或移动构造函数),它可以被省略。然而,只是为了争论,假设它在这里制作了一个拷贝,并且拷贝存储在 __temp_items
中,我将其表示为:
__temp_items <= return items; //first copy:
现在在调用处,假设你还没有使用const &
,所以就变成了这样:
std::vector<Thing> things = __temp_items; //second copy
现在如您所见,有两个拷贝。允许编译器省略它们。
然而,你的实际代码使用了const &
,所以它变成了这样:
const std::vector<Thing> & things = __temp_items; //no copy anymore.
现在,语义上只有一个拷贝,编译器仍然可以将其删除。至于第二个拷贝,我不会说 const&
“阻止” 它是因为编译器已经优化了它,而是语言一开始就不允许它。
但有趣的是,无论编译器在返回时复制了多少次,或者省略了其中的一部分(或全部),返回值都是一个临时。如果是这样,那么如何绑定(bind)到临时工作?如果这也是您的问题(现在我知道这不是您的问题,但请保持这种方式,这样我就不必删除我的这部分答案),那么是的,它可以工作并且可以保证通过语言。
如文章 the most imporant const
中所述非常详细地说,如果 const
引用绑定(bind)到临时对象,则临时对象的生命周期会延长到引用的范围内,并且它与对象的类型无关.
在C++11中,还有另一种延长临时对象生命周期的方法,即右值引用:
std::vector<Thing> && things = getThings();
它具有相同的效果,但优点(或缺点 — 取决于上下文)是您还可以修改内容。
我个人更喜欢这样写:
auto && things = getThings();
但是那不一定是一个右值引用——如果你改变函数的返回类型,返回一个引用,那么 things
结果绑定(bind)到左值引用。如果您想对此进行讨论,那将是一个完全不同的话题。
关于c++ - const ref lvalue to non-const func return value 是否专门减少拷贝?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/38909228/
我正在使用 gmock 并模拟了一个函数 boost::beast::http::response_parser作为输出参数。功能签名看起来像: error_code readFromSocket(b
我的任务是打印由“非元音、元音、非元音”组成的单词列表,即 bab、bac、bad、bad ... 到 zuz。 我已经设法创建了一个代码,它执行前两个字母,但在最后一个循环中丢失并只打印'}' -
我正在尝试使用 label2rgb 生成 RGB 标签切片并使用它来更新 RGB 体积,如下所示: labelRGB_slice=label2rgb(handles.label(:,:,han
我有一个很奇怪的问题。我在 dll 中定义了一个接口(interface),如下所示: public interface IKreator2 { string Name { get; set;
在我的 openshift Drupal 托管中,网络都在 SSL 下 http://domain.com -> https://www.domain.com 确定 http://www.domain
我收到警告“退出构造函数时不可为空的事件‘SomeEvent’必须包含非空值。考虑将事件声明为可空。” 这是我的代码的一个非常简化的版本,它复制了完全相同的问题。我在这里错过了什么?这与 .Net 6
在一次大学考试中,我被要求测试一些 apache 簿记员类/方法,在这样做的过程中,我想在我的参数化测试中使用 mockito。没有 mockito 的测试工作正常但是当我尝试模拟接口(interfa
假设 A 列在 7 行中有以下值: 2 [空白的] 0 -0.3 0 [空白的] 0 如何获取范围(7 行)中非空/空白且不为零的最后一个值?因此,在这种情况下,正确答案是 -0.3。 最佳答案 =I
考虑以下受 this talk 启发的代码: template struct even_common_type_helper_impl; template struct even_common_typ
考虑这段代码, struct A {}; struct B { B(const A&) {} }; void f(B) { cout << "f()"<
考虑下面的类(class)。如果我对它运行 Findbugs,它会在第 5 行但不在第 7 行给我一个错误(“可序列化类中的非 transient 非可序列化实例字段”)。 1 public clas
我正在编写一个 python 脚本来计算 数据包丢失 通过使用 ping IP 地址linux 中的 subprocess 模块。 CSV 文件中保存了多个 IP 地址。当只给出可 ping 目的地时
我只是做文本更改,在文本之前它工作正常。请任何人都可以帮助我。 提前致谢 最佳答案 我已经解决了: ionic cordova 插件rmcordova-plugin-ionic-webview ion
我如何定义 在 persistence.xml 中? 我的项目在 Tomcat 6 和 Tomcat 7 中运行良好。 现在我正在使用 Struts 2 Spring 3.0.5 JPA 2 Jbos
我有一个 maven 仓库中不存在的第三方 jar,我们称它为“a.jar”,它也依赖于至少 20 多个第三方 jar,其中大部分不在 maven 中或者,我们称它们为“b.jar、c.jar、d.j
我已经浏览了各种线程很多小时(不夸张),但一直无法找到一种解决方案组合,使我能够将非 www 和 http 转发到 www 和 https,同时仍然能够查看 php 文件没有扩展名。如下是我的ngin
Scott Meyer 关于非成员函数增加封装并允许更优雅的设计(设计方面)的论点对我来说似乎非常有效。看这里:Article 但是我对此有疑问。 (似乎还有其他人,尤其是库开发人员,他们通常完全忽略
在对类设计的一些事实感到困惑时,特别是函数是否应该是成员,我查看了 Effective c++ 并找到了第 23 条,即 Prefer non-member non-friend functions
我正在尝试使用 firebase 云功能将通知发送到一个点半径的圆内的设备。我能够获取圈内设备的 ID,但无法获取 token ,使用 console.log(token) 打印时 token 为空。
我在我的项目中使用 React-ckeditor 5 包。我得到一个反序列化的 html 数据,我正在使用 React-html-parser 包将它解析成 html 模板,并将这个解析的数据传递给
我是一名优秀的程序员,十分优秀!