c++11新特性(了解)

时间:2022-03-01 09:22:30
从C++出来到现在已经13年了。
Bjarne Stroustrup(C++的创造者)最近评价C++11:”感觉像个新的语言“。
事实上,C++11核心已经发生了很重大的变化:
1. 支持Lambda表达式( lambda expressions)
2. 对象自动类型推导(automatic type deduction of objects)
3. 统一初始化语法(uniform initialization syntax)
4. 代理构造(delegating constructors)
5. deleted 和defaulted函数声明(deleted and defaulted function declarations)
6. 空指针(nullptr)
7. 右值引用(rvalue references)
8. ...

C++11的标准库也已经修订,使用了新的算法,新的容器类,原子操作,类型, 
正则表达式,智能指针, async() 功能,及多线程库。

关于C++11核心和库的新特性的完整描述,请见以下网址:
http://www2.research.att.com/~bs/C++0xFAQ.html

1. Lambda表达式(Lambda Expressions)
    Lambda表达式允许你在本地定义函数,即在调用的地方定义,

    从而消除函数对象产生的许多安全风险,Lambda表达式的格式如下:

            [capture](parameters)->return-type {body} 
            []里是函数调用的参数列表,表示一个Lambda表达式的开始,

         让我们来看一个Lambda例子:

         假 设你想计算某个字符串包含多少个大写字母,使用for_each()遍历一个char数组,

         下面的Lambda表达式确定每个字母是否是大写字母,每当它 发现一个大写字母,

         Lambda表达式给Uppercase加1,Uppercase是定义在Lambda表达式外的一个变量:

          int main()  
          {
              char s[]="Hello World!";
              int Uppercase = 0;                        //modified by the lambda
              for_each(s, s+sizeof(s), [&Uppercase] (char c) {  if (isupper(c))  Uppercase++;  } )
                   ;                                               // 这大括号很容易看走眼的,这代码怎么规范好呢?
          
              cout<< Uppercase<<" uppercase letters in: "<< s<<endl; 
           } 
          以上例子就好像你在一个函数调用内部定义了一个新的函数。[&Uppercase]中的“&”记号

          意味着Lambda主体获得一个 Uppercase的引用,以便它能修改,如果没有这个特殊记号,

          Uppercase将通过值传递,C++11 Lambda表达式也包括成员函数构造器。



2. 自动类型推导和声明类型(decltype)

    在C++03中,在声明对象时,你必须指定对象的类型,然而,在许多情况下,

    对象声明时都有初始化,C++11利用了这个优势,允许你声明对象时不指定类型:

        auto x=0;       // x has type int because 0 is int  
        auto c='a';     // char  
        auto d=0.5;    // double  
        auto national_debt=14400000000000LL;    //long long 
    自动类型推导主要用于对象类型很长很麻烦的时候,或者是对象是自动生成的
    时候(使用模板时)
    考虑下面迭代器的声明:

        void fucn(const vector<int> &vi)  
       {
           vector<int>::const_iterator ci=vi.begin();
       } 
   有了自动类型推导后,你可以这样声明:        
       auto ci=vi.begin();      //  哈哈,省事了
    关 键字auto不是什么新生事物,我们早已认识,它实际上可以追溯到前ANSI C时代,

    但是,C++11改变了它的含义,auto不再指定自动存储类型对象,相反,它声明的对象

    类型是根据初始化代码推断而来的,C++11删除了 auto关键字的旧有含义以避免混淆。

    注意了:auto已经不再是当年的auto了!

    C++11提供了一个类似的机制捕捉对象或表达式的类型,新的操作符decltype需要一个

    表达式,并返回它的类 型。

        const vector<int> vi;         typedef decltype (vi.begin()) CIT;         CIT another_const_iterator;
3. 统一初始化语法(uniform initialization syntax)
    C++至少有4个不同的初始化符号,有些存在重叠,

    括号初始化语法如下:

        std::string s("hello"); 
        int m=int();           //default initialization  
    在某些情况下,你也可以使用“=”符号进行初始化:

        std::string s="hello"; 
        int x=5;  
    对于POD聚合,你还可以使用大括号:

        int arr[4]={0,1,2,3};  
        struct tm today={0};  
    最后,构造函数使用成员进行初始化:

        struct S {  
            int x;   
            S(): x(0) {}
        };  
    显然,这么多种初始化方法会引起混乱,对新手来说就更痛苦了,更糟糕的是,

    在C++03中,你不能初始化POD数组成员,POD数组使用new[]分配,

    C++11使用统一的大括号符号清理了这一混乱局面。

        class C  { 
             int a; 
             int b;  
             public:  
                C(int i, int j); 
         };   
        C c {0,0}; //C++11 only. Equivalent to: C c(0,0);   
        int* a = new int[3] { 1, 2, 0 };  //C++11 only   
        class X {   
             int a[4];  
             public:    
                 X() : a{1,2,3,4} {} //C++11, member array initializer 
        }; 
        对于容器,你可以和一长串的push_back()调用说再见了,在C++11中,

        你可以直观地初始化容器:

        // C++11 container initializer 
        vector vs<string>={ "first", "second", "third"};  
        map singers =    { {"Lady Gaga", "+1 (212) 555-7890"},     
                                      {"Beyonce Knowles", "+1 (212) 555-0987"}};  
        类似地,C++11支持成员在类内初始化:

        class C  {   

            int a=7;    //C++11 only  这和Java一样 

            public:   

            C();  

        };

