如何在C++20/23中实现枚举键对应函数的编译时存在性检查？

问题背景 #

项目中存在大量类，其枚举键（大驼峰CapitalCamelCase）与对应成员方法（小驼峰lowerCamelCase，仅首字母大小写不同）一一对应，用于动态函数调用。类结构示例如下：

template <class ImplType>
class BaseTemplate
{
    // 已有业务逻辑
};

class A : public BaseTemplate<A>
{
public:
    enum class Methods : int
    {
       DoAThing,
       SecondItem,
       ItemNumberThree,
       FinalAction
    };

private: 
    void doAThing();
    void secondItem();
    void itemNumberThree();
    void finalAction();
};

需求是实现编译时检查：确保每个枚举键都存在对应的成员方法，缺失时直接触发编译错误（目前仅实现了运行时断言）。补充约束：

• 类基于CRTP继承自业务基类，希望检查逻辑嵌入基类
• 可使用C20/C23特性
• 实际为Qt项目，枚举是Q_ENUM，方法是private Q_SLOT，优先纯C++实现，也可接受Qt Moc方案

解决方案 #

一、纯C编译时检查方案（C20） #

利用CRTP、requires表达式与宏辅助，自动关联枚举键与方法名并检查：

1. 核心辅助工具

#include <concepts>

// 检查类T是否存在无参数void返回值的成员方法MethodName
#define CHECK_METHOD_EXISTS(T, MethodName) \
    static_assert(requires(T obj) { { obj.MethodName() } -> std::same_as<void>; }, \
                  "Missing method '" #MethodName "' for enum member")

// 自动转换枚举名（大驼峰）为方法名（小驼峰）并生成检查
#define ENUM_METHOD_CHECK(T, EnumMember) \
    CHECK_METHOD_EXISTS(T, BOOST_PP_CAT(BOOST_PP_LOWERCASE(BOOST_PP_STRINGIZE(EnumMember)),))

注：上述宏依赖Boost.Preprocessor库实现字符串大小写转换与宏展开，若不想依赖第三方库，可手动枚举每个检查项，或用C++20constexpr字符串转换函数替代（自行实现编译时首字母转小写即可）。

2. 派生类中集成检查

#include <boost/preprocessor.hpp>

class A : public BaseTemplate<A>
{
public:
    enum class Methods : int
    {
       DoAThing,
       SecondItem,
       ItemNumberThree,
       FinalAction
    };

private: 
    void doAThing();
    void secondItem();
    void itemNumberThree();
    void finalAction();

    // 编译时检查逻辑
    static constexpr bool validate_methods() {
        ENUM_METHOD_CHECK(A, DoAThing);
        ENUM_METHOD_CHECK(A, SecondItem);
        ENUM_METHOD_CHECK(A, ItemNumberThree);
        ENUM_METHOD_CHECK(A, FinalAction);
        return true;
    }
    // 触发编译时检查
    static inline constexpr bool methods_validated = validate_methods();
};

3. 基类嵌入检查（C++23特性）

若希望检查逻辑完全封装在CRTP基类中，可使用C++23原生反射特性（需编译器支持，如GCC 13+）：

#include <meta>
#include <string_view>

template <class ImplType>
class BaseTemplate
{
protected:
    BaseTemplate() {
        consteval {
            // 遍历派生类的Methods枚举所有成员
            for (auto enum_member : std::meta::enumerators_of<typename ImplType::Methods>) {
                std::string_view enum_name = std::meta::name_of(enum_member);
                // 编译时将枚举名首字母转为小写，得到方法名
                std::string_view method_name = lower_first(enum_name);
                // 检查方法是否存在且符合签名
                static_assert(requires(ImplType obj) {
                    { obj.*std::meta::find_member<ImplType>(method_name)() } -> std::same_as<void>;
                }, "Enum member has no corresponding method");
            }
        }
    }

private:
    // 编译时首字母转小写
    consteval std::string_view lower_first(std::string_view s) {
        if (s.empty()) return s;
        char first = (s[0] >= 'A' && s[0] <= 'Z') ? (s[0] - 'A' + 'a') : s[0];
        return std::string_view(&first, 1) + s.substr(1);
    }
};

二、Qt Moc辅助方案 #

利用Qt元对象系统（Q_ENUM与Q_SLOT），结合Qt编译时断言qAssertStatic实现检查：

1. 基类中嵌入检查逻辑

#include <QMetaEnum>
#include <QMetaObject>
#include <QtGlobal>

template <class ImplType>
class BaseTemplate
{
protected:
    BaseTemplate() {
        const QMetaObject& meta_obj = ImplType::staticMetaObject;
        // 获取Methods枚举的元数据
        int enum_idx = meta_obj.indexOfEnumerator("Methods");
        qAssertStatic(enum_idx != -1, "Class must define a 'Methods' Q_ENUM");
        const QMetaEnum meta_enum = meta_obj.enumerator(enum_idx);

        // 遍历每个枚举键，检查对应槽函数是否存在
        for (int i = 0; i < meta_enum.keyCount(); ++i) {
            QString enum_key = meta_enum.key(i);
            // 首字母转小写得到槽函数名
            enum_key[0] = enum_key[0].toLower();
            QString method_signature = enum_key + "()";
            int method_idx = meta_obj.indexOfMethod(qPrintable(method_signature));
            qAssertStatic(method_idx != -1, "Missing slot for enum member");
        }
    }
};

2. 派生类需遵循Qt规则

确保枚举标记Q_ENUM，方法标记private Q_SLOT，让Moc生成元对象数据：

class A : public BaseTemplate<A>
{
    Q_OBJECT
public:
    enum class Methods : int
    {
       DoAThing,
       SecondItem,
       ItemNumberThree,
       FinalAction
    };
    Q_ENUM(Methods)

private slots: 
    void doAThing();
    void secondItem();
    void itemNumberThree();
    void finalAction();
};

注：qAssertStatic是Qt 5.15+引入的编译时断言宏，若使用更低版本Qt，可替换为static_assert结合手动读取元对象静态数据（需注意元对象数据的编译时可用性）。

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