C 程序设计-现代方法chp7-多态.pptxVIP

第七章 多态第七章 多态int main(){ parallelogram p; rectangle r; diamond d; square s; quadrangle* quads[] = { p, r, d, s }; for (auto q : quads) std::cout area of q-whoami() : q-area() std::endl;? return 0;}area of parallelogram: 15area of rectangle: 15area of diamond: 7.5area of square: 25area of parallelogram: -1area of rectangle: -1area of diamond: -1area of square: -1第七章 多态一个parallelogram对象的内部结构quad[0]??quadrangle::namequadrangle::whoami()quadrangle::area()quadrangle子对象??由于类型的限制，因此quad[0]是“看不到”这部分内容的p??parallelogram::widthparallelogram::heightparallelogram::area()??第七章 多态简而言之，多态指的是一个接口（名字），多种实现。具体一点，就是在不同的语境中调用相同的方法（接口），会得到不同的结果。这种机制赋予了程序员控制复杂程序的灵活性。在C++中，多态有静态和动态两种之分，且都是通过函数重载实现的。第七章 多态void f();void f(int x);void f(double x);void f(int x, int y);编译期确定运行时确定的是“动态多态”第七章 多态class quadrangle{ public: virtual double area() const { return -1.0; }};class parallelogram : public quadrangle{public: double area() const { return width * height; }};这个类称为“多态类”在派生类中：原型一致地重载。这是一次覆盖(overriding)无需再次声明为virtual如果原型不一致，虚特性将在这一代中丢失第七章 多态class Y : public X{public: void f() final {} //OK，这是最终版本，派生类不能覆盖 void g() override {} //OK，显式覆盖};class X{public: virtual void f() {} virtual void g() {}};class Z final : public Y //Z是最终派生类，它不能再有子代了{public: void f() override {} //error void g() override {} //OK};class W : public Z {}; //error第七章 多态struct B { B f() {} }; /*这是对基类同名成员的覆盖*/ struct D: public B { D f() {}};返回类型满足以下条件之一：二者都是自己类型的指针，或左值引用，或右值引用。二者是同一种类T；或者D::f返回的类是T的一个无二义的、可访问的祖先类。二者（指针/引用）都含有cv-修饰符，并且D::f返回类型的cv-修饰符等于或少于B::f的。那么即使返回类型有差异，但仍然被认为是一次覆盖。这种覆盖称为是协变(covariant)的。第七章 多态class alignas(8) noVirtual { char a; void f() {} };?class alignas(8) oneVirtual { char a; virtual void f() {} };?class alignas(8) manyVirtual { char a;virtual void f() {}virtual int g() { return 0; } virtual double h(double) { return 1.0; } };size of noVirtual: 8size of oneVirtual: 16size of manyVirtual: 16ref: size of pointer: 8这三个类的内存字大小（字节数）分别是多少呢？这多出的8字节可能是什么呢？第七章 多态quadrangle对象VTABLEquad[0]VPTRareaparallelogram