第十八章 用于大型程序的工具 exce
练习18.1
在下列
throw
语句中异常对象的类型是什么?
1 | (a) range_error r("error"); |
解:
- (a):
range_error
- (b):
exception
练习18.2
当在指定的位置发生了异常时将出现什么情况?
1 | void exercise(int *b, int *e) |
解:
指针p
指向的内容不会被释放,将造成内存泄漏。
练习18.3
要想让上面的代码在发生异常时能正常工作,有两种解决方案。请描述这两种方法并实现它们。
解:
方法一:不使用指针,使用对象:
1 | struct intArray |
方法二:使用智能指针:
1 | std::shared_ptr<int> p(new int[v.size()], [](int *p) { delete[] p; }); |
练习18.4
查看图18.1所示的继承体系,说明下面的
try
块有何错误并修改它。
1 | try { |
解:
细化的异常类型应该写在前面:
1 | try { |
练习18.5
修改下面的
main
函数,使其能捕获图18.1所示的任何异常类型:
1 | int main(){ |
处理代码应该首先打印异常相关的错误信息,然后调用 abort
终止函数。
解:
略
练习18.6
已知下面的异常类型和
catch
语句,书写一个throw
表达式使其创建的异常对象能被这些catch
语句捕获:
1 | (a) class exceptionType { }; |
解:
1 | (a): throw exceptionType(); |
练习18.7
根据第16章的介绍定义你自己的
Blob
和BlobPtr
,注意将构造函数写成函数try
语句块。
解:
略
练习18.8
回顾你之前编写的各个类,为它们的构造函数和析构函数添加正确的异常说明。如果你认为某个析构函数可能抛出异常,尝试修改代码使得该析构函数不会抛出异常。
解:
略
练习18.9
定义本节描述的书店程序异常类,然后为
Sales_data
类重新编写一个复合赋值运算符并令其抛出一个异常。
练习18.10
编写程序令其对两个
ISBN
编号不相同的对象执行Sales_data
的加法运算。为该程序编写两个不同的版本:一个处理异常,另一个不处理异常。观察并比较这两个程序的行为,用心体会当出现了一个未被捕获的异常时程序会发生什么情况。
解:
略
练习18.11
为什么
what
函数不应该抛出异常?
解:
略
练习18.12
将你为之前各章练习编写的程序放置在各自的命名空间中。也就是说,命名空间chapter15包含
Query
程序的代码,命名空间chapter10包含TextQuery
的代码;使用这种结构重新编译Query
代码实例。
解:
略
练习18.13
什么时候应该使用未命名的命名空间?
解:
需要定义一系列静态的变量的时候。
参考:https://stackoverflow.com/questions/154469/unnamed-anonymous-namespaces-vs-static-functions
练习18.14
假设下面的
operator*
声明的是嵌套的命名空间mathLib::MatrixLib
的一个成员:
1 | namespace mathLib { |
请问你应该如何在全局作用域中声明该运算符?
解:
1 | mathLib::MatrixLib::matrix mathLib::MatrixLib::operator* (const mathLib::MatrixLib::matrix &, const mathLib::MatrixLib::matrix &); |
练习18.15
说明
using
指示与using
声明的区别。
解:
- 一条
using
声明语句一次只引入命名空间的一个成员。 using
指示使得某个特定的命名空间中所有的名字都可见。
有点像python中的import
:
1 | from lib import func |
练习18.16
假定在下面的代码中标记为“位置1”的地方是对命名空间 Exercise 中所有成员的
using
声明,请解释代码的含义。如果这些using
声明出现在“位置2”又会怎样呢?将using
声明变为using
指示,重新回答之前的问题。
1 | namespace Exercise { |
解:
略
练习18.17
实际编写代码检验你对上一题的回答是否正确。
解:
略
练习18.18
已知有下面的
swap
的典型定义,当mem1
是一个string
时程序使用swap
的哪个版本?如果mem1
是int
呢?说明在这两种情况下名字查找的过程。
1 | void swap(T v1, T v2) |
解:
std::swap
是一个模板函数,如果是string
会找到string
版本;反之如果是int
会找到int
版本。
练习18.19
如果对
swap
的调用形如std::swap(v1.mem1, v2.mem1)
将会发生什么情况?
解:
会直接调用std
版的swap
,但对后面的调用无影响。
练习18.20
在下面的代码中,确定哪个函数与
compute
调用匹配。列出所有候选函数和可行函数,对于每个可行函数的实参与形参的匹配过程来说,发生了哪种类型转换?
1 | namespace primerLib { |
解:
略
练习18.21
解释下列声明的含义,在它们当作存在错误吗?如果有,请指出来并说明错误的原因。
1 | (a) class CADVehicle : public CAD, Vehicle { ... }; |
练习18.22
已知存在如下所示的类的继承体系,其中每个类都定义了一个默认构造函数:
1 | class A { ... }; |
对于下面的定义来说,构造函数的执行顺序是怎样的?
1 | MI mi; |
练习18.23
使用练习18.22的继承体系以及下面定义的类
D
,同时假定每个类都定义了默认构造函数,请问下面的哪些类型转换是不被允许的?
1 | class D : public X, public C { ... }; |
练习18.24
在第714页,我们使用一个指向
Panda
对象的Bear
指针进行了一系列调用,假设我们使用的是一个指向Panda
对象的ZooAnimal
指针将会发生什么情况,请对这些调用语句逐一进行说明。
练习18.25
假设我们有两个基类
Base1
和Base2
,它们各自定义了一个名为
1 | class D1 : public Base1 { /* ... */}; |
通过下面的指针,指出在每个调用中分别使用了哪个函数:
1 | Base1 *pb1 = new MI; |
1 | struct Base1 { |
练习18.26
已知如上所示的继承体系,下面对
MI
,令其对
1 | MI mi; |
练习18.27
已知如上所示的继承体系,同时假定为MI添加了一个名为
foo
的函数:
1 | int ival; |
练习18.28
已知存在如下的继承体系,在
VMI
类的内部哪些继承而来的成员无须前缀限定符就能直接访问?哪些必须有限定符才能访问?说明你的原因。
1 | struct Base { |
练习18.29
已知有如下所示的类继承关系:
1 | class Class { ... }; |
练习18.30
在
Base
中定义一个默认构造函数、一个拷贝构造函数和一个接受int
形参的构造函数。在每个派生类中分别定义这三种构造函数,每个构造函数应该使用它的形参初始化其Base
部分。