多态类

Question

在C ++程序中，有一个具有虚拟函数的基类和两个带有该虚拟函数的派生类的派生类，哪个类是多态类别？ 派生的类或基础和派生类？

#include <iostream>
using namespace std;

class Polygon {
  protected:
    int width, height;
  public:
    void set_values (int a, int b)
      { width=a; height=b; }
    virtual int area ()
      { return 0; }
};

class Rectangle: public Polygon {
  public:
    int area ()
      { return width * height; }
};

class Triangle: public Polygon {
  public:
    int area ()
      { return (width * height / 2); }
};

int main () {
  Rectangle rect;
  Triangle trgl;
  Polygon poly;
  Polygon * ppoly1 = &rect;
  Polygon * ppoly2 = &trgl;
  Polygon * ppoly3 = &poly;
  ppoly1->set_values (4,5);
  ppoly2->set_values (4,5);
  ppoly3->set_values (4,5);
  cout << ppoly1->area() << '\n';
  cout << ppoly2->area() << '\n';
  cout << ppoly3->area() << '\n';
  return 0;
}

Answer 1

一般计算机科学中的多态性含义：

来自：

多态性是为不同类型的实体提供单个接口[1]或使用单个符号代表多种不同类型的实体。

因此，多态性是一个涉及几个实体的概念。我要说的是，您的示例整体使用了此概念，因为 polygon 充当 Rectangle 和 triangle 的接口。这是上述定义的第一部分。当您使用界面时，您将执行上述定义第二部分中提到的事情。

您可以制作 polygon :: aind（）纯虚拟（通过添加 = 0 并省略实现），以强调 polygon polygon 只是接口。

您也可以将方法从 polygon 中提取到仅具有纯虚拟方法的另一个基类中。这将是定义接口的“经典”方式。

严格的C ++中的多态性含义：

根据标准（请参阅：多态对象）：

宣布或继承至少一个虚拟函数的类类型的对象是多态对象。

因此，在您的示例中，所有三个类（ polygon ，矩形， triangle ）都是多态。 Polygon 声明一种虚拟方法，而其他方法则继承它。

您还可以使用类型特征检查课程是否是多态的：请参见 ：is_polymorphic 。

下面的代码使用 std :: is_polymorphic 在您的情况下：

#include <iostream>

class A {};

class Polygon {
protected:
    int width, height;
public:
    void set_values(int a, int b) { width = a; height = b;  }
    virtual int area() { return 0; }
};

class Rectangle : public Polygon {
public:
    virtual int area() override { return width * height; }
};

class Triangle : public Polygon {
public:
    virtual int area() override { return (width * height / 2); }
};

int main() {
    std::cout << "A: " << std::is_polymorphic<A>::value << std::endl;
    std::cout << "Polygon: " << std::is_polymorphic<Polygon>::value << std::endl;
    std::cout << "Rectangle: " << std::is_polymorphic<Rectangle>::value << std::endl;
    std::cout << "Triangle: " << std::is_polymorphic<Triangle>::value << std::endl;
    return 0;
}

输出：

A: 0
Polygon: 1
Rectangle: 1
Triangle: 1

最后注：

1. 尽管不是必须的，但要推荐使用 Override 标记您的覆盖方法。这迫使编译器确保此方法实际上覆盖了虚拟基类方法。我还添加了 virtual （在覆盖方法中也不是必须的），对我来说似乎更可读。

2. 最好避免使用命名空间std - 参见“为什么使用命名空间std”；被认为是不良练习吗？。