第十八章 18.3.2节练习

练习18.23

使用练习18.22的继承体系以及西面定义的类D，同时假定每个类都定义了默认构造函数，请问下面的哪些类型转换是不被允许的？

class D : public X, public C {...};

D *pd = new D;

(a) X *px = pd;

(b) A *pa = pd;

(c) B *pb = pd;

(d) C *pc = pd;

解答：

这里的直接转换都是可以的。

更加具体的限制应该在对应的接口中，转换的过程中肯定有一些接口是不可见的。

练习18.24

在第714页，我们使用一个指向Panda对象的Bear指针进行了一系列调用，假设我们使用的是一个指向Panda对象的ZooAnimal指针将发生什么情况，请对这些调用语句逐一进行说明。

解答：

ZooAnimal *pz = new Panda(“ying_yang”);

pz->print();  //正确,Ppanda::print()

pz->toes(); //错误：不属于ZooAnimal的接口

pz->cuddle(); //错误：不属于ZooAnimal的接口

pz->highlight(); //错误：不属于ZooAnimal的jiekou

delete pz; //正确，Panda::~Panda()

练习18.25

假设我们有两个基类Base1和Base2，他们各自定义了一个名为print的虚成员和一个虚析构函数。从这两个基类中我们派生出下面的类，他们都重新定义了print函数：

class D1 : public Base1{/*...*/};

class D2 : public Base2 {/*...*/};

class MI : public D1, public D2{/*...*/};

通过下面的指针，指出每个调用中分别使用了哪个函数：

Base1 *pb1 = new MI;

Base2 *pb2 = new MI;

D1 *pd1 = new MI;

D2 *pd2 = new MI;

(a) pb1 -> print();

(b) pd1 -> print();

(c) pd2 -> print();

(d) delete pb2;

(e) delete pd1;

(f) delete pd2;

解答：

#include <iostream>using namespace std;class Base1{public:  Base1() = default;  virtual ~Base1(){    cout << "~Base1" << endl;  }  virtual void print(){    cout << "Base1 print()" << endl;  }};class D1 : public Base1{public:  D1() = default;  void print(){     cout << "D1 print()" << endl;  }};class Base2 {public:  Base2() = default;  virtual ~Base2(){    cout << "~Base2" << endl;  }  virtual void print(){    cout << "Base2 print()" << endl;  }};class D2 : public Base2 {public:  D2() = default;  void print(){    cout << "D2 print()" << endl;  }};class MI : public D1, public D2{public:  MI(){    //cout << "MI" << endl;  }  void print(){    cout << "MI print()" << endl;  }};int main(){  Base1 *pb1 = new MI;  Base2 *pb2 = new MI;  D1 *pd1 = new MI;  D2 *pd2 = new MI;  pb1->print();  pd1->print();  pd2->print();  cout << endl;  delete pb2;  cout << endl;  delete pd1;  cout << endl;  delete pd2;}

以上是测试代码。

下面是测试结果

MI print()MI print()MI print()~Base2~Base1~Base2~Base1~Base2~Base1

可以看出，指针的这些行为都是MI类的。