第四章 表达式
练习4.1
表达式5 + 10 * 20 / 2的求值结果是多少?
解:
等价于5 + ((10 * 20) / 2) = 105
练习4.2
根据4.12节中的表,在下述表达式的合理位置添加括号,使得添加括号后运算对象的组合顺序与添加括号前一致。
(a) *vec.begin()
(b) *vec.begin() + 1
解:
*(vec.begin())(*(vec.begin())) + 1
练习4.3
C++语言没有明确规定大多数二元运算符的求值顺序,给编译器优化留下了余地。这种策略实际上是在代码生成效率和程序潜在缺陷之间进行了权衡,你认为这可以接受吗?请说出你的理由。
解:
可以接受。C++的设计思想是尽可能地“相信”程序员,将效率最大化。然而这种思想却有着潜在的危害,就是无法控制程序员自身引发的错误。因此 Java 的诞生也是必然,Java的思想就是尽可能地“不相信”程序员。
练习4.4
在下面的表达式中添加括号,说明其求值过程及最终结果。编写程序编译该(不加括号的)表达式并输出结果验证之前的推断。
12 / 3 * 4 + 5 * 15 + 24 % 4 / 2
解:
((12 / 3) * 4) + (5 * 15) + ((24 % 4) / 2) = 16 + 75 + 0 = 91
练习4.5
写出下列表达式的求值结果。
-30 * 3 + 21 / 5 // -90+4 = -86-30 + 3 * 21 / 5 // -30+63/5 = -30+12 = -1830 / 3 * 21 % 5 // 10*21%5 = 210%5 = 0-30 / 3 * 21 % 4 // -10*21%4 = -210%4 = -2
练习4.6
写出一条表达式用于确定一个整数是奇数还是偶数。
解:
if (i % 2 == 0) /* ... */
或者
if (i & 0x1) /* ... */
练习4.7
溢出是何含义?写出三条将导致溢出的表达式。
解:
当计算的结果超出该类型所能表示的范围时就会产生溢出。
short svalue = 32767; ++svalue; // -32768unsigned uivalue = 0; --uivalue; // 4294967295unsigned short usvalue = 65535; ++usvalue; // 0
练习4.8
说明在逻辑与、逻辑或及相等性运算符中运算对象的求值顺序。
解:
- 逻辑与运算符和逻辑或运算符都是先求左侧运算对象的值再求右侧运算对象的值,当且仅当左侧运算对象无法确定表达式的结果时才会计算右侧运算对象的值。这种策略称为 短路求值。
- 相等性运算符未定义求值顺序。
练习4.9
解释在下面的if语句中条件部分的判断过程。
const char *cp = "Hello World";if (cp && *cp)
解:
首先判断cp,cp 不是一个空指针,因此cp为真。然后判断*cp,*cp 的值是字符'H',非0。因此最后的结果为真。
练习4.10
为while循环写一个条件,使其从标准输入中读取整数,遇到42时停止。
解:
int i;while(cin >> i && i != 42)
练习4.11
书写一条表达式用于测试4个值a、b、c、d的关系,确保a大于b、b大于c、c大于d。
解:
a>b && b>c && c>d
练习4.12
假设i、j和k是三个整数,说明表达式i != j < k的含义。
解:
这个表达式等于i != (j < k)。首先得到j < k的结果为true或false,转换为整数值是1或0,然后判断i不等于1或0 ,最终的结果为bool值。
练习4.13
在下述语句中,当赋值完成后 i 和 d 的值分别是多少?
int i; double d;d = i = 3.5; // i = 3, d = 3.0i = d = 3.5; // d = 3.5, i = 3
练习4.14
执行下述 if 语句后将发生什么情况?
if (42 = i) // 编译错误。赋值运算符左侧必须是一个可修改的左值。而字面值是右值。if (i = 42) // true.
练习4.15
下面的赋值是非法的,为什么?应该如何修改?
double dval; int ival; int *pi;dval = ival = pi = 0;
解:
p是指针,不能赋值给int,应该改为:
dval = ival = 0;pi = 0;
练习4.16
尽管下面的语句合法,但它们实际执行的行为可能和预期并不一样,为什么?应该如何修改?
if (p = getPtr() != 0)if (i = 1024)
解:
if ((p=getPtr()) != 0)if (i == 1024)
练习4.17
说明前置递增运算符和后置递增运算符的区别。
解:
前置递增运算符将对象本身作为左值返回,而后置递增运算符将对象原始值的副本作为右值返回。
练习4.18
如果132页那个输出vector对象元素的while循环使用前置递增运算符,将得到什么结果?
解:
将会从第二个元素开始取值,并且最后对v.end()进行取值,结果是未定义的。
练习4.19
假设ptr的类型是指向int的指针、vec的类型是vector、ival的类型是int,说明下面的表达式是何含义?如果有表达式不正确,为什么?应该如何修改?
(a) ptr != 0 && *ptr++(b) ival++ && ival(c) vec[ival++] <= vec[ival]
解:
- (a) 判断
ptr不是一个空指针,并且ptr当前指向的元素的值也为真,然后将ptr指向下一个元素 - (b) 判断
ival的值为真,并且(ival + 1)的值也为真 - (c) 表达式有误。C++并没有规定
<=运算符两边的求值顺序,应该改为vec[ival] <= vec[ival+1]
练习4.20
假设iter的类型是vector::iterator, 说明下面的表达式是否合法。如果合法,表达式的含义是什么?如果不合法,错在何处?
(a) *iter++;(b) (*iter)++;(c) *iter.empty();(d) iter->empty();(e) ++*iter;(f) iter++->empty();
解:
- (a)合法。返回迭代器所指向的元素,然后迭代器递增。
- (b)不合法。因为
vector元素类型是string,没有++操作。 - (c)不合法。这里应该加括号。
- (d)合法。判断迭代器当前的元素是否为空。
- (e)不合法。
string类型没有++操作。 - (f)合法。判断迭代器当前元素是否为空,然后迭代器递增。
练习4.21
编写一段程序,使用条件运算符从vector中找到哪些元素的值是奇数,然后将这些奇数值翻倍。
解:
#include <iostream>#include <vector>using std::cout;using std::endl;using std::vector;int main(){vector<int> ivec{ 1, 2, 3, 4, 5, 6, 7, 8, 9 };for (auto &i : ivec){cout << ((i & 0x1) ? i * 2 : i) << " ";}cout << endl;return 0;}
练习4.22
本节的示例程序将成绩划分为high pass、pass 和 fail 三种,扩展该程序使其进一步将 60 分到 75 分之间的成绩设定为low pass。要求程序包含两个版本:一个版本只使用条件运算符;另一个版本使用1个或多个if语句。哪个版本的程序更容易理解呢?为什么?
解:
#include <iostream>using std::cout; using std::cin; using std::endl;int main(){for (unsigned g; cin >> g;){auto result = g > 90 ? "high pass" : g < 60 ? "fail" : g < 75 ? "low pass" : "pass";cout << result << endl;// -------------------------if (g > 90) cout << "high pass";else if (g < 60) cout << "fail";else if (g < 75) cout << "low pass";else cout << "pass";cout << endl;}return 0;}
第二个版本容易理解。当条件运算符嵌套层数变多之后,代码的可读性急剧下降。而if else的逻辑很清晰。
练习4.23
因为运算符的优先级问题,下面这条表达式无法通过编译。根据4.12节中的表指出它的问题在哪里?应该如何修改?
string s = "word";string pl = s + s[s.size() - 1] == 's' ? "" : "s" ;
解:
加法运算符的优先级高于条件运算符。因此要改为:
string pl = s + (s[s.size() - 1] == 's' ? "" : "s") ;
练习4.24
本节的示例程序将成绩划分为high pass、pass、和fail三种,它的依据是条件运算符满足右结合律。假如条件运算符满足的是左结合律,求值的过程将是怎样的?
解:
如果条件运算符满足的是左结合律。那么
finalgrade = (grade > 90) ? "high pass" : (grade < 60) ? "fail" : "pass";
等同于
finalgrade = ((grade > 90) ? "high pass" : (grade < 60)) ? "fail" : "pass";
假如此时 grade > 90 ,第一个条件表达式的结果是 "high pass" ,而字符串字面值的类型是 const char *,非空所以为真。因此第二个条件表达式的结果是 "fail"。这样就出现了自相矛盾的逻辑。
练习4.25
如果一台机器上int占32位、char占8位,用的是Latin-1字符集,其中字符'q' 的二进制形式是01110001,那么表达式~'q' << 6的值是什么?
解:
首先将char类型提升为int类型,即00000000 00000000 00000000 01110001,然后取反,再左移6位,结果是-7296。
练习4.26
在本节关于测验成绩的例子中,如果使用unsigned int 作为quiz1 的类型会发生什么情况?
解:
在有的机器上,unsigned int 类型可能只有 16 位,因此结果是未定义的。
练习4.27
下列表达式的结果是什么?
unsigned long ul1 = 3, ul2 = 7;(a) ul1 & ul2(b) ul1 | ul2(c) ul1 && ul2(d) ul1 || ul2
解:
- (a) 3
- (b) 7
- (c) true
- (d) ture
练习4.28
编写一段程序,输出每一种内置类型所占空间的大小。
解:
#include <iostream>using namespace std;int main(){cout << "bool:\t\t" << sizeof(bool) << " bytes" << endl << endl;cout << "char:\t\t" << sizeof(char) << " bytes" << endl;cout << "wchar_t:\t" << sizeof(wchar_t) << " bytes" << endl;cout << "char16_t:\t" << sizeof(char16_t) << " bytes" << endl;cout << "char32_t:\t" << sizeof(char32_t) << " bytes" << endl << endl;cout << "short:\t\t" << sizeof(short) << " bytes" << endl;cout << "int:\t\t" << sizeof(int) << " bytes" << endl;cout << "long:\t\t" << sizeof(long) << " bytes" << endl;cout << "long long:\t" << sizeof(long long) << " bytes" << endl << endl;cout << "float:\t\t" << sizeof(float) << " bytes" << endl;cout << "double:\t\t" << sizeof(double) << " bytes" << endl;cout << "long double:\t" << sizeof(long double) << " bytes" << endl << endl;return 0;}
输出:
bool: 1 byteschar: 1 byteswchar_t: 4 byteschar16_t: 2 byteschar32_t: 4 bytesshort: 2 bytesint: 4 byteslong: 8 byteslong long: 8 bytesfloat: 4 bytesdouble: 8 byteslong double: 16 bytes
练习4.29
推断下面代码的输出结果并说明理由。实际运行这段程序,结果和你想象的一样吗?如不一样,为什么?
int x[10]; int *p = x;cout << sizeof(x)/sizeof(*x) << endl;cout << sizeof(p)/sizeof(*p) << endl;
解:
第一个输出结果是 10。第二个结果1,此处用法不合理不是未定义,参考https://www.geeksforgeeks.org/using-sizof-operator-with-array-paratmeters/。
练习4.30
根据4.12节中的表,在下述表达式的适当位置加上括号,使得加上括号之后的表达式的含义与原来的含义相同。
(a) sizeof x + y(b) sizeof p->mem[i](c) sizeof a < b(d) sizeof f()
解:
(a) (sizeof x) + y(b) sizeof(p->mem[i])(c) sizeof(a) < b(d) sizeof(f())
练习4.31
本节的程序使用了前置版本的递增运算符和递减运算符,解释为什么要用前置版本而不用后置版本。要想使用后置版本的递增递减运算符需要做哪些改动?使用后置版本重写本节的程序。
解:
在4.5节(132页)已经说过了,除非必须,否则不用递增递减运算符的后置版本。在这里要使用后者版本的递增递减运算符不需要任何改动。
练习4.32
解释下面这个循环的含义。
constexpr int size = 5;int ia[size] = { 1, 2, 3, 4, 5 };for (int *ptr = ia, ix = 0;ix != size && ptr != ia+size;++ix, ++ptr) { /* ... */ }
解:
这个循环在遍历数组ia,指针ptr和整型ix都是起到一个循环计数的功能。
练习4.33
根据4.12节中的表说明下面这条表达式的含义。
someValue ? ++x, ++y : --x, --y
解:
逗号表达式的优先级是最低的。因此这条表达式也等于:
(someValue ? ++x, ++y : --x), --y
如果someValue的值为真,x 和 y 的值都自增并返回 y 值,然后丢弃y值,y递减并返回y值。如果someValue的值为假,x 递减并返回x 值,然后丢弃x值,y递减并返回y值。
练习4.34
根据本节给出的变量定义,说明在下面的表达式中将发生什么样的类型转换:
(a) if (fval)(b) dval = fval + ival;(c) dval + ival * cval;
需要注意每种运算符遵循的是左结合律还是右结合律。
解:
(a) fval 转换为 bool 类型(b) ival 转换为 float ,相加的结果转换为 double(c) cval 转换为 int,然后相乘的结果转换为 double
练习4.35
假设有如下的定义:
char cval;int ival;unsigned int ui;float fval;double dval;
请回答在下面的表达式中发生了隐式类型转换吗?如果有,指出来。
(a) cval = 'a' + 3;(b) fval = ui - ival * 1.0;(c) dval = ui * fval;(d) cval = ival + fval + dval;
解:
- (a)
'a'转换为int,然后与3相加的结果转换为char - (b)
ival转换为double,ui转换为double,结果转换为float - (c)
ui转换为float,结果转换为double - (d)
ival转换为float,与fval相加后的结果转换为double,最后的结果转换为char
练习4.36
假设 i 是int类型,d 是double类型,书写表达式 i*=d 使其执行整数类型的乘法而非浮点类型的乘法。
解:
i *= static_cast<int>(d);
练习4.37
练习4.37
用命名的强制类型转换改写下列旧式的转换语句。
int i; double d; const string *ps; char *pc; void *pv;(a) pv = (void*)ps;(b) i = int(*pc);(c) pv = &d;(d) pc = (char*)pv;
解:
(a) pv = static_cast<void*>(const_cast<string*>(ps));(b) i = static_cast<int>(*pc);(c) pv = static_cast<void*>(&d);(d) pc = static_cast<char*>(pv);
练习4.38
说明下面这条表达式的含义。
double slope = static_cast<double>(j/i);
解:
将j/i的结果值转换为double,然后赋值给slope。