4. 代理构造(delegating constructors)

    在C++11中,构造函数可以调用类中的其它构造函数:

    class M //C++11 delegating constructors 
    {  
        int x, y;  
        char *p;  
        public:   
            M(int v) : x(v), y(0),  p(new char [MAX])  {} //#1 target   
            M(): M(0) {cout<<"delegating ctor"<  
     构造函数#2,代理构造函数,调用目标构造函数#15. deleted 和defaulted函数声明(deleted and defaulted function declarations)

    一个结构体中的函数:

    struct A  {   
        A()=default; //C++11   
        virtual ~A()=default; //C++11  
    };  
    对于被称为defaulted的函数,“=default;”部分告诉编译器为函数生成默认实现。

    Defaulted函数有两个好处:比手工实现更高效,让程序员摆脱了手工定义这些函数的麻烦事。

    与defaulted函数相反的是deleted函数:

    int func()=delete;
    Deleted函数对防止对象复制很有用,回想一下C++自动为类声明一个拷贝构造函数和一个赋值操作符,

    要禁用拷贝,声明这两个特殊的成员函数为=delete即可:

    struct NoCopy  {     
        NoCopy & operator =( const NoCopy & ) = delete;     
        NoCopy ( const NoCopy & ) = delete;  
     };  
     NoCopy a;  
     NoCopy b(a);     //compilation error, copy ctor is deleted  

6. 空指针(nullptr)

    终于,C++有了一个指定空指针常量的关键字,nullptr取代了有错误倾向的NULL宏和0,

    这两个空指针替代品已经使用很多年了,nullptr是一个强类型:

        void f(int);           //#1  
        void f(char *);     //#2 
        //C++03  
        f(0);                    //which f is called?  0可能是int,也可能是空指针,调谁?
       //C++11  
       f(nullptr)            //unambiguous, calls #2  这下好了,空指针只能是nullptr。
    nullptr适用于所有指针类别,包括函数指针和成员指针: 

        const char *pc=str.c_str();      //data pointers 
        if (pc!=nullptr)   
            cout<<pc<<endl; 
        int (A::*pmf)()=nullptr;         //pointer to member function 
        void (*pmf)()=nullptr;          //pointer to function  

7. 右值引用(rvalue references)

    C++03中的引用类型只能绑定左值,C++11引入了一种新的引用类型,叫做右值引用,
    右值引用可以绑定右值,例如,临时对象和字符串。
    增加右值 引用的主要原因是移动语义(move semantics),与传统的复制不一样,
    移动意味着目标对象偷窃了源对象的资源,    留下一个状态为“空”的源对象。
    在某些情况下,复制 一个对象既代价高又没有必要,这时可以用一个移动操作代替。
    如果你想评估移动语义(move semantics)带来的性能收益,可以考虑字符串交换,
    一个幼稚的实现如下:
        void naiveswap(string &a, string & b)  
、    {   
            string temp = a;   
            a=b;   
            b=temp;  
        }  
    这样的代价很高,复制字符串必须分配原始内存,将字符从源拷贝到目标。

    相反,移动字符串仅仅是交换两个数据成员,不用分配内存,拷贝char数组和删除内存:

        void moveswapstr(string& empty, string & filled)  

        {  

           //pseudo code, but you get the idea  

           size_t sz=empty.size();  

           const char *p= empty.data();  

           //move filled's resources to empty  

           empty.setsize(filled.size());  

           empty.setdata(filled.data());  

           //filled becomes empty  

           filled.setsize(sz);  

           filled.setdata(p);  

        }  

    如果你实现的类支持移动,你可以像以下那样声明一个移动构造函数和一个移动赋值操作符:

        class Movable  
        {  
            Movable (Movable&&); //move constructor  
            Movable&& operator=(Movable&&); //move assignment operator 
        };
    C++11标准库广泛的使用了移动语义,许多算法和容器都为移动做了优化。