返回抽象类的子级的纯虚方法？

Question

我正在尝试创建一个抽象类，其子类必须重写的方法之一应该返回子类的实例。

class JsonSerializable {
public:
    virtual <child_of_JsonSerializable> fromJson(string jsonStr) const = 0;
};

class ConcreteSerializable : public JsonSerializable {
public:
    ConcreteSerializable fromJson(string jsonStr) const {
        return ConcreteSerializable();
    }
};

我尝试使用 answer 之后的模板，但收到 templates may not be virtual 的错误。

有没有办法在不使用原始指针作为返回类型的情况下做我正在寻找的事情？

Answer 1

您不能创建抽象类型的对象。而且因为你不能创建这样的对象，你也不能返回它。这就是为什么所有返回基类/派生对象的示例总是返回一个指针或一些对基类的引用的原因

struct B {
    virtual B *fromJson(const std::string &jsonStr) const = 0;
};

struct D : public B {
    D(const std::string &jsonStr);
    D *fromJson(const std::string &jsonStr) const;
};

D *D::fromJson(const std::string &jsonStr) const
{
    return new D(jsonStr);
}

Answer 2

您是否尝试实现以前使用 CRTP 完成的某些事情？

struct Interface {
    virtual Interface *inflate(std::string const &json) = 0;
    virtual ~Interface() {}
};

template<typename Child> struct Base: public Interface {
    Interface *inflate(std::string const &json) { return new Child(json); }
};

struct Child: public Base<Child> {
    Child(std::string const &json);
};