C++中如何编译时定义多派生类，避免重复代码？

当然有办法！C++不仅有比X-Macros更类型安全、更优雅的方案，甚至还完全兼容你熟悉的X-Macros用法。下面针对你的需求，整理几个最实用的方案：

1. 类模板：最基础的通用重复代码消除方案 #

如果你的派生类对不同类型的逻辑是一致的，那直接用类模板就能彻底告别重复代码。把原来硬编码的类型换成模板参数，一次编写所有类型通用的逻辑：

template <typename T>
class MyDerived : public BaseClass {
public:
    void processValue(T input) {
        // 这里写所有类型通用的处理逻辑，比如数据校验、调用基类方法等
    }

    T getStoredValue() const {
        return stored_value;
    }

private:
    T stored_value;
};

需要用的时候直接实例化就行，新增类型完全不用写新类：

MyDerived<uint32_t> handler32;
MyDerived<uint64_t> handler64;
MyDerived<MyCustomClass> handlerCustom;

模板自带编译器的类型检查，比宏更安全，还能享受C++的类型推导特性。

2. 模板特化：处理特殊类型的例外逻辑 #

如果大部分类型通用，但少数类型需要特殊处理，不用重写整个类，用模板特化就能搞定。比如uint32_t需要专属的处理逻辑：

// 通用模板（大部分类型用这个）
template <typename T>
class MyDerived : public BaseClass {
    // ...通用实现...
};

// 针对uint32_t的全特化
template <>
class MyDerived<uint32_t> : public BaseClass {
public:
    void processValue(uint32_t input) {
        // 这里写uint32_t专属的逻辑，比如特殊的边界检查
    }
};

这样既保留了通用类型的自动支持，又能灵活处理特殊情况，比X-Macros的分支判断清晰太多。

3. 可变模板+元编程：类型安全的编译期批量生成 #

如果你需要像X-Macros那样一次性批量生成多个类型的实例或特化，C++11及以后的可变模板和元编程可以实现类型安全的编译期生成。比如先定义你的支持类型列表：

#include <tuple>

// 把所有需要支持的类型放在这里，新增类型只需要加一行
using SupportedTypes = std::tuple<uint32_t, uint64_t, MyCustomClass>;

然后用递归展开的方式处理每个类型（比如批量生成实例）：

template <typename... Ts>
struct TypeRegistry;

// 递归终止条件
template <>
struct TypeRegistry<> {};

// 递归展开每个类型，生成对应实例
template <typename T, typename... Rest>
struct TypeRegistry<T, Rest...> : TypeRegistry<Rest...> {
    static MyDerived<T> instance;
};

// 初始化每个类型的静态实例
template <typename T, typename... Rest>
MyDerived<T> TypeRegistry<T, Rest...>::instance;

当你新增类型时，只需要把它加到SupportedTypes的tuple里，编译器会自动为每个类型生成对应的实例和逻辑，完全不用手动重复编写。

4. 保留X-Macros：兼容你的C语言习惯 #

如果你已经习惯了X-Macros的写法，C++完全支持！你可以像在C里一样定义类型列表宏，然后展开生成代码：

// 定义支持的类型列表，新增类型加一行X(...)即可
#define SUPPORTED_TYPES \
    X(uint32_t)          \
    X(uint64_t)          \
    X(MyCustomClass)

// 展开生成每个类型的派生类（如果确实需要单独的类，更推荐用模板）
#define X(T) class MyDerived##T : public BaseClass { /* ...逻辑... */ };
SUPPORTED_TYPES
#undef X

// 或者展开生成模板实例
#define X(T) extern MyDerived<T> handler##T;
SUPPORTED_TYPES
#undef X

这个方案的好处是不用改变你的习惯，但缺点是宏展开的代码可读性差，也没有模板的类型安全检查，所以仅作为过渡方案推荐。

总结一下：优先用类模板处理通用逻辑，模板特化处理特殊情况，可变模板+元编程实现批量生成；如果实在习惯C的写法，也可以保留X-Macros。这些方案都能让你新增类型时几乎不用写重复代码，而且更符合C++的类型安全特性。

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