如何让抽象类的纯虚方法返回其子类实例？

这个坑我之前踩过！你遇到的“templates may not be virtual”错误是因为C++标准明确禁止虚函数是模板——毕竟虚函数是运行时多态的机制，依赖虚表；而模板是编译时实例化的，两者根本搭不上。不过要实现“子类必须重写的方法返回自身实例”这个需求，**CRTP（奇异递归模板模式）**是最常用的解决方案，我给你一步步拆解：

基础CRTP实现方案 #

首先我们把抽象基类改成模板类，让它接受子类作为模板参数，这样基类就能明确知道子类的类型，从而把虚函数的返回值指定为子类：

#include <string>

// CRTP模板基类，Derived就是子类自身
template<typename Derived>
class JsonSerializable {
public:
    // 纯虚函数，强制子类重写，返回子类实例
    virtual Derived fromJson(const std::string& jsonStr) const = 0;
};

// 子类继承时传入自己作为模板参数
class ConcreteSerializable : public JsonSerializable<ConcreteSerializable> {
public:
    // 重写虚函数，返回ConcreteSerializable实例
    ConcreteSerializable fromJson(const std::string& jsonStr) const override {
        // 这里替换成你的JSON解析逻辑，比如从jsonStr提取数据构造实例
        return ConcreteSerializable();
    }
};

扩展：支持统一接口的场景 #

如果你需要把不同的JsonSerializable子类放在同一个容器（比如std::vector）里，或者用基类指针统一操作，那可以再加一个非模板的抽象基类，让CRTP模板类继承它：

#include <string>
#include <vector>

// 非模板的顶层抽象基类，提供统一接口
class IJsonSerializable {
public:
    virtual ~IJsonSerializable() = default; // 必须加虚析构，避免内存泄漏
    // 可以在这里定义通用的非返回子类的接口，比如序列化到JSON
    virtual std::string toJson() const = 0;
};

// CRTP模板基类，继承自顶层基类
template<typename Derived>
class JsonSerializable : public IJsonSerializable {
public:
    // 纯虚函数，返回子类实例
    virtual Derived fromJson(const std::string& jsonStr) const = 0;
};

// 第一个子类
class User : public JsonSerializable<User> {
public:
    User fromJson(const std::string& jsonStr) const override {
        // 解析用户JSON的逻辑
        return User();
    }

    std::string toJson() const override {
        return R"({"name":"Alice","age":25})";
    }
};

// 第二个子类
class Product : public JsonSerializable<Product> {
public:
    Product fromJson(const std::string& jsonStr) const override {
        // 解析产品JSON的逻辑
        return Product();
    }

    std::string toJson() const override {
        return R"({"id":123,"price":99.9})";
    }
};

// 使用示例：可以用顶层基类指针统一操作
int main() {
    std::vector<IJsonSerializable*> items;
    items.push_back(new User());
    items.push_back(new Product());

    for (auto item : items) {
        std::cout << item->toJson() << std::endl;
    }

    // 记得释放内存，或者用智能指针
    for (auto item : items) {
        delete item;
    }
    return 0;
}

为什么模板虚函数不行？ #

再给你补个知识点：C++不允许虚函数是模板，因为虚函数的调用是运行时通过虚表决定的，而模板函数需要在编译时根据参数类型实例化——编译器无法提前知道所有可能的模板实例，也就没法把它们都放进虚表里，所以直接禁止这种写法，你看到的错误就是编译器在提示这个规则。

内容的提问来源于stack exchange，提问作者devil0150