如何在调用位置外展开预处理器指令实现C++模板特化？

问题场景 #

想要实现编译期检查枚举值的唯一性，避免重复定义相同值的枚举实例。最初思路是通过模板函数isValueUsed标记值是否已被使用，在CreateEnum中用static_assert做检查，但无法自动在调用CreateEnum时生成isValueUsed的特化——直接在函数内调用宏会导致模板特化出现在函数体内部，违反C++语法规则。

初始代码 #

template<int Value>
inline constexpr bool isValueUsed(){
    return false;
}

class BaseEnum{
private:
    constexpr BaseEnum(int value): _value(value){
    }
public:
    template<int value>
    constexpr static BaseEnum CreateEnum() {
        static_assert(!isValueUsed<value>(), "The value is already used");
        return BaseEnum(value);
    }

    constexpr BaseEnum& operator=(const BaseEnum& other){
        return *this;
    }

    // public for testing purposes
    int _value;
};

namespace BaseEnumValues {
    constexpr BaseEnum Default = BaseEnum::CreateEnum<0>();
}

#include <iostream>

int main(){
    // Tests Definition
    BaseEnum baseEnum1 = BaseEnumValues::Default;
    BaseEnum baseEnum2 = BaseEnum::CreateEnum<1>();
    // Should fail to compile
    // BaseEnum baseEnum3 = BaseEnum::CreateEnum<1>();

    std::cout << "BaseEnum1: " << baseEnum1._value << std::endl;
    std::cout << "BaseEnum2: " << baseEnum2._value << std::endl;

    return 0;
}

尝试的宏方案（存在问题） #

试图通过宏自动生成isValueUsed的特化，但宏在函数内展开会导致语法错误：

#define DEFINE_ENUM_VALUE(value) \
    template<> \
    inline constexpr bool isValueUsed<value>(){ \
        return true; \
    }

template<int value>
constexpr static BaseEnum CreateEnum() {
    static_assert(!isValueUsed<value>(), "The value is already used");
    DEFINE_ENUM_VALUE(value) // 此处展开会导致特化出现在函数内部，违反语法
    return BaseEnum(value);
}

可行解决方案 #

方案一：用宏统一包装枚举值定义 #

将模板特化与枚举值的创建绑定到同一个宏中，确保每次定义枚举值时自动生成isValueUsed的特化，同时避免语法错误：

template<int Value>
inline constexpr bool isValueUsed(){
    return false;
}

class BaseEnum{
private:
    constexpr BaseEnum(int value): _value(value){
    }
public:
    template<int value>
    constexpr static BaseEnum CreateEnum() {
        static_assert(!isValueUsed<value>(), "该枚举值已被使用");
        return BaseEnum(value);
    }

    constexpr BaseEnum& operator=(const BaseEnum& other){
        return *this;
    }

    // 测试用公开成员
    int _value;
};

// 宏：同时完成isValueUsed特化和枚举实例定义
#define DEFINE_ENUM_VALUE(name, value) \
    template<> \
    inline constexpr bool isValueUsed<value>(){ \
        return true; \
    } \
    namespace BaseEnumValues { \
        constexpr BaseEnum name = BaseEnum::CreateEnum<value>(); \
    }

// 使用宏定义枚举值
DEFINE_ENUM_VALUE(Default, 0)
DEFINE_ENUM_VALUE(Option1, 1)

#include <iostream>

int main(){
    BaseEnum baseEnum1 = BaseEnumValues::Default;
    BaseEnum baseEnum2 = BaseEnumValues::Option1;
    // 以下代码会编译失败，因为值1已被标记为使用
    // BaseEnum baseEnum3 = BaseEnum::CreateEnum<1>();

    std::cout << "BaseEnum1: " << baseEnum1._value << std::endl;
    std::cout << "BaseEnum2: " << baseEnum2._value << std::endl;

    return 0;
}

方案说明 #

• 宏DEFINE_ENUM_VALUE将模板特化和枚举实例的创建封装在一起，确保两者同步执行，避免遗漏特化。
• CreateEnum中的static_assert会在编译期检查isValueUsed的返回值，若值已被使用则直接报错，实现编译期唯一性校验。
• 所有枚举值统一通过宏定义，保证代码风格一致，同时避免手动编写重复的特化代码。

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