C++11引用临时变量的终极解析

工作中遇到一个引用临时变量的问题，经过两天的学习，私以为：不仅弄明白了这个问题，还有些自己的独到见解。

这里使用一个简单的例子来把自己的学习过程和理解献给大家，如果有什么问题请不吝指正。

*************************Code*************************

class Dog

{

public:

Dog(){}

virtual ~Dog(){}

};

void NonConstReference (Dog & dog )

{

//tell the dog to do something here

}

void TestNonConstReference ()

{

NonConstReference( Dog());

}

*************************VS 2013， Level4 (/W4)*************************

warning C4239: nonstandard extension used : ‘argument‘ : conversion from ‘Dog‘ to ‘Dog &‘

*************************GCC, C++11*************************

-------------- Build: Debug in Test (compiler: GNU GCC Compiler)---------------

mingw32-g++.exe -Wall -fexceptions -g -std=c++11  -c G:\MyBackup\code\CodeBlock\Test\main.cpp -o obj\Debug\main.o

G:\MyBackup\code\CodeBlock\Test\main.cpp: In function ‘void TestNonConstReference()‘:

G:\MyBackup\code\CodeBlock\Test\main.cpp:18:29: error: invalid initialization of non-const reference of type ‘Dog&‘ from an rvalue of type ‘Dog‘

G:\MyBackup\code\CodeBlock\Test\main.cpp:11:6: error: in passing argument 1 of ‘void NonConstReference(Dog&)‘

Process terminated with status 1 (0 minute(s), 0 second(s))

2 error(s), 0 warning(s) (0 minute(s), 0 second(s))

*************************lvalue, xvalue, prvalue的一般定义*************************

首先lvalue, rvalue 都是针对表达式的；任何一个表达式都可以按照如下归类方式归类：

lvalue指代一个函数或者对象。例如：

  1. E是指针，则*E是lvalue
  2. 一个函数的返回值是左值引用，其返回值是lvalue。例如int& foo();

xvalue指代一个对象，但是和lvalue不同，这个对象即将消亡。

prvalue指代一个临时对象、一个临时对象的子对象或者一个没有分配给任何对象的值。例如：

  1. 一个函数的返回值是平常类型，其返回值是rvalue。例如int foo();
  2. 没有分配给任何对象的值。如5.3，true。

*************************lvalue, xvalue, prvalue的区分*************************

说明：这部分来自C++ PROGRAMMING LANGUAGE 4TH EDTION。

There are two properties that matter for an object when it comes to addressing, copying, and moving:
• Has identity: The program has the name of, pointer to, or reference to the object so that it is possible to determine if two objects are the same, whether the value of the object has changed, etc.
• Movable: The object may be moved from (i.e., we are allowed to move its value to another location and leave the object in a valid but unspecified state, rather than copying;).

It turns out that three of the four possible combinations of those two properties are needed to precisely describe the C++ language rules (we have no need for objects that do not have identity and
cannot be moved).

Using ‘‘m for movable’’ and ‘‘i for has identity,’’ we can represent this classification of expressions graphically:

So, a classical lvalue is something that has identity and cannot be moved (because we could examine it after a move), and

a classical rvalue is anything that we are allowed to move from.

*************************ISO IEC 14882 2011 8.5.3 References*************************

ISO文档使用cv来代表const volatile 修饰符。

并且假设我们使用这样的一种方式来赋值：cv1 T1 dest = cv2 T2 src；

举个例子就是：

int src = 123;

const int& dest = src;

void function(const int& dest){};

function(src);

ISO文档首先给出了两个概念：reference-related, reference-compatible。

Given types “cv1 T1” and “cv2 T2,” “cv1 T1” is reference-related to “cv2 T2” if

  1. T1 is the same type as T2, or
  2. T1 is a base class of T2.

“cv1 T1” is reference-compatible with “cv2 T2” if

  1. T1 is reference-related to T2 and
  2. cv1 is the same cv-qualification as, or greater cv-qualification than, cv2.

说明：cv1 >= cv2的情况都有哪些呢：const > 没有修饰符， const volatile > const，etc.

分析一次赋值：cv1 T1 dest = cv2 T2 src; 是否合法采用如下4个步骤：

1.如果dest 是一个lvalue reference，同时：

1.1如果src是一个左值（不是一个bit-filed），并且cv1 T1 是 reference-compatible with cv2 T2的；

