C++如何在运行时设定类成员的类型，解决拆分类导致的代码重复问题

针对字段类型仅支持uint32_t/uint64_t两类、需消除重复代码的需求，可根据类型确定的时机选择对应实现方案：

方案1：编译期确定类型 - 类模板实现 #

如果X的类型在编译阶段就能确定，优先使用类模板实现，无额外运行时开销，完全复用通用逻辑：

#include <string>
#include <cstdint>
#include <type_traits>

template <typename T>
class Test {
    // 限制模板参数仅支持指定的两类类型，避免误用
    static_assert(std::is_same_v<T, uint32_t> || std::is_same_v<T, uint64_t>,
                  "Field X only supports uint32_t or uint64_t");
public:
    std::string name;
    int age;
    T X;

    // 所有通用方法直接在模板类中实现，两类类型实例共享同一份逻辑
    void common_process() {
        // 与X类型无关的通用业务逻辑
    }
};

// 使用示例
Test<uint32_t> test_32;
Test<uint64_t> test_64;

说明：仅和X类型强相关的特殊逻辑可通过模板特化实现，不会冗余。

方案2：运行时动态确定类型 - 类层级多态实现 #

如果确实需要在程序运行阶段才能确定X的类型，可通过抽象基类+派生类的层级结构实现，外部统一通过基类接口操作：

#include <string>
#include <cstdint>
#include <memory>

// 抽象基类：存放所有类型无关的成员和通用接口
class TestBase {
public:
    std::string name;
    int age;
    virtual ~TestBase() = default;

    // 所有涉及X操作的接口定义为虚函数
    virtual uint64_t get_X() const = 0;
    virtual void process_X() = 0;
};

// uint32_t版本派生类
class Test32 : public TestBase {
    uint32_t X;
public:
    uint64_t get_X() const override { return X; }
    void process_X() override {
        // 对应uint32_t的专属处理逻辑
    }
};

// uint64_t版本派生类
class Test64 : public TestBase {
    uint64_t X;
public:
    uint64_t get_X() const override { return X; }
    void process_X() override {
        // 对应uint64_t的专属处理逻辑
    }
};

// 工厂方法：运行时根据需求创建对应类型的实例
std::unique_ptr<TestBase> create_test(bool use_64bit) {
    return use_64bit ? std::make_unique<Test64>() : std::make_unique<Test32>();
}

说明：通用逻辑全部收敛到基类，仅与X类型相关的逻辑在派生类中实现，最大程度减少重复代码。

方案3：运行时动态确定类型 - std::variant实现（C++17及以上） #

如果不想设计多态类层级，可直接用C++17引入的std::variant存储X字段，无需拆分多类：

#include <string>
#include <cstdint>
#include <variant>

class Test {
public:
    std::string name;
    int age;
    std::variant<uint32_t, uint64_t> X;

    uint64_t get_X() const {
        return std::visit([](auto&& val) -> uint64_t { return val; }, X);
    }
};

说明：无虚函数表开销，代码结构更简洁，适合编译器支持C++17及以上版本的场景。

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