草庐IT

c++ - 为什么不总是将返回值分配给 const 引用？

coder 2023-05-02 原文

假设我有一些功能:

Foo GetFoo(..)
{
  ...
}

假设我们既不知道这个函数是如何实现的，也不知道 Foo 的内部结构(例如，它可能是非常复杂的对象)。但是我们确实知道该函数按值返回 Foo，并且我们希望将此返回值用作 const。

问题:将此函数的返回值存储为 const & 总是一个好主意吗？

const Foo& f = GetFoo(...);

而不是，

const Foo f = GetFoo(...);

我知道编译器会做返回值优化，并且可能会移动对象而不是复制它，所以最后 const & 可能没有任何优势。但是我的问题是，有什么缺点吗？鉴于我不必依赖编译器优化以及即使移动复杂对象的操作可能很昂贵。

把这个延伸到极端，为什么我不应该总是对我的代码中不可变的所有变量使用const &？例如，

const int& a = 2;
const int& b = 2;
const int& c = c + d;

除了比较冗长，还有什么缺点吗？

最佳答案

将省略称为“优化”是一种误解。允许编译器不这样做，但也允许他们实现 a+b整数加法作为手动进位的按位运算序列。

这样做的编译器将是敌对的:拒绝忽略的编译器也是如此。

省略不像“其他”优化，因为它们依赖于 as-if 规则(只要行为符合标准，行为就可能发生变化)。省略可能会改变代码的行为。

为什么要使用 const &甚至右值 &&是个坏主意，引用是对象的别名。使用任何一种方法，您都没有(本地)保证该对象不会在其他地方被操纵。事实上，如果函数返回一个 & , const&或 && ，该对象在实践中必须以另一个身份存在于其他地方。因此，您的“本地”值是对某个未知的遥远状态的引用:这使得本地行为难以推理。

另一方面，值不能有别名。您可以在创建后形成这样的别名，但是 const本地值不能在标准下修改，即使它存在别名。

推理本地对象很容易。关于分布式对象的推理是困难的。引用按类型分布:如果您在引用或值之间进行选择，并且值没有明显的性能成本，总是选择值。

具体来说:

Foo const& f = GetFoo();

可以是对 Foo 类型的临时对象的引用绑定(bind)或派生自 GetFoo() 返回, or 绑定(bind)到存储在 GetFoo() 中的其他内容的引用.我们无法从那条线看出。

Foo const& GetFoo();

对

Foo GetFoo();

制作 f实际上有不同的含义。

Foo f = GetFoo();

总是 创建一个拷贝。没有什么不修改“通过”f将修改f (当然，除非它的 ctor 将指向自身的指针传递给其他人)。

如果我们有

const Foo f = GetFoo();

我们甚至可以保证修改(非 mutable 的部分)f是未定义的行为。我们可以假设 f是不可变的，实际上编译器会这样做。

在 const Foo&案例，修改f如果底层存储不是 const，则可以定义行为 。所以我们不能假设f是不可变的，并且编译器只有在它可以检查所有具有有效派生指针或对 f 的引用的代码时才会假定它是不可变的。并确定它们都不会改变它(即使您只是传递 const Foo& ，如果原始对象是非 const Foo，则 const_cast<Foo&> 并对其进行修改是合法的)。

简而言之，不要过早地悲观并假设省略“不会发生”。当前很少有编译器会在不明确关闭的情况下不使用它，而且您几乎肯定不会在它们上构建一个严肃的项目。

关于c++ - 为什么不总是将返回值分配给 const 引用？，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/37649236/

配给ampcodeconstprec++