1.2如果T2是一个类类型（class, struct, union, etc.），即使cv1 T1 不是 reference-compatible with cv2 T2的，只要cv2 T2可以被转换成cv3 T3类型的一个左值(src1)，这时如果cv1 T1 是 reference-compatible with cv3 T3的；

那么，dest 就帮定到src，或者src1上。

2.如果cv2 T2 src不能满足1.1，1.2，那么cv1 就应该是一个包含const的lvalue reference定义，否则它就因该是一个rvalue reference。此时如果cv2 T2满足如下条件：

2.1如果src是一个xvalue, 类类型的prvalue, array prvalue 或者返回左值的函数，并且cv1 T1 是 reference-compatible with cv2 T2的；

2.2如果cv2 T2是类类型的，即使cv1 T1 不是 reference-compatible with cv2 T2的，只要cv2 T2可以被转换成cv3 T3类型的一个2.1规定的值，假设是src1；

那么，dest就帮定到src，或者src1上。

3.如果cv2 T2 src也不能满足2.1，2.2，那么编译器就为src创建一个临时变量。

3.1创建此临时变量的条件是：cv1 T1 是 reference-related with cv2 T2，并且cv1 >= cv2；

4.如果cv2 T2 src不能满足上面所有的条件，那么cv1 T1就应该是一个rvalue reference。此时，如果cv2 T2是一个lvalue的话，编译器应该抱错。

*************************Reference 匹配（过滤）过程*************************

**************************************这里有些例子**************************************

-------------------------------能被规则1处理完毕-------------------------------------------------

double d = 2.0;

double& rd = d; //d, is an lvalue, and the cv1 equals cv2， 1.1能够处理

const double& rcd = d; // d, is an lvalue,

// the cv1 >= cv2: const > 没有修饰符，1.1能够处理

struct A { };
     struct B : A

{

operator int&();

} b;

A& ra = b; // b, has a class type: struct;

//cv1 is reference related with cv2, ra is the base class of the b，1.2能够处理

const A& rca = b; // b, has a class type, struct;

//cv1 is reference related with cv2, ra is the base class of the b;

// the cv1 >= cv2: const > 没有修饰符，1.2能够处理

int& ir = B(); // B(), has a class type: struct

//it can be converted to an lvalue of the int&: operator int&()

//cv1 == cv2: cv修饰符都是空，1.2能够处理

------------------------------不符合规则1，被规则2处理-----------------------------------------

extern B f();

const A& rca2 = f();// f()返回值是一个类类型的rvalue,

// the cv1 >= cv2: const > 没有修饰符，2.1能够处理 
     
      struct X {
          operator B();
          operator int&();
      } x;

const A& r = x;// x 是类类型的

// r 与x 不是reference-compatible的

// x 通过operator B()返回一个类类型的prvalue, tmpB

// r 与tmpB 的关系满足2.1的条件，2.2能够处理

-----------------------不符合规则1，也不符合规则2，被规则3处理---------------------------

const double& rcd2 = 2; // 2，不是一个lvalue/xvalue/类类型的prvalue/函数返回的左值，等。

// 创建一个临时变量2.0，3能够处理

--------不符合规则1，也不符合规则2，也不符合规则3，被规则4处理----------------------

double d2 = 1.0;
     double&& rrd2 = d2; // rrd2是一个rvalue reference，不能使用lvalue 赋值。4能够处理

-----------------------------------------其他一些例子-------------------------------------------------------------

const volatile int cvi = 1;
     const int& r2 = cvi; // error, in this example, the cv1 <= cv2, which violate the 1.1

*************************回到我们的例子*************************

class Dog

{

public:

Dog(){}

virtual ~Dog(){}

};

void NonConstReference (Dog & dog )

{

//tell the dog to do something here

}

void TestNonConstReference ()

{

NonConstReference( Dog());

}

NonConstReference( Dog())调用，在栈上创建了一个类类型的prvalue。

根据ISO文档，它不能规则1接纳，就只能由规则2继续处理。

规则2要求NonConstReference(Dog & dog )中的Dog & dog 必须是const Dog & dog。

而这里显然不是，所以抱错。

************************编译器为我们作了什么？语义分析*****************************

编译器，在严格的按照，c++语言的设计来执行语义检查：

  1. 目标是一个lvalue reference, 那么就不能给我一个rvalue.
  2. 要么就把目标设置成const lvalue reference.

如果一个参数是以非const引用传入，c++编译器就认为程序在函数中修改这个值，并且想要这个被修改过的值。

