向下铸造和模板解决方案与Python

Question

这是基本的C ++，但我要达到Python实际上看起来更简单的地步。假设：

class Base
{
public: 
    virtual ~Base() = default;
    virtual std::string type() const { return "base"; }; 
};

class Derived1 : public Base
{
public:
    virtual std::string type() const { return "dervied1"; }; 
};

class Derived2 : public Base
{
public:
    virtual std::string type() const { return "dervied2"; }; 
};

我发现自己具有其他类型的功能：

void process(Base& derived_from_base)
{
};

Q1：我如何知道我要采用的是输入，我应该称其为type（）和后来的cast，问题是我认为type（）会始终给出“基础”？

Q2: This is so annoying.后来，我必须将输入放在正确的派生类中。我只是想知道Python是否在后台这样做，我确定所有这些都比Python快吗？

Q3：是真的，我可以使用模板替换虚拟函数/继承和所有铸造吗？ （听到某个地方，不确定）。

非常感谢。

Answer 1

Q1：我怎么知道我正在采用什么？

A1：保留完整的类型，而不是将其删除到基类。例如而不是

void process(Base& base) {
    if (base.type() == "derived1") process_derived1(static_cast<Derived1&>(base));
    else process_anything_else(base);
}

int main() {
    std::unique_ptr<Base> base = std::make_unique<Derived1>();
    process(*base);
}

使用

void process(Derived1& derived1) { process_derived1(derived1); }
void process(auto& t) { process_anything_else(t); }

int main() {
    Derived derived1;
    process(derived1);
}

Q2：我只是想知道Python是否在后台这样做，我确定所有这些都比Python快吗？

A2：Python有类似的东西：

int main() {
    Object derived1; // a hash map
    derived1["__type__"] = "Derived1";
}

使用A1的方法，您的速度比任何事物都要快（假设程序中的其他所有内容都不糟糕），因为静态调度：多亏了模板，超负荷分辨率在编译时间发生，因此无需花费任何费用。

Q3：是真的，我可以使用模板替换虚拟函数/继承和所有铸造吗？ （在某个地方听到此消息）

A3：使用适当的设计，您可以在大多数情况下做到这一点，例如，请参阅A1。但是，有些事情强迫动态链接：OS API，游戏插件等。在这种情况下，考虑将笨拙的边界部分定位，因此大多数代码都可以像往常一样编写。

虚拟函数/继承

注意：没有虚拟函数的继承是完全良好的，并且零值（本身），例如，请参见 crtp 。