1 新的关键词nullptr
c++11引入新的关键词nullptr,用于表示空指针,用于替换之前c提供的NULL(最初NULL是定义在stdlib中的宏定义,通常是0)。
2 新的别名定义机制 alias declaration
c++提供了使用typedef定义的别名机制,但是有时候很难理解。为了更好的使用别名机制,c++11提供了新的别名定义机制,类似代码如下:
// alias declarations using VInt = int; // type alias using PInt = int *; // pointer alias using RInt = int &; // reference alias using MyFunc = int (*)(void); // function pointer alias VInt i = 99; PInt pi = &i; RInt ri = i; MyFunc func = nullptr;
3 自动类型推断关键字auto
c++11扩展了auto的函数,编译器可按照实际的初始化参数推断需要的参数类型,并初始化之。其用法类似下面代码:
// item初始化为val1+val2的结果 auto item = val1 + val2;
需要注意的一点是,auto、const以及引用类型一起使用的时候其语法可能不是简单的类型推断,编译器推断类型的机制可能与我们能想到的简单推断不太一致。也就是说如果需要定义auto引用、auto常量时需要明确指定,否则直接使用auto编译器会简单的使用对应的类型,而直接忽略const和引用的限制。相关简单示例代码如下:
/* auto specifier */ // a_i is int, a_pi is a pointer to int, a_ri is a reference to int auto a_i = 0, *a_pi = &a_i, &a_ri = a_i; // error like this, for a_f is float while a_d is double //auto a_f = 0.0f, a_d = 0.0;
4 自动类型推断关键字decltype
c++11提供了新的类型推断关键字decltype,主要用于自动推断表达式类型,但不需要初始化的情况(auto提供了推断类型+初始化)。
// result is any type that expr has. decltype(expr) result;
与auto自动类型推断相比,decltype的自动类型推断很直接,expr是什么类型,通常decltype返回也是一样的类型。用法如下:
/*decltype specifier*/ const int ci = 0, &cr = ci, *cp = &ci; decltype(ci) x = 0;// x has type const int decltype(cr) y = x;// y has type const int & decltype(cr) z;// error,z is a reference and must be initialized decltype(cr+0) b;// b has type int decltype(*cp) c;// error, c is a reference and must be initialized int i = 100; decltype(i) d;// d has type int decltype((i)) e;// error ,e is a reference and must be initialized
需要区分两点,对于有括号的情况、以及指针取值的情况,decltype返回的是左值引用(上面代码中的后两个error)。
5 新的for循环语法,range for
c++本身的for循环需要三个语句,初始化、条件、增量,对于有些操作需要额外写很多代码。针对需要遍历STL容器中的每个元素的情况,可以考虑使用range for。其具体语法如下:
for(declaration:expression) statement;
比如我们把std::string的字母全部变成小写字母可以这么写:
/* range for */ using std::string; string str("UPPER test"); for (auto &c : str) c = tolower(c);
尤其是配合auto和decltype使用,更可以节省很多代码(相信大家都有使用STL迭代器的经验,代码很长,但功能就是为了遍历)。
需要注意一点,range for在使用时不能向容器中插入或删除元素,只能修改。
6 列表初始化机制 list initialization
结合c++11,变量初始化有以下几种方式:
int x = 0; int x = {0}; // list initialization int x(0); int x{0}; // list initialization
针对STL模板定义也提供了新的形势,示例代码如下:
/* vector */ vector<vector<int>> ivec; // list initialization vector<string> strvec{"a", "bc", "def"}; vector<string> v2{"123"}; vector<string> v3{5}; vector<string> v4{5, "s"};
使用大括号的通常是列表初始化,但是某些情况也不是,比如上例中v3、v4实际调用的vector的构造函数(这是编译器做的处理,在初始化列表中的类型和模板类型不匹配时)。
附加说明
本文内容主要是关于 c++ primer 第五版的前4章中涉及c++11内容的整理。
所有代码都在gcc v4.8.1的版本中编译测试过,相关源码可以从我的git下载,url如下:https://git.oschina.net/Tocy/SampleCode.git,位于c++11目录下的cpp_primer_test1.cpp文件中。