MoreEffectiveC++第一讲，指针和引用

• 相同点&＃xff1a;指针和引用都是让你间接引用其它对象。
• 不同点&＃xff1a;
• 1.引用&＃xff1a;声明时必须初始化&＃xff0c;并且以后不能改变&＃xff08;即不能给引用重新赋值&＃xff09;&＃xff0c;但是指定的对象其内容可以改变。
  指针&＃xff1a;声明可以不初始化&＃xff0c;并且可以被重新赋值以指向另一个不同的对象
• 2.从内存分配上看&＃xff0c;程序为指针变量分配内存区域&＃xff0c;而不为引用分配内存区域。
• 3.不存在指向空值的引用这个事实。
• 4.引用比指针更安全。由于不存在空引用&＃xff0c;并且引用一旦被初始化为指向一个对象&＃xff0c;它就不能被改变为另一个对象的引用&＃xff0c;因此引用很安全。对于指针来说&＃xff0c;它可以随时指向别的对象&＃xff0c;并且可以不被初始化&＃xff0c;或为NULL&＃xff0c;所以不安全。
• 5.引用的大小是所指向的变量的大小&＃xff0c;因为引用只是一个别名而已&＃xff1b;指针是指针&＃xff08;地址&＃xff09;本身的大小&＃xff0c;32位系统下&＃xff0c;一般为4个字节。

//指针与引用的另一个重要的不同是指针可以被重新赋值以指向另一个不同的对象。//但是引用则总是指向在初始化时被指定的对象&＃xff0c;以后不能改变。std::string s1("Nancy");std::string s2("Clancy");std::string& rs &＃61; s1; // rs引用s1std::string* ps &＃61; &s1; // ps指向s1rs &＃61; s2; // rs仍旧引用s1,但是s1的值现在是"Clancy"

1.1 常量指针和指针常量

1.1.1 常量指针

解释&＃xff1a;const int *PtrConst 或者是 int const PtrConst &＃xff08;即const 在的左边&＃xff09;
常量指针就是指向常量的指针&＃xff0c;但是这里指的“常量”是在解引用时起到所谓常量的作用&＃xff0c;并非是指向的变量就是常量&＃xff0c;指向的变量既可以是非常量也可以是常量。总体意思是不能修改指向某变量的值。
功能&＃xff1a;让指针指向一个常量&＃xff0c;可以防止使用指针来修改所指向的值。

注意点&＃xff1a;
1.常量指针指向的对象不能通过这个指针来修改&＃xff0c;可是仍然可以通过原来的声明修改&＃xff1b;

int a &＃61; 1;const int *p &＃61; &a;cout << *p << a << std::endl; //此时这两个值应该是相等的 *p&＃61;a&＃61;1a &＃61; 2;//可以&＃xff0c;可以通过原来的声明来修改*p &＃61; 3; //报错&＃xff0c;不可以&＃xff0c;不能通过指针来修改指向的对象cout<< *p << a << std::endl;// *p&＃61;a&＃61;2


因为不能通过这个指针来修改&＃xff0c;所以可以用常量指针当函数的参数使用。
2. 常量指针还可以指向别处&＃xff0c;因为指针本身只是个变量&＃xff0c;只不过指向的对象是所谓的"常量"&＃xff0c;可以指向任意地址&＃xff1b;

int a &＃61; 1;const int *p &＃61; &a; //指针指向acout << "p&＃61; "<< *p <<";" << "a&＃61;" << a << std::endl; // p&＃61;a&＃61;1int b &＃61; 2;p &＃61; &b; //指针指向bcout<<"p&＃61; "<< *p << ";" <<"b&＃61;" << b<< std::endl; //p&＃61;b&＃61;2


3.可以将const 变量的地址赋给指向const 的指针&＃xff08;即常量指针)。但是不可以将const 的地址赋给常规指针&＃xff0c;除非使用强制类型转换&＃xff0c;const_cast

