C++ const限定符和auto类型说明符讲解

only1

const限定符
3 S; t' I  s& I/ h4 T* j8 _( s( f) L- z8 ?% w& L
" M9 c! i! o2 @7 N% L0 t
# 1.限定常量

) `; f' H# ^3 V; z$ ]/ x9 m

有时我们希望定义这样的变量：它的值不能被改变。为了满足这一要求，我们使用const对变量的类型加以限定：

. ?4 r1 M9 Y- |- S+ V; f+ U8 r
const int bufSize = 512;
" k' P% g- K1 Q- h

这样就把bufSize定义成了一个常量，它的值不能再发生变化。所以这也就意味着const对象必须要初始化。那么初始化操作对于const对象来说意味着什么呢？如果利用一个对象去初始化另外一个对象，则它们是不是const都无关紧要：

" t1 c. E6 }' k* B/ b
int i = 42;# Y" K/ _, H- Q& {! \& `$ P0 d; d
const int ci = i;  //正确5 }1 W2 G3 K9 w, C
+ d7 q' `' [3 O6 H5 ~3 P9 Z2 Eint j = ci;  //正确1 m$ o: w/ [( v3 B
* d4 n) m, m9 b- H

这里要注意的是，虽然使用常量ci去初始化j，但是拷贝一个对象的值并不会改变它，一旦完成拷贝，新的对象就和原来的对象没有什么关系了。

# 2.const对象仅在文件内有效8 i# N2 h, K- v
6 s1 L/ B3 J2 N

默认情况下，const对象被限定仅在文件内有效。当多个文件中出现了同名的const变量时，其实等同于在不同文件中分别定义了独立的变量。但是，如果需要将const变量在多个文件中实现共享该怎么办呢？要做到在一个文件中定义const，而在其它多个文件中声明并且使用它，解决的办法就是：对于const变量不管是声明还是定义都添加extern关键字，这样只需要定义一次就够了。

//第一个文件file14 B# O& h8 K! \) o/ r
extern const int bufSize = fcn();
//第二个文件file2# p' ]. `+ t0 p) h$ C. j# p$ |% Z
. A0 b. s2 Y9 h- l3 Kextern const int bufSize;  //与file1里面的是同一个
& ]0 i1 W! N; }const的引用

5 d: K( |# A/ V% J5 h

对常量的引用不能被用作修改它所绑定的对象：

const int ci = 1024;8 O7 ~1 o+ r- p6 [7 l7 w$ L
( R* F2 S) D. H1 t' \, {; [  lconst int &r1 = ci;  //正确，引用及其对应的对象都是常量7 m* H! l, G0 U; g1 D  u8 A0 c
r1 = 42;    //错误，r1是对常量的引用
int &r2 = ci;    //错误，r2是非常量引用，ci是一个常量

我们知道，引用的类型必须与其所引用的对象的类型一致，但是有两个特殊情况：（1）初始化常量引用时允许用任意表达式作为初始值，只要该表达式的结果能转换成引用的类型即可。

+ v+ t' y! f* @( n
double dval = 3.14;4 S. ?- z& M* a, N7 R8 i! T+ P4 ~
0 O0 u, a* {7 `const int &ri = dval;( R" \' c4 B& I4 h8 S
2 j, U9 [6 J5 m4 ?

ri引用了一个int型的数，但是dval确实一个双精度浮点数，编译器会将其变成如下形式：

8 }! X% ^5 s  S, s
const int temp = dval;5 v2 g& o/ M& H  c1 P& ~9 @1 s: t
const int &ri = temp;
( D7 Z# e% t% n( e

（2）对const的引用可能引用一个并非const的对象

- K3 }( _4 A% U
int i = 42;
/ F7 a: R( e# p0 aconst int &ri = i;9 ^6 G0 t7 l3 z/ m2 q
8 ^$ j! F; i3 G0 R. s# ~

这种方式是允许的。

( Z" c+ m9 t9 q( d1 b2 k
1 ]! L/ u+ l4 Q! q% `3 H( D# const与指针* g! q5 _- o+ d' Z% d. Y. ?
9 x% b1 u  T! o" {, v

顶层const

顶层const表示指针本身是一个常量，不能改变它的指向。

% k+ y* U6 p5 U; d, |
int i = 43;& [1 K' f" S  Z; [4 C( G
int * const p1 = &i;
( ^2 ^4 A  |0 G% Y+ B7 R

底层const表示指针所指的对象是一个常量。

int i = 43;
0 M. t7 X3 [% r! f0 ]* lconst int * p1 = &i;6 r- `- [" Z* o1 d* C- q# M
! ^3 q( K, J$ Y9 P8 `int const * p2 = &i;
# 常量表达式与constexpr
2 w8 d0 j; }8 ^

常量表达式指的是值不会改变且在编译过程中就能得到计算结果的表达式：

! Y6 l' q8 u2 X, l$ t( l8 ~
: {4 [4 [1 s: q0 \7 y) r% Bconst int max_file = 20;    //是常量表达式( Z1 h2 y" z5 q" u
const int limit = max_file + 1    //limit是常量表达式
int stuff_size = 10;      //stuff_size不是常量表达式
# Q# ]# g0 y+ \7 rconst int sz = getSize();     //sz不是常量表达式
( N3 B# ~; y/ r! j* M

C++11标准规定，允许将变量声明为constexpr类型以便由编译器来验证变量的值是否是一个常量表达式。声明为constexpr的变量一定是一个常量，而且必须用常量表达式初始化：

$ L8 Z2 w& A$ c
constexpr int mf = 20;  //  正确
: K* {% x3 n6 A# O' l0 econstexpr int limit = mf + 1;    //mf+1是常量表达式
constexpr int sz = size();      //只有当size()是一个constexpr函数时才是一条正确的语句4 B; Q# B: S2 V3 ]2 l8 f$ \; W
, L) s+ A, p! W

需要注意的是，在constexpr声明中如果定义了一个指针，限定符constexpr仅针对指针有效，与所指的对象无关。

# auto类型说明符

& w0 z# K8 E  |$ B  o

C++11引入auto类型说明符，它可以让编译器通过初始值来推断变量的类型。显然，auto定义的变量必须有初始值。但是，auto会忽略掉顶层const，：

- H% k; s2 _1 D. g/ r
const int ci = i, &cr = ci;
auto b = ci;     //b是一个整数* ~! J9 O0 ^1 H! O/ K, W( W" n
auto c = cr;    //c是一个整数
auto d = &i； //d是一个整型指针
auto e = &ci；  //e是一个指向整型常量的指针（这是底层const）

但是，有时会遇到一种情况：我想知道这个表达式结果的类型，但是我又不想真的用这个表达式的结果来初始化变量。这个时候就要用到另外一个类型指示符decltype

5 c& p- X  {6 w% R
decltype(f()) sum = x;    //sum的类型就是f()函数的返回类型, o$ y" `! V+ R  i% j) E7 o0 k

编译器并不会实际调用函数f()，而是使用当调用发生时f的返回值类型作为sum的类型。decltype的一个坑：对于decltype所用的表达式来说，如果decltype给变量加上括号，则返回的是引用类型：

( A8 K+ ~6 f! s' b: e/ m
int i = 42;$ f8 s* k, {; I
. X1 E' @; }. v- p6 @decltype((i)) d;    //错误，d是int&，必须初始化