Hello C++11 (新的免费午餐——右值引用篇)

来自Herb Sutter's blog的消息,http://herbsutter.com/2011/08/12/we-have-an-international-standard-c0x-is-unanimously-approved/


C++0x终于转正了,最终落在了C++11上,这个x果然如笑谈中所称,是十六进制的,哈哈


身为一名自封的伪C++ Geek,虽然水平和经验还差得远,但等到了这一天还是忍不住要说道说道的~


新标准带来了很多新东西,可分为“新的语言特性”和“新的标准库”两部分,前者包含右值引用、lambda、适应并发环境的内存模型等等,后者从Boost库中吸取了很多卓越的成果。今天就来说说个人认为最有意义的新特性:右值引用。


闲话少说,先直接上一段代码:

#include <vector>
#include <ctime>
#include <iostream>

using namespace std;

const int LEN = 200000;

vector<int> makeVec()
{
    vector<int> v(LEN);
    for(int j=0; j<LEN; ++j){
        v[j] = j;
    }
    return v;
}
int main()
{
    clock_t t0 = clock();
    vector<vector<int> > vec;
    for(int i=0; i<1000; ++i){
        vec.push_back(makeVec());
    }
    cout << (clock() - t0) * 1.0 / CLOCKS_PER_SEC << endl;
    return 0;
}


运行环境:T7500, 2G, Win7(32bit)

编译器:GCC4.5.2(Mingw)

编译参数:

g++ -o test0.exe main.cpp

g++ -std=c++0x -o testx.exe main.cpp

运行test0.exe三次,输出分别结果为:4.066; 4.056; 4.041;

运行testx.exe三次,输出结果分别为:2.392; 2.383; 2.415;


g++ -O2 -o test02.exe main.cpp

g++ -O2 -std=c++0x -o testx2.exe main.cpp

运行test02.exe三次,输出分别结果为:2.500; 2.500; 4.041;

运行testx2.exe三次,输出结果分别为:0.740; 0.767; 0.786;


启用新标准编译出的程序效率,无论开优化与否,效率都得到了显著的提升,而代码是同一份,我们没有做任何修改,这就是我个人所谓“新的免费午餐”,呵呵。


这份午餐是谁的杰作?右值引用!右值引用的严肃讲解请看这里:http://blogs.msdn.com/b/vcblog/archive/2009/02/03/rvalue-references-c-0x-features-in-vc10-part-2.aspx


下面是我个人对于右值引用的不严肃讲解:

1. 什么是右值?

用一句不科学也不严谨的话概括:右值是一种表达式的类型,当其表达的变量或对象所在的语句结束时,变量的生命期也随之结束。

例如"string str="hello"; string str1 = str + str;" 第二句等号后边的"str + str"就是一个右值表达式,他所表达的那个字符串对象在这句话结束的时候就会析构。(这种表达式经常出现在等号右边,不知叫他做右值有没有这个原因)

2. 什么是右值引用?

在C++11之前,我们把一个右值传递给某函数的时候,只能绑定到值类型的参数(T、const T)或者常量引用参数(const T&),也就是说,函数对这个传进来的对象本身不能做任何变更性的操作。

而在C++11中是允许将传递给函数的右值绑定到右值引用参数(T&&)上去的,且优先级比常量引用参数高,也就是说,若传进来的这个对象是右值表达的,我们可以对其进行变更性操作了!

3. 右值引用有什么用?

八个字:移动语义,资源窃取。

比如我想复制一个右值表达式表示的string对象,我们叫它rstr,我们不必开辟一块新的内存,再把rstr背后的字符数组内容拷贝过来,而是利用“右值表达式所表示的对象生命期快到了”这一条件,直接将rstr背后的那个char*指针变量的值拷贝过来,然后再将这个指针变量的值改为NULL(题外话,C++11中有了新的空指针表示法nullptr),这样rstr在析构的时候不会释放字符串所对应的空间,是不是很美好?这就是所谓的移动语义、资源窃取哈。

而上面代码的例子也是一个道理,makeVec()函数返回的是右值表达式表达的一个vector<int>,我们再把它push_back给一个vector<vector<int>>时,老标准下的编译器就会发生vector<int>背后那个int*所指向区域的复制行为,而新标准下的编译器就会避免复制这片区域,而只是简单的将int*这个指针变量的值“偷”过来。

有这样一个“经验之谈”:“标准库容器中尽量要放内置类型或者对象的指针”。因为标准库容器是值语义的,即push_back()操作是复制一份”参数所表达的对象“放到容器中去的。我们想要把一个对象放入容器需要把它先造出来,然后再复制一份到容器中去,所以为了避免不必要的复制,我们将对象的指针存入容器,但带来的问题就是,这些对象的生命周期要自己管理,因为指针类型的元素是没有析构函数的。

有了“右值引用”,上述“经验之谈”可以松动一些了,只要我们使用形如makeVec()这样的函数”造出“我们想要的对象,然后push_back到容器中去,也可以完全避免不必要的复制操作,前提是这个对象的类实现了右值引用参数版本的复制函数(就是那个资源窃取,只复制指针,不复制内存区域的函数)。而新标准下的标准库显然已经为我们实现了vector的右值引用版本的复制函数:-)。

题外话,makeVec()这样的函数本身是没有效率问题的,因为返回值优化(http://efnetcpp.org/wiki/Return_value_optimization)的存在。

4. 不是右值表达式表达的对象就窃取不了了么?

当然可以,伴随右值引用而来的有这么一个“邪恶”的东西,std::move(),它返回传入对象的右值表达,这样我们就可以把想窃取的对象用std::move()包装一下再传给右值引用版本的函数。为什么说他“邪恶”呢,是因为我们需要自己对被窃取的那个对象负责了,因为它被窃取之后是一无所有的,调用它的任何方法也许都会是一场灾难。

5. 关于右值引用还有什么?

还有一个对于泛型编程很有用的“完美转发(perfect forwarding)”,跟“移动语义”一点关系都没有,是恰好在“右值引用”作为一个新语法内容出现后,可以不需要变更老语法的既定表现,而是使用新语法来实现新的语言特性,从而更好的兼容历史代码。关于完美转发本文就不详细说了,感兴趣的读者可以搜索一下,文章还是比较多的哈~

6. 总结

有了右值引用和使用右值引用实现了移动语义的函数,我们可以用可读性更高、封装性更好的代码实现高效率的操作了;

有了右值引用和使用右值引用实现了完美转发的模板库,泛型编码的效率也更高;

前者是运行效率、后者是编码效率的免费午餐~

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值