第十八章 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类的。