- 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/
我有一个 if 语句,如下所示 if (not(fullpath.lower().endswith(".pdf")) or not (fullpath.lower().endswith(tup
然而,在 PHP 中,可以: only appears if $foo is true. only appears if $foo is false. 在 Javascript 中,能否在一个脚
XML有很多好处。它既是机器可读的,也是人类可读的,它具有标准化的格式,并且用途广泛。 它也有一些缺点。它是冗长的,不是传输大量数据的非常有效的方法。 XML最有用的方面之一是模式语言。使用模式,您可
由于长期使用 SQL2000,我并没有真正深入了解公用表表达式。 我给出的答案here (#4025380)和 here (#4018793)违背了潮流,因为他们没有使用 CTE。 我很欣赏它们对于递
我有一个应用程序: void deleteObj(id){ MyObj obj = getObjById(id); if (obj == null) { throw n
我的代码如下。可能我以类似的方式多次使用它,即简单地说,我正在以这种方式管理 session 和事务: List users= null; try{ sess
在开发J2EE Web应用程序时,我通常会按以下方式组织我的包结构 com.jameselsey.. 控制器-控制器/操作转到此处 服务-事务服务类,由控制器调用 域-应用程序使用的我的域类/对象 D
这更多是出于好奇而不是任何重要问题,但我只是想知道 memmove 中的以下片段文档: Copying takes place as if an intermediate buffer were us
路径压缩涉及将根指定为路径上每个节点的新父节点——这可能会降低根的等级,并可能降低路径上所有节点的等级。有办法解决这个问题吗?有必要处理这个吗?或者,也许可以将等级视为树高的上限而不是确切的高度? 谢
我有两个类,A 和 B。A 是 B 的父类,我有一个函数接收指向 A 类型类的指针,检查它是否也是 B 类型,如果是将调用另一个函数,该函数接受一个指向类型 B 的类的指针。当函数调用另一个函数时,我
有没有办法让 valgrind 使用多个处理器? 我正在使用 valgrind 的 callgrind 进行一些瓶颈分析,并注意到我的应用程序中的资源使用行为与在 valgrind/callgrind
假设我们要使用 ReaderT [(a,b)]超过 Maybe monad,然后我们想在列表中进行查找。 现在,一个简单且不常见的方法是: 第一种可能性 find a = ReaderT (looku
我的代码似乎有问题。我需要说的是: if ( $('html').attr('lang').val() == 'fr-FR' ) { // do this } else { // do
根据this文章(2018 年 4 月)AKS 在可用性集中运行时能够跨故障域智能放置 Pod,但尚不考虑更新域。很快就会使用更新域将 Pod 放入 AKS 中吗? 最佳答案 当您设置集群时,它已经自
course | section | type comart2 : bsit201 : lec comart2 :
我正在开发自己的 SDK,而这又依赖于某些第 3 方 SDK。例如 - OkHttp。 我应该将 OkHttp 添加到我的 build.gradle 中,还是让我的 SDK 用户包含它?在这种情况下,
随着 Rust 越来越充实,我对它的兴趣开始激起。我喜欢它支持代数数据类型,尤其是那些匹配的事实,但是对其他功能习语有什么想法吗? 例如标准库中是否有标准过滤器/映射/归约函数的集合,更重要的是,您能
关闭。这个问题不符合Stack Overflow guidelines .它目前不接受答案。 这个问题似乎与 help center 中定义的范围内的编程无关。 . 关闭 9 年前。 Improve
我一直在研究 PHP 中的对象。我见过的所有示例甚至在它们自己的对象上都使用了对象构造函数。 PHP 会强制您这样做吗?如果是,为什么? 例如: firstname = $firstname;
...比关联数组? 关联数组会占用更多内存吗? $arr = array(1, 1, 1); $arr[10] = 1; $arr[] = 1; // <- index is 11; does the
我是一名优秀的程序员,十分优秀!