有关c++ - 为什么不总是将返回值分配给 const 引用？的更多相关文章

  1. ruby - 为什么我可以在 Ruby 中使用 Object#send 访问私有(private)/ protected 方法？ - 2

    类classAprivatedeffooputs:fooendpublicdefbarputs:barendprivatedefzimputs:zimendprotecteddefdibputs:dibendendA的实例a=A.new测试a.foorescueputs:faila.barrescueputs:faila.zimrescueputs:faila.dibrescueputs:faila.gazrescueputs:fail测试输出failbarfailfailfail.发送测试[:foo,:bar,:zim,:dib,:gaz].each{|m|a.send(m)resc

  2. ruby - 为什么 4.1%2 使用 Ruby 返回 0.0999999999999996？但是 4.2%2==0.2 - 2

    为什么4.1%2返回0.0999999999999996？但是4.2%2==0.2。 最佳答案 参见此处:WhatEveryProgrammerShouldKnowAboutFloating-PointArithmetic实数是无限的。计算机使用的位数有限(今天是32位、64位)。因此计算机进行的浮点运算不能代表所有的实数。0.1是这些数字之一。请注意，这不是与Ruby相关的问题，而是与所有编程语言相关的问题，因为它来自计算机表示实数的方式。 关于ruby-为什么4.1%2使用Ruby返

  3. ruby-on-rails - 如何优雅地重启 thin + nginx？ - 2

    我的瘦服务器配置了nginx，我的ROR应用程序正在它们上运行。在我发布代码更新时运行thinrestart会给我的应用程序带来一些停机时间。我试图弄清楚如何优雅地重启正在运行的Thin实例，但找不到好的解决方案。有没有人能做到这一点？ 最佳答案 #Restartjustthethinserverdescribedbythatconfigsudothin-C/etc/thin/mysite.ymlrestartNginx将继续运行并代理请求。如果您将Nginx设置为使用多个上游服务器，例如server{listen80;server

  4. ruby-on-rails - 如果 Object::try 被发送到一个 nil 对象，为什么它会起作用？ - 2

    如果您尝试在Ruby中的nil对象上调用方法，则会出现NoMethodError异常并显示消息:"undefinedmethod‘...’fornil:NilClass"然而，有一个tryRails中的方法，如果它被发送到一个nil对象，它只返回nil:require'rubygems'require'active_support/all'nil.try(:nonexisting_method)#noNoMethodErrorexceptionanymore那么try如何在内部工作以防止该异常？ 最佳答案 像Ruby中的所有其他对象

  5. ruby - 为什么 SecureRandom.uuid 创建一个唯一的字符串？ - 2

    关闭。这个问题需要detailsorclarity.它目前不接受答案。想改进这个问题吗？通过editingthispost添加细节并澄清问题.关闭8年前。Improvethisquestion为什么SecureRandom.uuid创建一个唯一的字符串？SecureRandom.uuid#=>"35cb4e30-54e1-49f9-b5ce-4134799eb2c0"SecureRandom.uuid方法创建的字符串从不重复？

  6. ruby-on-rails - Rails - 乐观锁定总是触发 StaleObjectError 异常 - 2

    我正在学习Rails，并阅读了关于乐观锁的内容。我已将类型为integer的lock_version列添加到我的articles表中。但现在每当我第一次尝试更新记录时，我都会收到StaleObjectError异常。这是我的迁移:classAddLockVersionToArticle当我尝试通过Rails控制台更新文章时:article=Article.first=>#我这样做:article.title="newtitle"article.save我明白了:(0.3ms)begintransaction(0.3ms)UPDATE"articles"SET"title"='dwdwd

  7. ruby - 当使用::指定模块时，为什么 Ruby 不在更高范围内查找类？ - 2

    我刚刚被困在这个问题上一段时间了。以这个基地为例:moduleTopclassTestendmoduleFooendend稍后，我可以通过这样做在Foo中定义扩展Test的类:moduleTopmoduleFooclassSomeTest但是，如果我尝试通过使用::指定模块来最小化缩进:moduleTop::FooclassFailure这失败了:NameError:uninitializedconstantTop::Foo::Test这是一个错误，还是仅仅是Ruby解析变量名的方式的逻辑结果？ 最佳答案 Isthisabug,or

  8. ruby - 为什么人们使用 `Module.send(:prepend, …)` ？ - 2

    我正在学习如何在我的Ruby代码中使用Module.prepend而不是alias_method_chain，我注意到有些人使用send调用它(example):ActionView::TemplateRenderer.send(:prepend,ActionViewTemplateRendererWithCurrentTemplate)而其他人直接调用它(example):ActionView::TemplateRenderer.prepend(ActionViewTemplateRendererWithCurrentTemplate)而且，虽然我还没有看到任何人使用这种风格，但我从

  9. ruby - 为什么 Ruby 的 each 迭代器先执行？ - 2

    我在用Ruby执行简单任务时遇到了一件奇怪的事情。我只想用每个方法迭代字母表，但迭代在执行中先进行:alfawit=("a".."z")puts"That'sanalphabet:\n\n#{alfawit.each{|litera|putslitera}}"这段代码的结果是:(缩写)abc⋮xyzThat'sanalphabet:a..z知道为什么它会这样工作或者我做错了什么吗？提前致谢。 最佳答案 因为您的each调用被插入到在固定字符串之前执行的字符串文字中。此外，each返回一个Enumerable，实际上您甚至打印它。试试

  10. ruby - Ruby 中的隐式返回值是怎么回事？ - 2

    所以我开始关注ruby​​，很多东西看起来不错，但我对隐式return语句很反感。我理解默认情况下让所有内容返回self或nil但不是语句的最后一个值。对我来说，它看起来非常脆弱(尤其是)如果你正在使用一个不打算返回某些东西的方法(尤其是一个改变状态/破坏性方法的函数!)，其他人可能最终依赖于一个返回对方法的目的并不重要，并且有很大的改变机会。隐式返回有什么意义？有没有办法让事情变得更简单？总是有返回以防止隐含返回被认为是好的做法吗？我是不是太担心这个了？附言当人们想要从方法中返回特定的东西时，他们是否经常使用隐式返回，这不是让你组中的其他人更容易破坏彼此的代码吗？当然，记录一切并给出

随机推荐