如果你阅读像这样的代码auto&& var = foo();
哪里foo是任何返回值类型为 T 的函数.然后var是对 T 的右值引用类型的左值.但这对 var 意味着什么？ ?这是否意味着，我们可以窃取var的资源？ ?有什么合理的情况应该使用auto&&告诉读者你的代码，就像你在返回 unique_ptr<> 时所做的那样告诉你拥有独家所有权？例如T&&呢？当T是类类型？
我只是想了解一下，如果auto&&还有其他用例吗？比模板编程中的那些；就像本文示例中讨论的那些 Universal References斯科特·迈耶斯。
最佳答案
通过使用 auto&& var = <initializer>你是说:我将接受任何初始值设定项，无论它是左值还是右值表达式，并且我将保留其常量性 .这通常用于转发(通常使用 T&& )。这样做的原因是因为“通用引用”，auto&&或 T&& , 将绑定(bind)到任何东西。
你可能会说，为什么不直接使用 const auto&因为那也会绑定(bind)到任何东西？使用 const 的问题引用是它是 const !您以后将无法将其绑定(bind)到任何非常量引用或调用任何未标记为 const 的成员函数。 .
例如，假设您想要获得 std::vector , 将迭代器带到它的第一个元素并以某种方式修改该迭代器指向的值:
auto&& vec = some_expression_that_may_be_rvalue_or_lvalue;
auto i = std::begin(vec);
(*i)++;
auto&& 的替代方案失败在以下方面:auto => will copy the vector, but we wanted a reference
auto& => will only bind to modifiable lvalues
const auto& => will bind to anything but make it const, giving us const_iterator
const auto&& => will bind only to rvalues
auto&&完美运行!使用 auto&& 的示例像这样是基于范围的 for环形。见 my other question更多细节。std::forward在您的 auto&&引用保留它最初是左值或右值的事实，您的代码说:既然我已经从左值或右值表达式获得了您的对象，我想保留它最初具有的任何值(value)，以便我可以最有效地使用它 - 这可能会使它无效。 如:auto&& var = some_expression_that_may_be_rvalue_or_lvalue;
// var was initialized with either an lvalue or rvalue, but var itself
// is an lvalue because named rvalues are lvalues
use_it_elsewhere(std::forward<decltype(var)>(var));
use_it_elsewhere当原始初始值设定项是可修改的右值时，为了性能(避免复制)而撕掉它的内脏。var 窃取资源意味着什么？ ?好自 auto&&会绑定(bind)到任何东西，我们不可能试图撕掉 var s 自己的胆量 - 它很可能是一个左值甚至是 const。但是我们可以std::forward它的其他功能可能会完全破坏其内部。一旦我们这样做，我们应该考虑var处于无效状态。auto&& var = foo(); 的情况，如您的问题所示，其中 foo 返回 T按值(value)。在这种情况下，我们肯定知道 var 的类型将被推导出为 T&& .因为我们肯定知道它是一个右值，所以我们不需要 std::forward的窃取其资源的许可。在这种特定情况下，知道 foo按值返回，读者应该将其读为:我正在对从 foo 返回的临时值进行右值引用，所以我可以愉快地摆脱它。 some_expression_that_may_be_rvalue_or_lvalue 这样的表达式时值得一提。可能会出现，除了“你的代码可能会改变”的情况。所以这是一个人为的例子:std::vector<int> global_vec{1, 2, 3, 4};
template <typename T>
T get_vector()
{
return global_vec;
}
template <typename T>
void foo()
{
auto&& vec = get_vector<T>();
auto i = std::begin(vec);
(*i)++;
std::cout << vec[0] << std::endl;
}
get_vector<T>()是那个可爱的表达式，它可以是左值或右值，具体取决于泛型类型 T .我们本质上改变了 get_vector 的返回类型通过foo的模板参数.foo<std::vector<int>> , get_vector将返回 global_vec按值，它给出了一个右值表达式。或者，当我们调用 foo<std::vector<int>&> 时, get_vector将返回 global_vec通过引用，产生一个左值表达式。foo<std::vector<int>>();
std::cout << global_vec[0] << std::endl;
foo<std::vector<int>&>();
std::cout << global_vec[0] << std::endl;
2
1
2
2
auto&&在任何 auto 的代码中, auto& , const auto& , 或 const auto&&那么就得不到我们想要的结果。auto&& 是否更改程序逻辑的另一种方法使用左值或右值表达式初始化引用是为了使用类型特征:if (std::is_lvalue_reference<decltype(var)>::value) {
// var was initialised with an lvalue expression
} else if (std::is_rvalue_reference<decltype(var)>::value) {
// var was initialised with an rvalue expression
}
关于c++ - auto&& 告诉我们什么？，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/13230480/
类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
我正在尝试测试是否存在表单。我是Rails新手。我的new.html.erb_spec.rb文件的内容是:require'spec_helper'describe"messages/new.html.erb"doit"shouldrendertheform"dorender'/messages/new.html.erb'reponse.shouldhave_form_putting_to(@message)with_submit_buttonendendView本身，new.html.erb，有代码:当我运行rspec时，它失败了:1)messages/new.html.erbshou
我在从html页面生成PDF时遇到问题。我正在使用PDFkit。在安装它的过程中，我注意到我需要wkhtmltopdf。所以我也安装了它。我做了PDFkit的文档所说的一切......现在我在尝试加载PDF时遇到了这个错误。这里是错误:commandfailed:"/usr/local/bin/wkhtmltopdf""--margin-right""0.75in""--page-size""Letter""--margin-top""0.75in""--margin-bottom""0.75in""--encoding""UTF-8""--margin-left""0.75in""-
我有一个模型:classItem项目有一个属性“商店”基于存储的值，我希望Item对象对特定方法具有不同的行为。Rails中是否有针对此的通用设计模式？如果方法中没有大的if-else语句，这是如何干净利落地完成的？ 最佳答案 通常通过Single-TableInheritance. 关于ruby-on-rails-Rails-子类化模型的设计模式是什么？，我们在StackOverflow上找到一个类似的问题： https://stackoverflow.co
我在我的项目目录中完成了compasscreate.和compassinitrails。几个问题:我已将我的.sass文件放在public/stylesheets中。这是放置它们的正确位置吗？当我运行compasswatch时，它不会自动编译这些.sass文件。我必须手动指定文件:compasswatchpublic/stylesheets/myfile.sass等。如何让它自动运行？文件ie.css、print.css和screen.css已放在stylesheets/compiled。如何在编译后不让它们重新出现的情况下删除它们？我自己编译的.sass文件编译成compiled/t
我正在使用的第三方API的文档状态:"[O]urAPIonlyacceptspaddedBase64encodedstrings."什么是“填充的Base64编码字符串”以及如何在Ruby中生成它们。下面的代码是我第一次尝试创建转换为Base64的JSON格式数据。xa=Base64.encode64(a.to_json) 最佳答案 他们说的padding其实就是Base64本身的一部分。它是末尾的“=”和“==”。Base64将3个字节的数据包编码为4个编码字符。所以如果你的输入数据有长度n和n%3=1=>"=="末尾用于填充n%
我主要使用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
为什么4.1%2返回0.0999999999999996？但是4.2%2==0.2。 最佳答案 参见此处:WhatEveryProgrammerShouldKnowAboutFloating-PointArithmetic实数是无限的。计算机使用的位数有限(今天是32位、64位)。因此计算机进行的浮点运算不能代表所有的实数。0.1是这些数字之一。请注意，这不是与Ruby相关的问题，而是与所有编程语言相关的问题，因为它来自计算机表示实数的方式。 关于ruby-为什么4.1%2使用Ruby返
我有一个对象has_many应呈现为xml的子对象。这不是问题。我的问题是我创建了一个Hash包含此数据，就像解析器需要它一样。但是rails自动将整个文件包含在.........我需要摆脱type="array"和我该如何处理？我没有在文档中找到任何内容。 最佳答案 我遇到了同样的问题；这是我的XML:我在用这个:entries.to_xml将散列数据转换为XML，但这会将条目的数据包装到中所以我修改了:entries.to_xml(root:"Contacts")但这仍然将转换后的XML包装在“联系人”中，将我的XML代码修改为
为了将Cucumber用于命令行脚本，我按照提供的说明安装了arubagem。它在我的Gemfile中，我可以验证是否安装了正确的版本并且我已经包含了require'aruba/cucumber'在'features/env.rb'中为了确保它能正常工作，我写了以下场景:@announceScenario:Testingcucumber/arubaGivenablankslateThentheoutputfrom"ls-la"shouldcontain"drw"假设事情应该失败。它确实失败了，但失败的原因是错误的:@announceScenario:Testingcucumber/ar