|
马上注册,结交更多好友,享用更多功能^_^
您需要 登录 才可以下载或查看,没有账号?立即注册
x
本帖最后由 拈花小仙 于 2014-7-9 00:12 编辑
) n, ~' q- O7 }9 w- O. M9 U& b. u$ Z3 y4 X9 l9 \
什么是C++11
" H# ^" c5 g4 A8 s: ZC++11是曾经被叫做C++0x,是对目前C++语言的扩展和修正,C++11不仅包含核心语言的新机能,而且扩展了C++的标准程序库(STL),并入了大部分的C++ Technical Report 1(TR1)程序库(数学的特殊函数除外)。. u) a& D% Y5 Z* z3 A; B
C++11包括大量的新特性:包括lambda表达式,类型推导关键字auto、decltype,和模板的大量改进。6 |' }! [: C( y/ {9 e
本文将对C++11的以上新特性进行简单的讲解,以便大家能够快速了解到C++11对C++的易用性方面祈祷的巨大作用。4 R+ [$ K% K. Q6 t' u2 e, Y+ W" j
如果您觉得本文的排版不是很舒服,可以查看我的PDF文档:百度盘链接& c J' i+ j9 S! [
5 _* U+ [$ J9 o5 G" @' v4 e, c" b新的关键字' m+ }3 V% Y2 S- L8 R: G* O
3 Q* \7 r6 O" f* X5 N
auto
6 }! y! y6 z/ R( O6 o+ zC++11中引入auto第一种作用是为了自动类型推导 W4 E; c) _% O8 x$ j
auto的自动类型推导,用于从初始化表达式中推断出变量的数据类型。通过auto的自动类型推导,可以大大简化我们的编程工作
. G; U+ p# U$ I) `4 A7 f' Sauto实际上实在编译时对变量进行了类型推导,所以不会对程序的运行效率造成不良影响4 \4 q0 |4 @- a7 n4 ]1 z4 }
另外,似乎auto并不会影响编译速度,因为编译时本来也要右侧推导然后判断与左侧是否匹配。% ]8 ]# K* G$ d
; X& J; W2 A# `' ]1 g
$ O. E( O& f* e! T
auto a; // 错误,auto是通过初始化表达式进行类型推导,如果没有初始化表达式,就无法确定a的类型 - auto i = 1;
s8 ^ ~- F. J5 V% d. [* H: v+ Xauto d = 1.0; - auto str = "Hello World";
; k8 p% I9 O* R& T2 eauto ch = 'A'; - auto func = less<int>();
, T3 p7 d$ c% j% ]( ^vector<int> iv; - auto ite = iv.begin();
- auto p = new foo() // 对自定义类型进行类型推导
0 L: ^! ?; F# A auto不光有以上的应用,它在模板中也是大显身手,比如下例这个加工产品的例子中,如果不使用auto就必须声明Product这一模板参数:- \- T0 t0 D+ ?) h7 i
6 r v: G" b( S; N% M$ A) G8 E G/ H7 y9 \5 a% n. \1 [+ k/ {$ _
template <typename Product, typename Creator> - void processProduct(const Creator& creator) { : o) U1 \! [' ^6 U- @* B/ r
Product* val = creator.makeObject(); - // do somthing with val # F m& x* V# o. D0 c0 O1 L$ x
} - .
) A1 {3 K7 p) k' C) [' _2 _ 如果使用auto,则可以这样写:. O, H/ ]( i3 R" Y3 Q/ a
; |" [/ K" S1 a4 E
/ h& K& e3 M" C+ W- s: ?
template <typename Creator> - void processProduct(const Creator& creator) {
( S! S' ~3 p ?# P4 A. y auto val = creator.makeObject(); - // do somthing with val
- }
1 H( d% A! j! N+ l 抛弃了麻烦的模板参数,整个代码变得更加正解了。
% n4 d1 G# S) N: y1 ^9 S& U; N8 \7 g: _& F* k$ ?2 z0 C
decltype) B V) d7 z) Q
decltype实际上有点像auto的反函数,auto可以让你声明一个变量,而decltype则可以从一个变量或表达式中得到类型,有实例如下:
/ A7 `: G P+ S7 I1 m! |: c7 x: `4 X( x5 @& F6 `" ^ l
; P! i8 y# i7 L' f5 A# Q" P% x
int x = 3; - decltype(x) y = x;
1 f$ X4 z- x- c- t3 a, l: b k 有人会问,decltype的实用之处在哪里呢,我们接着上边的例子继续说下去,如果上文中的加工产品的例子中我们想把产品作为返回值该怎么办呢?我们可以这样写:
- j: B j" N5 [, D* A1 q& b3 F% Z0 N1 l
$ j' g2 ?6 x7 U0 J
template <typename Creator> - auto processProduct(const Creator& creator) -> decltype(creator.makeObject()) {
& }1 O) C3 E( a auto val = creator.makeObject(); - // do somthing with val
- }2 B% _9 a8 Y+ G: F& L
nullptr
2 I% K' A" [9 X& |nullptr是为了解决原来C++中NULL的二义性问题而引进的一种新的类型,因为NULL实际上代表的是0,
% E9 N+ l( O/ \) z( A: k4 a
- L$ Y- {7 M' T7 T L& F
" m1 s) z m ?2 M, dvoid F(int a){ - cout<<a<<endl; 8 e v8 {: u* w M
} - ! D% w6 S0 A/ X, g
void F(int *p){ - assert(p != NULL);
- cout<< p <<endl;
z# @. I4 n; G# J2 Z1 L6 Q( t! x} -
5 d) R; ^6 ^: [% {1 f, h$ y6 Nint main(){ - # c7 X' T- w) L
int *p = nullptr; - int *q = NULL; 7 @& I: X0 t6 y" o/ A: }, U
bool equal = ( p == q ); // equal的值为true,说明p和q都是空指针 - int a = nullptr; // 编译失败,nullptr不能转型为int 8 |$ \4 N* M" |: x, T# G
F(0); // 在C++98中编译失败,有二义性;在C++11中调用F(int) - F(nullptr);
- return 0;
- }
4 F# M" |1 f: e4 b+ k6 K 序列for循环# u# I: M; P; t2 d0 m0 w8 k7 n
在C++中for循环可以使用类似java的简化的for循环,可以用于遍历数组,容器,string以及由begin和end函数定义的序列(即有Iterator),示例代码如下:
( ]/ f+ H* L, c! B, s% S& p4 T: m+ y. W2 E3 s( b& i
3 o% k4 C+ N; b! q2 f1 g% m: Cmap<string, int> m{{"a", 1}, {"b", 2}, {"c", 3}}; - for (auto p : m){
5 Z1 H9 P+ ~) V: o- Q" E cout<<p.first<<" : "<<p.second<<endl; - }
# Q2 G2 F8 }) J& V# j4 p: ]3 S Lambda表达式
, K' n! E1 }% }lambda表达式类似Javascript中的闭包,它可以用于创建并定义匿名的函数对象,以简化编程工作。Lambda的语法如下:
/ m7 w0 l4 I+ N[函数对象参数](操作符重载函数参数)->返回值类型{函数体}
3 l8 Q2 J, J# H W0 Q% o3 F* D, a7 c. V: ?. f$ Z f/ `
3 ]! l/ o# ^; P- n: X
vector<int> iv{5, 4, 3, 2, 1}; - int a = 2, b = 1;
- for_each(iv.begin(), iv.end(), (int &x){cout<<(x + b)<<endl;}); // (1)
/ J# [; s0 X5 ^3 c, c( ~& W/ f7 L7 T; L9 i& j. l: L$ B
- 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)
7 }" ?! _9 T7 G; l5 [ [b]- []内的参数指的是Lambda表达式可以取得的全局变量。(1)函数中的b就是指函数可以得到在Lambda表达式外的全局变量,如果在[]中传入=的话,即是可以取得所有的外部变量,如(2)和(3)Lambda表达式
- ()内的参数是每次调用函数时传入的参数。
- ->后加上的是Lambda表达式返回值的类型,如(3)中返回了一个int类型的变量
0 u; v1 z) ?, ~' |& p # {9 g1 U- G. M& D
变长参数的模板/ O- Q2 U# l v" \7 P' \# C
我们在C++中都用过pair,pair可以使用make_pair构造,构造一个包含两种不同类型的数据的容器。比如,如下代码:" d) A4 @$ ~" \' ~ w5 m
- auto p = make_pair(1, "C++ 11");
0 z+ g0 [$ a5 H1 N 由于在C++11中引入了变长参数模板,所以发明了新的数据类型:tuple,tuple是一个N元组,可以传入1个, 2个甚至多个不同类型的数据! v/ Y+ L8 Y$ B0 ]
# `7 m% S% a3 z+ a3 N9 a
) @& _, ^5 P- b5 W1 C9 r' @4 ?3 A2 Lauto t1 = make_tuple(1, 2.0, "C++ 11"); - auto t2 = make_tuple(1, 2.0, "C++ 11", {1, 0, 2});8 T/ E2 c& E' H4 s2 ?
这样就避免了从前的pair中嵌套pair的丑陋做法,使得代码更加整洁
, F( @; O* \$ Z7 x另一个经常见到的例子是Print函数,在C语言中printf可以传入多个参数,在C++11中,我们可以用变长参数模板实现更简洁的Print
4 K# t" m9 S7 ?$ H: U/ Q
3 f0 T& v. G) ?5 S5 U, O' y% P- L# S2 B# y' u4 M
template<typename head, typename... tail> - void Print(Head head, typename... tail) { 9 q0 X3 k9 q$ W9 G) M
cout<< head <<endl; - Print(tail...);
- }
6 `5 z0 q- d5 N1 J+ T# z9 A Print中可以传入多个不同种类的参数,如下:
9 h0 M) i* m$ a- Print(1, 1.0, "C++11");) i1 }: k% e0 @3 f! \
更加优雅的初始化方法- g6 X( m4 E& D% h( y/ S# e
在引入C++11之前,只有数组能使用初始化列表,其他容器想要使用初始化列表,只能用以下方法:% t9 ]+ X: |( V( A3 ]5 c! A2 u9 d9 o0 ^
& K. x) }$ R+ g+ D$ W; A
1 a/ p# ~6 h' lint arr[3] = {1, 2, 3} - vector<int> v(arr, arr + 3);" b5 B2 W9 n9 B, A2 P& @
在C++11中,我们可以使用以下语法来进行替换:
1 C1 d1 a. t& v# Z& O
0 l# V2 `' C. N5 T+ A: l" V6 z2 f5 F* `) I' j
int arr[3]{1, 2, 3}; - vector<int> iv{1, 2, 3};
9 h5 }+ l1 ~% I: ]5 |- c! Cmap<int, string>{{1, "a"}, {2, "b"}}; - string str{"Hello World"};% [* W& `+ ~( {+ k7 X% ^1 u0 z
[/b] |
|