但如果你把一个临时变量当作非const引用参数传进来，程序并没有机会继续访问这样的变量，从而使修改一个临时变量变得毫无意义的。

从而c++编译器加入了临时变量不能作为非const引用的这个语义限制，意在限制这个非常规用法的潜在错误。

**************************************完*******************************************

时间： 2024-08-02 01:50:28

C++11引用临时变量的终极解析的相关文章

C++ const引用、临时变量 引用参数

C++引用-临时变量.引用参数和const引用 如果实参与引用参数不匹配,C++将生成临时变量.如果引用参数是const,则编译器在下面两种情况下生成临时变量: 实参类型是正确的,但不是左值 实参类型不正确,但可以转换为正确的类型 左值参数是可被引用的数据对象,例如,变量.数组元素.结构成员.引用和被解除引用的指针都是左值,非左值包括字面常量和包含多项式的表达式.定义一个函数 Double refcube(const double& ra) { Returnra*ra*ra; } double

C++函数返回引用、非引用以及临时变量的问题

C++中新增了引用类型,所以函数的返回值可以是引用类型.那么就会有人想问 返回引用类型与返回非引用类型有区别吗? 结论是显然的,而且有明显的区别.尤其初学者会很容易绕进去.让我们先看四个函数原型.以int类型来举例 (1) int fun(...) { return ....//后面跟的是一个引用 } 例如:int fun(int &a) { return a; } (2)int fun(...) { return....//后面跟的是一个非引用 } 例如:int  fun(int a) { r

c++中临时变量不能作为非const的引用参数

试看下面的代码: #include <iostream> using namespace std; void f(int &a) { cout << "f(" << a  << ") is being called" << endl; } void g(const int &a) { cout << "g(" << a << "

临时变量作为非const的引用进行参数传递引发的编译错误

1.错误原因即解决办法 Linux环境运行,使用g++编译,观察如下代码,会出现: invalid initialization of non-const reference of type 'std::string&' from a temporary of type 'std::string'的错误. 其中文意思为临时变量无法为非const的引用初始化.也就是在参数传递的过程中,出现错误.出错的代码如下: void print(string& str) { cout<<st

C++参数传递（引用，临时变量）

一般的变量声明时就创建相应的内存空间,该空间用于存储该变量的值.函数进行按值传递时,是将该变量值的拷贝传给函数,因此在函数中将传进来的值改变也不能改变变量的值. 指针变量和按指针传递.指针类型的变量在声明后,根据操作系统的不同创建相应大小的内存空间,该空间上存储的是一个地址,该地址指向一个变量.如果函数按指针进行传递参数,也是将变量的拷贝传进来,但该变量是一个指向某内存单元的地址,对该变量进行解引用操作,改变其内存单元存储的值,即可改变变量解引用后的值. 引用和按引用传递.引用是变量的别名.在声

非const引用不能指向临时变量

没找到具体原因,MSDN看到下面这句,VC是从2008才有这一限制的,感觉就是从语法上对临时变量增加了限定,因为一般说来修改一个临时变量是毫无意义的,通过增加限定,强调临时变量只读语义.虽然实际上修改临时变量并不会有问题. Visual Studio 2008 In previous releases of Visual C++, non-const references could be bound to temporary objects. Now, temporary objects ca

论函数的设计应如何才好，返回临时变量 | 返回引用 | 传递引用

这个就涉及效率的问题,怎么要写,才会尽可能的少调用构造函数. 先设计如下的类 class tempTest{ public: tempTest(){ cout <<"hello tempTest() "<<count++ << endl; } tempTest(tempTest& ){ cout <<"hello copy tempTest() "<<count++ << endl; }

引用与析构，通过引用减少临时变量

通过引用可以大大减少创建临时变量的次数,从而提高程序运行的效率. 本文探讨创建通过引用减少创建临时变量的次数,与临时变量的生命周期. 测试一:不使用引用并且返回的临时变量不用引用保存. #include <cstdio> #include <iostream> using namespace std; class Point{ private: static int count; int x; public: Point() { printf("constructor c

指针值传递、指针的指针、指针的引用、无法返回临时变量地址

#include <stdio.h>#include <stdlib.h>#include <string.h> void GetMemory(char *p){ //char *p = str, p = str(值传递,跟str无关,内存分配失败) p = (char*)malloc(100);}void GetMemory1(char **p){ //char **p = &str, p指向str指针的地址,*p指向str的地址,*p = str, *p分配