我想通过引用传递一个结构体,这样它就不会被复制,但是Resharper给出了下面的警告:
struct sometype {
};
sometype foo() {
sometype x;
return x;
}
void bar() {
sometype & a = foo();//Binding r-value to l-value reference is non-standard Microsoft C++ extension
sometype && b = foo(); //ok
}
问题:sometype & a = foo();
有什么问题吗?foo()
的返回值不是左值吗?a
也是左值吗?sometype && b = foo();
实际上是右值引用吗?它是否从foo()
"窃取"返回值并将b
中的内容发送到析构函数?
有没有其他方法可以避免这个警告?
2条答案
按热度按时间jpfvwuh41#
您正在引用临时对象。唯一法律的的方法是:
const object&
(常量左值参考),或object&&
(可变r值参考)这是一个(故意的)语言限制。
进一步讨论:
给引用赋值一个临时变量会延长临时变量的生存期,使其与引用的生存期相匹配。因此,令许多初学者惊讶的是,这是法律的的:
但是,通常情况下,对临时变量进行可变引用是一个逻辑错误,因此在该语言中是不允许的:
下面是为什么这可能是一个逻辑错误一个更现实的原因:
您必须将上述内容替换为:
注意,在命名变量(左值)中捕获临时变量没有任何开销。
右值引用被设计成移动构造函数或移动赋值函数的主体。因此,它们是可变的是有道理的。它们的本质暗示了对象是 transient 的。
因此,这是法律的的:
记住指定
&&
意味着您Assert您 * 知道 * 该变量是一个可变临时变量,这可能会有所帮助。但它被允许的真实的原因是这样才能起作用:
在c++11之前,bar必须用以下方法之一编写:
7eumitmz2#
有什么问题吗?type & a = foo();?
foo()返回临时值,所以不能绑定到reference,因为在完整表达式结束后(赋值行)它将不再存在,延长其生存期的唯一方法是将其改为
const sometype & a = foo();
或赋值给右值引用。是某个类型&& b = foo();实际上是右值引用吗
是(阅读此处了解更多信息:Do rvalue references allow dangling references?)
它是否从foo()中"窃取"了返回值,并将b中的内容发送给析构函数?
不,它延长了它的寿命
有没有其他方法可以避免这个警告?
你有三个选择:(1)赋值给右值引用,(2)赋值给常量左值引用,(3)按值返回,但在类中实现移动语义。
您还可以指望编译器会对返回值执行RVO。