notes of c++ primer (3) -- const的那些事

const类型限定修饰符，把一个对象转换成一个常量。因为常量在定以后就不能修改，所以必须被初始化。const int bufsize = 512; pointer to constant
试图将一个非const对象的指针指向一个常量对象的动作都会引起编译错误。必须声明一个指向常量的指针来做这件事。
const double *cptr;
cptr是一个指向double类型const对象的指针，但cptr本身不是常量。我们可以重新赋值cptr，使其指向不同的对象，但不能修改cptr指向的对象。
const对象的地址只能赋给指向const对象的指针，但是指向const对象的指针可以赋予一个非const对象的地址。比如：const double *pc = 0;const double minwage = 9.60;double dval = 3.14;//const对象的地址赋值给指向const对象的指针pc = &minwage;//指向const对象的指针，可以赋予一个非const对象的地址pc = &dval;//此时不能通过pc来修改//*pc = 3.50;//但不能限制空间上的实体的可改变性dval = 3.50; 在实际应用中，指向const的指针常被用作函数的形参，用来保证传递给函数的实际参数在函数中不会被修改：
int strcmp(const char *str1, const char *str2);

const指针
const即指针值不能修改的指针。可以定义一个const指针指向一个const对象或者非const对象。
如下所示，pival是一个指向非const对象的const指针，不能赋予pival其它的地址值，但是可以修改其指向的值。int ival = 0;//注意：因为pival是一个常量，所以必须对其进行初始化，注意const的位置。int *const pival = &ival;//最后是指向const对象的const指针：const double pi = 3.14;const double *const piptr = π
const引用
const引用可以用不同类型的对象初始化，也可以是不可寻址的值，比如文字常量；//文字常量,仅对于const引用才是合法的const int &ir = 1024;//用不同类型对象初始化double dval = 3.14;const int &ir = dval; 同样的初始化对于非const引用是不合法的，将导致编译器错误。原因如下：
引用在内部存放的是一个对象的地址，它是该对象的别名。对于不可寻址的值如文字常量，以及不同类型的对象，编译器为了实现引用，必须生成一个临时对象，引用实际上指向改对象，但用户不能访问它。
如下代码：int main(){const int &i = 1;return 0;} 其汇编代码如下：1: int main()2: {00AE1380 push ebp 00AE1381 mov ebp,esp 00AE1383 sub esp,0D8h 00AE1389 push ebx 00AE138A push esi 00AE138B push edi 00AE138C lea edi,[ebp-0D8h] 00AE1392 mov ecx,36h 00AE1397 mov eax,0CCCCCCCCh 00AE139C rep stos dword ptr es:[edi] 3: const int &i = 1;00AE139E mov dword ptr [ebp-14h],1 00AE13A5 lea eax,[ebp-14h] 00AE13A8 mov dword ptr [i],eax 4: return 0;00AE13AB xor eax,eax 5: } 从上可以看出，编译器为文字常量分配了内存，引用指向了该内存。
再比如：double dval = 1024;const int &ri = dval; 编译器将其转换成：int temp = dval;const int &ri = temp; 如果我们给ri赋值，则这样不会改变dval，而是改变temp。对用户来说，就好像修改的动作没有生效。
const引用不会暴露这个问题，因为它们只只读的。不允许非const引用指向需要临时对象的对象或值。一般来说，这比“允许定义这样的引用，但实际上不会生效”的方案要好得多。
同样，也可使用将const引用指向非const对象。int ival = 1024;const int &i = ival; 与pointer to constant类似，此时不能通过i改变ival 的值//这是错误的//i = 1000;但可以通过ival修改ival=1000;