草庐IT

c++ - 为什么这个函数在给定右值参数的情况下返回一个左值引用？

coder 2023-06-03 原文

min 的以下定义功能

template <typename T, typename U>
constexpr auto
min(T&& t, U&& u) -> decltype(t < u ? t : u)
{
    return t < u ? t : u;
}

有一个问题:看起来写是完全合法的

min(10, 20) = 0;

这已经用 Clang 3.5 和 g++ 4.9 进行了测试。

解决方案很简单，只需使用 std::forward恢复参数的“右值”，即修改正文和 decltype说

t < u ? std::forward<T>(t) : std::forward<U>(u)

但是，我无法解释为什么第一个定义不会产生错误。

鉴于我对转发和通用引用的理解，t和 u将它们的参数类型推断为 int&&当传递整数文字时。但是，在 min 的正文中，参数有名称，所以它们是左值。现在，really complicated rules for the conditional operator come into play ，但我认为相关的行是:

  • Both E2 [and] E3 are glvalues of the same type. In this case, the result has the same type and value category.

因此返回类型为 operator?:应该是 int&&同样，不应该吗？但是，(据我所知)Clang 和 g++ 都有 min(int&&, int&&)返回一个左值引用 int& ，从而允许我分配结果。

显然，我的理解存在差距，但我不确定我到底错过了什么。谁能给我解释一下这里到底发生了什么？

编辑:

正如 Niall 正确指出的那样，这里的问题不在于条件运算符(它按预期返回 int&& 类型的左值)，而在于 decltype . decltype 的规则说

if the value category of expression is lvalue, then the decltype specifies T&

所以函数的返回值变成了int&& & ，根据 C++11 的引用折叠规则变成普通的 int& (与我预期的 int&& 相反)。

但是如果我们使用 std::forward , 我们把 operator?: 的第二个和第三个参数(返回)到右值 - 具体来说，xvalues。由于 xvalues 仍然是 glvalues(你在后面跟上吗？)，同样的条件运算符规则适用，我们得到相同类型和值类别的结果:即 int&&这是一个 xvalue。

现在，当函数返回时，它会触发不同的 decltype规则:

if the value category of expression is xvalue, then the decltype specifies T&&

这一次，引用折叠给了我们int&& && = int&&而且，更重要的是，该函数返回一个 xvalue。这使得分配给返回值是非法的，正如我们所希望的那样。

最佳答案

问题可能与 decltype() 规则有关。

这是暗示的；如果删除了尾随返回类型

template <typename T, typename U>
constexpr auto
min(T&& t, U&& u)
{
    return t < u ? t : u;
}

并且允许编译器推断它，return type is int .

decltype的使用

decltype ( expression )
...
if the value category of expression is lvalue, then the decltype specifies T&

取自 cppreference .

由于涉及 t 和 u 的表达式是左值(它们是左值 - 命名为右值引用)，因此返回的是左值引用。

在这种情况下，它会导致可能修改文字的情况。使用"universal references"时需要慎重使用转发(或 "forwarding references" )和相关的引用折叠规则。

正如您已经指出的那样，要纠正这种情况，需要正确使用 std::forward 并且返回类型将是预期的类型。

更多详情请访问 std::forward和引用折叠可以找到here on SO .

关于c++ - 为什么这个函数在给定右值参数的情况下返回一个左值引用？，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/26354868/

给定ampcodedecltypec++c++11conditional-operatorrvalue-referenceuniversal-reference

