30分钟了解C++11新特性

浏览数：25 / 时间：2015年06月08日

新的关键字

auto
C++11中引入auto第一种作用是为了自动类型推导
auto的自动类型推导，用于从初始化表达式中推断出变量的数据类型。通过auto的自动类型推导，可以大大简化我们的编程工作。auto实际上实在编译时对变量进行了类型推导，所以不会对程序的运行效率造成不良影响。另外，似乎auto并不会影响编译速度，因为编译时本来也要右侧推导然后判断与左侧是否匹配。如果没有auto关键字写个迭代器要写很长长，这也算是节省了我们的脑细胞吧，~~~~(>_<)~~~~ ！！

[html] view plain copy

auto a; // 错误，auto是通过初始化表达式进?行类型推导，如果没有初始化表达式，就?无法确定a
的类型
auto i = 1;
auto d = 1.0;
auto str = "Hello World";
auto ch = ‘A‘;
auto func = less<int>();
vector<int> iv;
auto ite = iv.begin();
auto p = new foo() // 对?自定义类型进?行类型推导

auto不光有以上的应用，它在模板中也是大显身手，比如下例这个加工产品的例子中，如果不使用auto就必须声明Product这一模板参数：

[cpp] view plain copy

template <typename Product, typename Creator>
void processProduct(const Creator& creator) {
Product* val = creator.makeObject();
// do somthing with val
}

如果使用auto，则可以这样写：

[html] view plain copy

template <typename Creator>
void processProduct(const Creator& creator) {
auto val = creator.makeObject();
// do somthing with val
}

抛弃了麻烦的模板参数，整个代码变得更加正解了。
decltype
decltype实际上有点像auto的反函数，auto可以让你声明一个变量，而decltype则可以从一个变量或表达式中得到类型，有实例如下：

[html] view plain copy

int x = 3;
decltype(x) y = x;//那么很容易理解y的类型就是int啦

有人会问，decltype的实用之处在哪里呢，我们接着上边的例子继续说下去，如果上文中的加
工产品的例子中我们想把产品作为返回值该怎么办呢？我们可以这样写：

[cpp] view plain copy

template <typename Creator>
auto processProduct(const Creator& creator) ->
decltype(creator.makeObject()) {
auto val = creator.makeObject();
// do somthing with val
}

nullptr
nullptr是为了解决原来C++中NULL的二义性问题而引进的一种新的类型，因为NULL实际上代表的是0。

[html] view plain copy

void F(int a){
cout<<a<<endl;
}
void F(int *p){
assert(p != NULL);
cout<< p <<endl;
}
int main(){
int *p = nullptr;
int *q = NULL;
bool equal = ( p == q ); // equal的值为true，说明p和q都是空指针
int a = nullptr; // 编译失败，nullptr不能转型为int
F(0); // 在C++98中编译失败，有?二义性；在C++11中调?用F（int）
F(nullptr);
return 0;
}

序列for循环
在C++中for循环可以使用类似java的简化的for循环，可以用于遍历数组，容器，string以及由begin和end函数定义的序列（即有Iterator），示例代码如下：

[cpp] view plain copy

map<string, int> m{{"a", 1}, {"b", 2}, {"c", 3}};
for (auto p : m){
cout<<p.first<<" : "<<p.second<<endl;
}

Lambda表达式
lambda表达式类似Javascript中的闭包，它可以用于创建并定义匿名的函数对象，以简化编程
工作。Lambda的语法如下：
[函数对象参数]（操作符重载函数参数）->返回值类型{函数体}

[cpp] view plain copy

vector<int> iv{5, 4, 3, 2, 1};
int a = 2, b = 1;
for_each(iv.begin(), iv.end(), [b](int &x){cout<<(x + b)<<endl;}); // (1)
for_each(iv.begin(), iv.end(), [=](int &x){x *= (a + b);}); // (2)
for_each(iv.begin(), iv.end(), [=](int &x)->int{return x * (a + b);});//（3）

[]内的参数指的是Lambda表达式可以取得的全局变量。(1)函数中的b就是指函数可以得
到在Lambda表达式外的全局变量，如果在[]中传入=的话，即是可以取得所有的外部变
量，如（2）和（3）Lambda表达式
()内的参数是每次调用函数时传入的参数。
->后加上的是Lambda表达式返回值的类型，如（3）中返回了一个int类型的变量
变长参数的模板
我们在C++中都用过pair，pair可以使用make_pair构造，构造一个包含两种不同类型的数据的
容器。比如，如下代码：

[cpp] view plain copy