C++的进化:C++0x一瞥

2008-03-28 07:31:14来源: 阅读 ()

新老客户大回馈,云服务器低至5折

 摘要:C++标准委员会近年来一直在为下一代C++标准的制定而努力着,本文介绍了几个很可能成为下一代标准的新特性,包括generalized initialization,concept,move semantics,auto/delctype,让大家先睹为快。

1. 什么是C++0x

    很简单,0x代表21世纪的第一个十年中的某一年,可能是07也可能是09,这要视标准出台的具体时间而定(但放心,不会是99),这也意味着新标准出台的时间不会太遥远了。

2. 新特性

    这里我只打算从直观的角度介绍每一个新特性,关于每一个特性都可以在“C++ Standards Committee Papers”找到相应的论文。

2.1 Generalized Initialization

    描述:支持将形如{1,2,3}的initializer作为参数进行传递
    意义:相信你一定写过这样的代码吧:

        vector <int> v;
        v.push_back(1);
        v.push_back(2);
        v.push_back(3);

    有了上述机制,只要给vector多加一个initializer为参数的构造函数,代码就可以简化为:

        vector <int> v = {1,2,3};

世界本应如此简单,不是吗。

2.2 Concept

    描述:从语言层面支持STL的concept概念
    如下代码定义了一个EqualityComparable的concept,满足该concept的对象都应该可以相等性的比较:

        template<class T>
        concept EqualityComparable {
            bool operator ==(T x, T y);
            bool operator !=(T x, T y);
        };

    意义:
        a. 对模板可以在更早的时间进行类型检测
           众所周知,C++现在的模板实现是基于实例展开的,因此类型检测也要到展开
        以后才能发现。一旦有了concept,编译器就可以在模板展开前发现类型错误,
        这无疑提高了编译器的效率。

        b. 更加易懂的出错信息
           用过STL的人都知道,STL的出错信息从来都是一堆乱码,可读性为0。Concept
        可以给编译器提供更多的类型信息,从而反馈给开发人员更加易于理解的信息,
        如"xxx is not EqualityComparable",而不是告诉你"xxx did not define this operator"。

        c. 使C++中的模板更加完整、健壮
           事实上,在[SGGWJL05]中提到了好几个因此可以被废弃的trick。如果一个语言
        需要用许多trick来实现某些东西,那么这个语言在至少某些方面是不完整的。

2.3 Move semantics

    描述:以专门的方式表达对右值的引用(目前倾向于使用&&)
    意义:
        a. 有助于提高程序的效率
           右值是无名的数据,例如函数的返回值一般说来就是右值。当对右值进行操作的
        时候,右值本身往往没有必要保留,因此在某些情况下可以直接“移动”之。
        引入move semantics的用意就在于此,通过右值引用,程序可以明确的区分出
       传入的参数是否为右值,从而避免了不必要的拷贝,程序的效率也就得到了提高。
       一个典型的例子是字符串连接操作,详见[HDA02]。

       b. 成就所谓的perfect forwarding
          这方面就不展开讲了,可以参考[DHA02]。

2.4 auto/decltype

    描述:引入auto/decltype类型修饰关键字,编译器可以根据表达式来推导出相应的类型
    意义:
        C++本身不支持类型反射机制(即在运行时判断某对象的类型),这给泛型编程带来了
    一定的困难。因为在泛型编程中,确定某个返回类型往往是一件很麻烦甚至是不可能的
    事情,但是编译器展开模板以后知道所有的类型信息,为什么不把这件事交给编译器
    去做呢。更详细的资料可以参考[JSGS03]和[TO05]。

3. 参考文献

[SGGWJL05] Jeremy Siek, Douglas Gregor, Ronald Garcia, Jeremiah Willcock, Jaakko J?rvi, and Andrew Lumsdanine. Concepts for C++0x. C++ standards committee document N1758=05-0018, Januaury 17, 2005.
[HDA02] Howard E. Hinnant, Peter Dimov, and Dave Abrahams. A Proposal to Add Move Semantics Support to the C++ Language. C++ standards committee document N1377=02-0035, September 10, 2002.
[DHA02] Peter Dimov, Howard E. Hinnant, and Dave Abrahams. The Forwarding Problem: Arguments. C++ standards committee document N1385=02-0043, September 09, 2002.
[JSGS03] Jaakko J?rvi, Bjarne Stroustrup, Douglas Gregor, and Jeremy Siek. Decltype and auto. C++ standards committee document N1478=03-0061, April 2003.
[TO05] Thorsten Ottosen. Towards C++0x. October 24, 2005.

标签:

版权申明:本站文章部分自网络,如有侵权,请联系:west999com@outlook.com
特别注意:本站所有转载文章言论不代表本站观点,本站所提供的摄影照片,插画,设计作品,如需使用,请与原作者联系,版权归原作者所有

上一篇:避免 C/C++ 程序一闪而过的方法

下一篇:C++ 0x 里的垃圾收集器