如何用C++20编译时多态实现动态多态的等效效果？

针对光线追踪这类需要高性能、同时要处理多种共享接口类型的场景，C++20可以通过std::variant结合concept、std::visit实现编译时多态，完全替代动态虚函数方案，避免动态分派的性能开销，同时还能强制类型实现指定接口。

核心实现方案 #

1. 定义接口约束（强制实现通用行为） #

用C++20的concept特性，定义所有材质类型必须遵守的接口规范，确保每个子类型都实现getColor方法：

#include <variant>
#include <iostream>
#include <concepts>

// 基础Color类型定义
struct Color {
    float r, g, b;
    friend std::ostream& operator<<(std::ostream& os, const Color& c) {
        return os << "(" << c.r << ", " << c.g << ", " << c.b << ")";
    }
};

// 定义concept，强制类型必须实现const版本的getColor并返回Color
template<typename T>
concept MaterialConcept = requires(const T& mat) {
    { mat.getColor() } -> std::same_as<Color>;
};

2. 实现具体子类型 #

编写符合concept约束的材质类型，无需继承任何基类：

// 漫反射材质
struct DiffuseMaterial {
    float albedo;
    Color getColor() const {
        return {albedo, albedo, albedo};
    }
};

// 反射材质
struct ReflectiveMaterial {
    float reflectivity;
    Color getColor() const {
        return {reflectivity, 0.0f, reflectivity};
    }
};

3. 定义变体类型（统一表示多种类型） #

用std::variant创建一个可容纳所有合法材质类型的统一类型，等价于Rust中的enum：

// Material类型可以表示DiffuseMaterial或ReflectiveMaterial中的任意一种
using Material = std::variant<DiffuseMaterial, ReflectiveMaterial>;

4. 编译时分发调用通用接口 #

通过std::visit实现编译时的函数分发，编译器会为每个变体类型生成对应的调用代码，完全没有动态查找开销：

// 通用的颜色获取函数，对任意Material类型生效
Color get_material_color(const Material& mat) {
    return std::visit([](const auto& concrete_mat) -> Color {
        // 由concept保证concrete_mat必然有合法的getColor方法
        return concrete_mat.getColor();
    }, mat);
}

使用示例 #

int main() {
    Material mat_diffuse = DiffuseMaterial{0.6f};
    Material mat_reflective = ReflectiveMaterial{0.9f};

    std::cout << "漫反射材质颜色: " << get_material_color(mat_diffuse) << "\n";
    std::cout << "反射材质颜色: " << get_material_color(mat_reflective) << "\n";

    return 0;
}

方案优势 #

• 编译时解析：std::visit的分发逻辑在编译阶段完成，完全避免动态虚函数表的查找和间接调用开销
• 类型安全：编译器会检查std::variant的所有可能类型是否都被处理，同时concept确保子类型符合接口要求，编译阶段就能发现错误
• 无额外内存开销：不需要基类的虚表指针，std::variant的内存占用仅等于最大子类型的大小加上少量类型标记空间
• 灵活扩展：新增材质类型时，只需添加到std::variant的模板参数中，同时确保类型符合concept约束即可

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