C++11 右值引用与g++ fno-elide-constructors编译选项

右值和将亡值        

C++11增加了一种新类型,称为右值引用(R-value-reference),标记为T &&。那么怎么区分左右值?左值指的是表达式结束后依然存在的持久对象,右值指的是表达式结束时就不再存在的临时对象。一个区分左值与右值的便捷方法是:看能不能对表达式取地址,如果能,则为左值,否则为右值。所有的具名变量或者对象都是左值,而右值不具名。

       在C++11中,右值由两个概念构成,一个是将亡值(xvalue, expiring value),另一个是纯右值(prvalue, PureRvalue),比如,非引用返回的临时对象、运算变动时产生的临时变量、原始字面量和lambda表达式等都是纯右值。

       C++11中所有值必属于左值、将亡值、纯右值三者之一。

右值引用

        在C++中,如果去引用一个返回临时对象,那么结果是不可预知的,因为随着函数的退出,所引用的临时对象也会被析构,这个时候引用的其实是一片垃圾空间,如下代码。

Object CreateObject()
{
	return Object();
}
Object &obj = CreateObject();

       在学校考试或者面试的时候会经常问这段代码有没有问题,那问题就是引用了一个临时变量。那么通常的做法是不引用,直接拷贝就可以避免上述问题。但新问题是这样会调用一次拷贝构造函数,这带来了不必要的开销,所以很多时候我们会传一个引用参数,函数类型类似于:

void CreateObject(MyObject &object)

      这样写的弊端在于增加了函数参数个数。研究发现,第一段代码返回了一个临时对象,这完全符合C++11中右值的定义,所以我们可以用右值引用来解决上面问题,代码如下:

Object CreateObject()
{
	return Object();
}
Object &&obj = CreateObject();

&表示左值引用,而&&则表示右值引用。通过右值引用的声明,该右值又“重获新生”,其生命周期与右值引用类型变量的生命周期一样。下面通过实际例子来验证右值引用。

class Student
{
    public:
        Student()
        {
            construct_count += 1;
            std::cout << "call construct" << std::endl;
        }
        ~Student()
        {
            destruct_count += 1;
            std::cout << "call destruct" << std::endl;
        }
        Student(const Student &other)
        {
            std::cout << "call copy construct" << std::endl;
            construct_count += 1;
        }
        Student &operator=(const Student &other)
        {
            if (this != &other)
            {
            }
            std::cout << "call = construct" << std::endl;

            construct_count += 1;
            return *this;
        }

        static int construct_count;
        static int destruct_count;
};

int Student::construct_count = 0;
int Student::destruct_count = 0;

Student CreateStudent()
{
    return Student();
}

int  main()
{
    do
    {
        Student student = CreateStudent();
    } while(0);

    std::cout << "construct=" << Student::construct_count << std::endl;
    std::cout << "destruct=" << Student::destruct_count << std::endl;

    return 0;
}

        按一般分析,这段代码应该调了3此构造函数,3次析构函数。第一次是return的时候创建对象,第二次是return的时候将创建的临时对象拷贝到函数调用栈空间,第三次是main函数空函数栈空间拷贝对象。用c++11执行编译并运行,g++ right_reference.cpp --std=c++11  -o test

      结果居然是1!这严重不符合我们的预期,在怎么算也不可能是1,我们试一下用右值引用,只需把main函数中获取函数值改成&&方式。

 Student &&student = CreateStudent();

然而并没有什么用,左右值引用根本没区别,难道是我们错了吗?仔细读书发现书上有一句是“关闭fno-elide-constructors”,fno-elide-constructors大概意思就是关闭编译器优化,不同的编译器优化策略并不一样,关闭选项再试看。

       在没有使用右值引用的时候这段代码调用了3此拷贝函数,而在右值引用的时候调用了2次,由此可见在编译器不做优化的情况下右值引用比普通调用更加高效。

评论 1
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值