《C++ Primer》第2章 2.4节习题答案

2.4 const限定符

 

 

练习26：下面的哪些句子是合法的？如果有不合法的句子，请说明为什么？
(a) const int buf;                 (b) int cnt = 0;
(c) const int sz = cnt;          (d) ++cnt; ++sz;

【解答】
本题的所有语句应该看作是顺序执行的，即形如：
const int buf;
int cnt = 0;
const int sz = cnt;
++cnt;
++sz;
(a)是非法的，const 对象一旦创建后其值不不能改变，所以const对象必须初始化。
该句应修改为const int buf = 10。
(b)和(c)是合法的。
(d)是非法的，sz是一个const对象，其值不能被改变，当然不能执行自增操作。

 

练习27：下面的哪些初始化是合法的？请说明原因。
(a) int i = -1, &r = 0;             (b) int *const p2 = &i2;
(c) const int i = -1, &r = 0;         (d) const int *const p3 = &i2;
(e) const int *p1 = &i2;             (f) const int &const r2;
(g) const int i2 = i, &r = i;
【解答】
(a)是非法的，非常量引用r不能引用字面值常0。
(b)是合法的，p2是一个常量指针，p2的值永不改变，即p2永远指向变量i2。
(c)是合法的，p3是一个常量，r是一个常量引用，此时r可以绑定到字面值常量0。
(d)是合法的，p3是一个常量指针，p3的值永不改变，即p3永元指向变量i2；同时p3指向的是常量，即我们不能通过p3心变所指对象的值。
(e)是合法的，p1指向一个常量，即我们不能通过p1改变所指对象的值。
(f)是非法的，引用本身不是对象，因此不能让引用恒定不变。
(g)是合法的，i2是一个常量，r是一个常量引用。

练习28：说明下面的这些定义是什么意思，挑出其中不合法的。
(a) int i, *const cp;             (b) int *p1, *const p2;
(c) const int ic, &r = ic;         (d) const int *const p3;
(e) const int *p;             
【解答】
(a)是非法的，cp是一个常量指针，因其值不能被改变，所以必须初始化。
(b)是非法的，cp2是一个常量指针，因其值不能被改变，所以必须初始化。
(c)是非法的，ic是一个常量，因其值不能被改变，所以必须初始化。
(d)是非法的，p3是一个常量指针，因其值不能被改变，所以必须初始化；同时p3指向的是常量，即我们不能通过p3改变所指对象的值。
(e)是合法的，但是p没有指向任何实际的对象。

 

练习29：假设已有上一个练习中定义的那些变量，则下面的哪些语名是合法的？请说明原因。
(a) i = ic;                 (b) p1 = p3;
(c) p1 = ⁣                  (d) p3 = ⁣
(e) p2 = p1;                (f) ic = *p3

【解答】
(a)是合法的，常量ic的值赋给了非常量i。
(b)是非法的，普通指针p1指向了一个常量，从语法上说，p1的值可以随意改变，显然是不合理的。
(c)是非法的，普通指针p1指向了一个常量，错误情况与上一条类似。
(d)是非法的，p3是一个常量指针，不能被赋值。
(e)是非法的，p2是一个常量指针，不能被赋值。
(f)是非法的，ic是一个常量，不能被赋值。

练习30：对于下面的这些语句，请说明对象被声明成了顶层const还是底层const?。
const int v2 = 0;    int v1 = v2；
int *p1 = &v1, &r1 = v1;
const int *p2 = &v2, *const p3 = &i, &r2 = v2;

【解答】
v2和p3是顶层const，分别表示一个整型常量和一个整型常量指针；p2和r2是底层const，分别表示它们所指（所引用）的对象是常量。

练习31：假设已有上一个练习所做的那些声明，则下面的哪些语句是合法的？请说明顶层const和底层const在每个例子有何体现。
r1 = v2;
p1 = p2; p2 = p1；
p1 = p3; p2 = p3;

【解答】
在执行拷贝操作时，顶层const和底层const区别明显。其中，顶层const不受影响，
这是因为拷贝操作并不会改变被拷贝对象的值。底层const的限制则不容忽视，拷入和拷出的对象必须具有相同的底层const资格，
或者两个对象的数据类型必须能够转换。一般来说，非常量可以转换成常量，反之则不行。
r1 = v2;是合法的，r1是一个非常量引用，v2是一个常量（顶层const），把v2的值拷贝给r1不会对v2有任何影响。
p1 = p2;是非法的，p1是普通指针，指向的对象可以是任意值，p2是指向常量的指针（底层const）,令p1指向p2所指的内容，有可能错误地改变常的值。
p2 = p1;是合法的，与上一条语句相反，p2可以指向一个非常量，只不过我们不会通过p2更改它所指的值。
p1 = p3;是非法的，p3包含底层const定义（p3所指的对象是常量），不能把p3的值赋给普通指针。
p2 = p3;是合法的，p2和p3包含相同的底层const, p3的顶层const则可以忽略不计。

练习32：下面的代码是否合法？如果非法，请设法将其修改正确。
int null = 0, *p = null;

【解答】
上述代码是非法的，null是一个int变量，p是一个int指针，二者不能直接绑定。公从语法角度来说，可以将代码修改为：
int null = 0, *p = &null;
显然，这种改法与代码的原意不一定相符。另一种改变是使用nullptr：
int null = 0, *p = nullptr;