使用抽象基类型C++进行类型推断

Type inference in C++ with an abstract base type

本文关键字：类型 C++ 抽象 基类      更新时间：2023-10-16

假设我们有从抽象类X派生的类A和B。我有一个变量 c，如果它是 0，则使用 A 的实例，1 使用 B 的实例。是否可以编写一个函数或if语句来检查 c 的值并返回相应类型的实例？

只要指针强制转换为基类指针即可执行此操作。例如，以下工作。

X* create_instance(int type) {
    switch (type) {
    case 0:
        return new A;
    case 1:
        return new B;
    default:
        return nullptr; // Or throw for invalid type, or do nothing becaues type is assumed to be valid
    }
}

简单地用作

int c = ...;
X* p = create_instance(c);

但基本上任何返回指向A或B的指针的表达式都可以工作，其值存储在X*中。这就是为什么DeiDei的评论(c == 0 ? new A : new B;(简洁地做了同样的事情。

也就是说，拥有原始指针是危险的。在大多数情况下，您应该返回一个unique_ptr，除非该对象的生存期在其他地方管理，并且您只需要一个非拥有的指针。

您需要做的是将派生类另存为指向其基类型的指针。通过这种方式，它可以充当它的基类，并且在简单的if else语句中，您可以在问题中实现您想要实现的目标。

这是完整的示例：

#include <iostream>
#include <memory>
class X {
public:
    virtual void foo() = 0;
};
class A: public X {
    public:
    void foo() override { std::cout << "An"; }
};
class B: public X {
    public:
    void foo() override { std::cout << "Bn"; }
};
int main() {
    bool what = true;
    std::unique_ptr<X> a;
    if (what) {
        a = std::make_unique<A>();
    } else {
        a = std::make_unique<B>();
    }
    a->foo();
    return 0;
}

PS：如果没有必要，请不要使用new和原始指针。

相关文章：