有关c++ - 为什么这个函数在给定右值参数的情况下返回一个左值引用？的更多相关文章

  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-on-rails - Rails - 子类化模型的设计模式是什么？ - 2

    我有一个模型:classItem项目有一个属性“商店”基于存储的值，我希望Item对象对特定方法具有不同的行为。Rails中是否有针对此的通用设计模式？如果方法中没有大的if-else语句，这是如何干净利落地完成的？ 最佳答案 通常通过Single-TableInheritance. 关于ruby-on-rails-Rails-子类化模型的设计模式是什么？，我们在StackOverflow上找到一个类似的问题： https://stackoverflow.co

  3. ruby - 什么是填充的 Base64 编码字符串以及如何在 ruby​​ 中生成它们？ - 2

    我正在使用的第三方API的文档状态:"[O]urAPIonlyacceptspaddedBase64encodedstrings."什么是“填充的Base64编码字符串”以及如何在Ruby中生成它们。下面的代码是我第一次尝试创建转换为Base64的JSON格式数据。xa=Base64.encode64(a.to_json) 最佳答案 他们说的padding其实就是Base64本身的一部分。它是末尾的“=”和“==”。Base64将3个字节的数据包编码为4个编码字符。所以如果你的输入数据有长度n和n%3=1=>"=="末尾用于填充n%

  4. ruby - 解析 RDFa、微数据等的最佳方式是什么，使用统一的模式/词汇(例如 schema.org)存储和显示信息 - 2

    我主要使用Ruby来执行此操作，但到目前为止我的攻击计划如下:使用gemsrdf、rdf-rdfa和rdf-microdata或mida来解析给定任何URI的数据。我认为最好映射到像schema.org这样的统一模式，例如使用这个yaml文件，它试图描述数据词汇表和opengraph到schema.org之间的转换:#SchemaXtoschema.orgconversion#data-vocabularyDV:name:namestreet-address:streetAddressregion:addressRegionlocality:addressLocalityphoto:i

  5. ruby - 使用 Vim Rails，您可以创建一个新的迁移文件并一次性打开它吗？ - 2

    使用带有Rails插件的vim，您可以创建一个迁移文件，然后一次性打开该文件吗？textmate也可以这样吗？ 最佳答案 你可以使用rails.vim然后做类似的事情::Rgeneratemigratonadd_foo_to_bar插件将打开迁移生成的文件，这正是您想要的。我不能代表textmate。 关于ruby-使用VimRails，您可以创建一个新的迁移文件并一次性打开它吗？，我们在StackOverflow上找到一个类似的问题： https://sta

  6. ruby-on-rails - Rails - 一个 View 中的多个模型 - 2

    我需要从一个View访问多个模型。以前，我的links_controller仅用于提供以不同方式排序的链接资源。现在我想包括一个部分(我假设)显示按分数排序的顶级用户(@users=User.all.sort_by(&:score))我知道我可以将此代码插入每个链接操作并从View访问它，但这似乎不是“ruby方式”，我将需要在不久的将来访问更多模型。这可能会变得很脏，是否有针对这种情况的任何技术？注意事项:我认为我的应用程序正朝着单一格式和动态页面内容的方向发展，本质上是一个典型的网络应用程序。我知道before_filter但考虑到我希望应用程序进入的方向，这似乎很麻烦。最终从任何

  7. ruby-on-rails - 渲染另一个 Controller 的 View - 2

    我想要做的是有2个不同的Controller，client和test_client。客户端Controller已经构建，我想创建一个test_clientController，我可以使用它来玩弄客户端的UI并根据需要进行调整。我主要是想绕过我在客户端中内置的验证及其对加载数据的管理Controller的依赖。所以我希望test_clientController加载示例数据集，然后呈现客户端Controller的索引View，以便我可以调整客户端UI。就是这样。我在test_clients索引方法中试过这个:classTestClientdefindexrender:template=>

  8. 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返

  9. ruby-on-rails - 如何在 ruby​​ 中使用两个参数异步运行 exe？ - 2

    exe应该在我打开页面时运行。异步进程需要运行。有什么方法可以在ruby​​中使用两个参数异步运行exe吗？我已经尝试过ruby​​命令-system()、exec()但它正在等待过程完成。我需要用参数启动exe，无需等待进程完成是否有任何ruby​​gems会支持我的问题？ 最佳答案 您可以使用Process.spawn和Process.wait2:pid=Process.spawn'your.exe','--option'#Later...pid,status=Process.wait2pid您的程序将作为解释器的子进程执行。除

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

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

随机推荐