如何正确编写无特定返回类型的纯虚函数？派生类重写报错求解

原方案可行性分析 #

用void*作为基类虚函数返回类型的方式完全不可行。C++的虚函数重写规则要求：返回类型要么与基类虚函数完全一致，要么满足协变条件——协变仅支持基类返回指针/引用时，派生类返回对应派生类的指针/引用，void*和vec2、float等类型根本不满足协变要求，所以编译器必然报错。

正确实现方案 #

以下是几种实用的解决思路：

方案1：统一封装结果结构体

定义一个包含所有可能返回值的结构体，基类虚函数返回该结构体，派生类根据实际计算结果填充对应字段：

// 封装所有可能的相交结果
struct IntersectResult {
    bool is_valid = false; // 标记结果是否有效
    float float_result;
    vec2 vec2_result;
    vec3 vec3_result;
    // 可根据需求扩展更多类型字段
};

struct Shape {
    virtual IntersectResult Intersect(const vec3& ro, const vec3& rd) = 0;
};

struct Sphere : public Shape {
    vec3 ce; // 球心
    float ra; // 半径

    IntersectResult Intersect(const vec3& ro, const vec3& rd) override {
        IntersectResult res;
        // 这里写入你的射线与球相交的计算逻辑
        res.vec2_result = /* 计算得到的vec2结果 */;
        res.is_valid = true;
        return res;
    }
};

优点是实现简单，兼容性好；缺点是结构体存在冗余字段，需要额外标记有效数据类型。

方案2：使用C++17变体类型（推荐）

利用C++17引入的std::variant来存储多种可能的返回类型，基类虚函数直接返回这个变体类型：

#include <variant>

struct Shape {
    virtual std::variant<float, vec2, vec3> Intersect(const vec3& ro, const vec3& rd) = 0;
};

struct Sphere : public Shape {
    vec3 ce;
    float ra;

    std::variant<float, vec2, vec3> Intersect(const vec3& ro, const vec3& rd) override {
        // 计算得到vec2类型的相交结果，直接返回
        return /* 你的vec2计算结果 */;
    }
};

这种方式类型安全，无冗余字段，使用时可以通过std::visit或std::get来处理不同类型的结果，是现代C++中处理多类型返回的优选方案。

方案3：访问者模式

如果不想统一返回类型，可以定义访问者接口，让派生类调用访问者的对应方法传递结果：

// 定义访问者接口，覆盖所有可能的结果类型
struct IntersectVisitor {
    virtual void Process(float result) = 0;
    virtual void Process(vec2 result) = 0;
    virtual void Process(vec3 result) = 0;
};

struct Shape {
    virtual void Intersect(const vec3& ro, const vec3& rd, IntersectVisitor& visitor) = 0;
};

struct Sphere : public Shape {
    vec3 ce;
    float ra;

    void Intersect(const vec3& ro, const vec3& rd, IntersectVisitor& visitor) override {
        vec2 result = /* 计算得到的vec2结果 */;
        visitor.Process(result);
    }
};

这种方式把结果的处理逻辑转移到访问者中，适合结果类型多且处理逻辑复杂的场景。

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