C++中如何用静态多态代替动态多态？

问题描述

假设我有以下代码利用 C++ 中的动态多态性

图形对象.h

class GraphicalObject
{
public:
    virtual void draw() = 0;
};

矩形.h

#include "GraphicalObject.h"

class Rectangle : public GraphicalObject
{
    void draw();
};

矩形.cpp

#include "Rectangle.h"
#include <iostream>

void Rectangle::draw() {
    std::cout << "Drawing rectangle!" << std::endl;
}

圆.h

#include "GraphicalObject.h"

class Circle : public GraphicalObject
{
    void draw();
};

Circle.cpp

#include "Circle.h"
#include <iostream>

void Circle::draw() {
    std::cout << "Drawing circle!" << std::endl;
}

主要

int main(int argc,char** argv) {

    Rectangle rectangle;
    Circle circle;

    GraphicalObject* picture[2];
    
    picture[0] = &rectangle;
    picture[1] = &circle;
    
    for(GraphicalObject* o : picture) {
        o->draw();
    }
    
    return 0;
}

我的问题是是否有可能如何拥有 picture 数组没有动态多态，而不是只使用静态多态和避免虚方法？我想避免使用虚方法的原因是我想避免与访问 vtable 相关的开销。

解决方法

这里的问题是 GraphicalObject* picture[2]; 指向的对象有静态类型 GraphicalObject 而静态多态使用静态类型。

但这并不意味着静态多态不可能是类似的情况。您需要一个包装类，它知道存储对象的实际类型，并在调用方法之前将指针转换为指向它。

c++polymorphism static-polymorphism