const int a &＃61; 1; //const修饰的变量const int * p &＃61; &a; //可以const int a &＃61; 1; //const修饰的变量int * p &＃61; &a; //常规指针&＃xff0c;不可以const int a &＃61; 1;int *p &＃61; const_cast<int*>(&a) //可以


1.1.2 指针常量

int const *PtrConst;
本质是一个常量&＃xff0c;而用指针修饰它。指针常量的值是指针。
1.必须初始化&＃xff0c;只能指向一个变量&＃xff0c;绝不可再改变指向另一个变量

int *const ConstPtr;//报错&＃xff0c;error C2734: “ConstPtr”: 如果不是外部的&＃xff0c;则必须初始化常量对象int a&＃61;1; int *const ConstPtr&＃61;&a; //可以&＃xff0c;目前是只指向这一个变量int b &＃61; 2; ConstPtr&＃61;&b; //不可以&＃xff0c;不可以在改变指针的指向了&＃xff01;只能指向另一个变量


2.指向的地址所对应的内容可以变化

int a&＃61;1; int *const ConstPtr&＃61;&a; ConstPtr &＃61; 3; //可以


如果出现在星号两边&＃xff0c;表示被指物和指针都是常量。

常量引用”其实是**“对 const 的引用”**的简称。因此不可以通过该引用来修改它所指向的对象的值。

1. 指向常量对象时&＃xff0c;一定要使用“常量引用”&＃xff0c;而不能是一般的引用。

const int ci &＃61; 1024;
const int &r1 &＃61; ci; // 正确&＃xff1a;引用及其对应的对象都是常量
int &r2 &＃61; ci; // 错误&＃xff1a;试图让一个非常量引用指向一个常量对象


2. 指向非常量对象时&＃xff0c;也可以用“常量引用”&＃xff0c;但不允许用该引用修改非常量对象的值。
   “常量引用”仅对引用可参与的操作做出了限定&＃xff0c;对于引用的对象本身是不是一个常量未作限定。
   因为对象也可能是个非常量&＃xff0c;所以允许通过其他途径改变它的值&＃xff1a;

int i &＃61; 42;
int & r1 &＃61; i; // 普通引用指向非常量对象 i
const int & r2 &＃61; i; // 常量引用也绑定非常量对象 i
r1 &＃61; 40; // 正确&＃xff0c;r1并非常量引用 r1 &＃61; i &＃61; 42
r2 &＃61; 0; // 错误&＃xff0c;r2是一个常量引用


3. 引用的类型必须和所引用的类型严格匹配&＃xff0c;且不能与字面值或者某个表达式的计算结果绑定在一起&＃xff0c;
   但是 “常量引用” 是例外&＃xff08;只要被引用的类型能够转换为常量引用的类型&＃xff09;。

int i &＃61; 42;
const int &r1 &＃61; i; // 正确&＃xff1a;指向非常量对象
const int &r2 &＃61; 42; // 正确&＃xff1a;r2 是一个常量引用
const int &r3 &＃61; r1 * 2; // 正确&＃xff1a;r3 是一个常量引用
int &r4 &＃61; r1 * 2; // 错误&＃xff1a;r4 是一个普通的非常量引用


int i &＃61; 40;int &r1 &＃61; i; // 普通引用r1 指向 i const int &r3 &＃61; i * 2; // 常量引用r3 指向 2icout << "r3 &＃61; " << r3 << std::endl; // r3 &＃61; 80r1 &＃61; 30; //普通引用改变了 i 的值&＃xff0c; i &＃61; 30cout << "r3 &＃61; " << r3 << " i &＃61; " << i << std::endl;//测试r3是否改变. 依然没变 r3&＃61;80


在这些情况下&＃xff0c;“常量引用”实际上是绑定了一个临时量&＃xff08;temporary&＃xff09;对象。也就是说&＃xff0c;允许“常量引用”指向一个临时量对象。
4. 在函数参数中&＃xff0c;使用常量引用非常重要。因为函数有可能接受临时对象&＃xff0c;而且同时需要禁止对所引用对象的一切修改。
5. 去掉常量的办法是调用const_cast函数