C++ 新标准的 PDF 文档

C++是具有国际标准的编程语言,通常称作ANSI/ISO C++,1998年国际标准组织(ISO)颁布了C++语言的国际标准ISO/IEC 1488-1998。。1998年是C++标准委员会成立的第一年,以后每5年视实际需要更新一次标准,最近一次标准更新是在2009年,目前我们一般称该标准C++0x。遗憾的是,由于C++语言过于复杂,以及他经历了长年的演变,直到2009年只有Visual C++ 2010 CTP开发环境的编译器完全符合这个标准。C++委员会的主要焦点是在语言核心的发展上,C++0x关于核心语言的领域将被大幅改善,包括多线程支持、 泛型编程、统一的初始化,以及表现的加强。

  http://ishare.iask.sina.com.cn/f/15575635.html

  C++ 新标准的 PDF 文档。Scott Meyers Presentation Materials The New C++ Overview of (C++0x)

  C++0x最终国际投票已于2011年8月10日结束,所有国家都投出了赞成票。国际标准化组织 于 2011年9月1日出版发布ISO/IEC 14882:2011,名称是

    Information technology -- Programming languages -- C++ Edition: 3

    C++ 2011 正式成为新的C++标准

    C++ 2011将取代现行的C++标准ISO/IEC 14882,它公开于1998年并于2003年更新,通称C++98以及C++03。

    新标准的pdf文档可以在其iso官方网站购买获取。

  核心语言扩充  C++委员会的主要焦点是在语言核心的发展上。因此C++0x的发表日期取决于这部份标准的作业进度。

    核心语言的领域将被大幅改善,包括多线程支持、 泛型编程、统一的初始化,以及表现的加强。

    在此分成4个区块来讨论核心语言的特色以及变更: 运行期表现强化、建构期表现强化、可用性强化,还有崭新的机能。某些特色可能会同时属于多个区块,但在此仅于其最具代表性的区块描述该特色。

    2011年3月27日,IS0 C++ 委员会正式批准了C++编程语言国际标准最终草案(FDIS)。标准本身已经完成,接下来将是根据委员会会议修改意见更新工作草案,预计将用三周时间完成FDIS草案,然后交给日内瓦的ITTF,最新的C++标准将在夏天发布,先前被临时命名为C++0x的新标准将被称为C++ 2011。从2003年发布的C++03到2011年的C++ 2011,新标准的制定历经了8年时间。GCC和Visual C++编译器都已加入了C++2011/C++0x的支持。

  对POD定义的修正  在标准C++语言中,要让结构成为POD类型必须满足某几条规则。有充分理由让一大堆类型满足这些规则(定义);只要满足这些规则,结构的实现将产生兼容于C的对象布局。然而,在C++03中这些规则过于严格。注:POD,Plain Old Data,指POD用来表明C++中与C相兼容的数据类型,可以按照C的方式来处理(运算、拷贝等)。非POD数据类型与C不兼容,只能按照C++特有的方式进行使用。

    C++0x将放松某些关于POD的限制规则。

    如果一个类或结构是平凡的,具有标准布局的,且不包含任何非POD的非静态成员,那么它就被认定是POD。平凡的类或结构定义如下:

    1.具有一个平凡的缺省构造器。(可以使用缺省构造器语法,如 SomeConstructor() = default;)

    2.具有一个平凡的拷贝构造器。(可以使用缺省构造器语法)

    3.具有一个平凡的拷贝赋值运算符。(可以使用缺省语法)

    4.具有一个非虚且平凡的析构器。

    一个具有标准布局的类或结构被定义如下:

    1.所有非静态数据成员均为标准布局类型。

    2.所有非静态成员的访问权限(public, private, protected) 均相同。

    3.没有虚函数。

    4.没有虚基类。

    5.所有基类均为标准布局类型。

    6.没有任何基类的类型与类中第一个非静态成员相同。

    7.要么全部基类都没有非静态数据成员,要么最下层的子类没有非静态数据成员且最多只有一个基类有非静态数据成员。总之继承树中最多只能有一个类有非静态数据成员。所有非静态数据成员必须都是标准布局类型。

  泛化的常数表示式  C++语言一直具有常量表达式的概念。这些诸如3+4之类的表达式总是产生相同的结果且不具备副作用。常量表达式给编译器带来了优化的可能,而编译器也经常在编译期执行此类表达式并将结果存放在程序中。此外,C++语言规范中有一些地方需要使用常量表达式。定义数组需要常量表达式,而枚举值也必须是常量表达式。

    然而,每当碰到函数调用或对象构造,常量表达式便不再有效。所以简单如下例便不合法:

    int GetFive()

    {

    return 5;

    }

    int some_value[GetFive() + 5]; //创建一个包含10个整型变量的数组,在标准C++中不合法

    这段代码在C++中不合法,因为GetFive() + 5不是一个常量表达式。编译器无从知晓GetFive在运行期是否产生常量。理论上,这个函数可能会影响某个全局变量,或者调用其他运行期产生非常量的函数。

    C++0x将引入constexpr关键字,此关键字将使用户能保证某个函数或构造器在编译期产生常量。上例可被改写如下:

    constexpr int GetFive()

    {

    return 5;

    }

    int some_value[GetFive() + 5]; //在标准C++0x中合法

    这段代码将使编译器理解并确认GetFive是个编译期常量。

    在函数上使用constexpr将对函数功能施加严格的限制。首先,函数必须返回非void类型。其次,函数体必须具有"return /expr/"的形式。第三,expr在参数替换后必须是常量表达式。该常量表达式只能调用其他定义为constexpr的函数,只能使用其他常量表达式数据变量。第四,常量表达式中一切形式的递归均被禁止。最后,这种带constexpr的函数在编译单元中必须先定义后调用。

    变量也可被定义为常量表达式值。

    constexpr double forceOfGravity = 9.8;

    constexpr double moonGravity = forceOfGravity / 6;

    常量表达式数据变量隐含为常量。它们只能存放常量表达式或常量表达式构造器的结果。

    为了从用户自定义类型中构建常量表达式数据值,构造器在声明时可带constexpr。同常量表达式函数一样,在编译单元中常量表达式构造器也必须先定义后使用。常量表达式构造器函数体必须为 发帖网站空,而且它必须用常量表达式构造其成员。这种类型的析构器必须是平凡的。

    由常量表达式拷贝构造的类型也必须被定义为constexpr,以使它们能从常量表达式函数中作为值被返回。类的任何成员函数,包括拷贝构造器和操作符重载,都能被声明为constexpr,只要它们符合常量表达式函数的定义。这就允许编译器在编译期不仅能拷贝类对象,也能对其实施其他操作。

    常量表达式函数或构造器可以用非constexpr参数来调用。就如同一个constexpr整数常量可以被赋给一个非constexpr变量一样,constexpr函数也可用非constexpr参数来调用,并且其结果也可存放在非constexpr变量中。此关键字只是提供了在一个表达式的全部成员均为constexpr时其结果为编译期常量的可能性。

  右值引用与转移语义  在旧标准C++语言中,临时量(术语为右值,因其出现在赋值表达式的右边)可以做参数传给函数,但只能被接受为const &类型。这样函数便无法区分传给const &的是真正的右值还是普通const变量。而且,由于类型为const &,函数也无法改变所传对象的值。

    C++0x将增加一种名为右值引用的新的引用类型,记作typename &&。这种类型可以被接受为非const值,从而允许改变其值。这种改变将允许某些对象创建转移语义。

    比如,一个std::vector,就其内部实现而言,是一个C式数组的封装。如果需要创建vector临时量或者从函数中返回vector,那就只能通过创建一个新的vector并拷贝所有存于右值中的数据来存储数据。之后这个临时的vector则会被销毁,同时删除其包含的数据。

    有了右值引用,一个参数为指向某个vector的右值引用的std::vector的转移构造器就能够简单地将该右值中C式数组的指针复制到新的vector,然后将该右值清空。这里没有数组拷贝,并且销毁被清空的右值也不会销毁保存数据的内存。返回vector的函数现在只需要返回一个std::vector<>&&。如果vector没有转移构造器,那么结果会像以前一样:用std::vector<> &参数调用它的拷贝构造器。如果vector确实具有转移构造器,那么转移构造器就会被调用,从而避免大量的内存分配。

    考虑到安全因素,具名变量即使被声明为右值类型也不会被当作右值。如需把它当作右值,须使用库函数std::move()。

    bool is_r_value(int &&)

    {

    return true;

    }

    bool is_r_value(const int &)

    {

    return false;

    }

    void test(int &&i)

    {

    is_r_value(i); // false

    is_r_value(std::move(i)); // true

    }

    出于右值引用定义的本质特征以及某些对左值引用(常规引用)定义的修改,现在右值引用允许程序员提供函数参数的完美转发。当与模板变参相结合时,这种能力可以允许函数模板完美地将参数转发给接受那些参数的其他函数。这在转发构造器参数时尤为有用:可以创建一些能自动调用具有相应参数构造器的工厂函数。
  • 0
    点赞
  • 1
    收藏
    觉得还不错? 一键收藏
  • 0
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值