嵌入式C++类私有成员函数指针常量数组实现问题求助

你的问题核心是类定义未完成时，无法在类内直接推导std::array的模板参数并初始化包含私有成员函数指针的常量数组。结合嵌入式环境无动态分配、存Flash、自动数组大小的需求，以下是两种简洁的实现方案：

方案一：类内声明+类外定义（C++17及以上，推荐） #

将静态constexpr数组的声明放在类内，定义移到类外。此时类已完全定义，编译器可以正确解析成员函数指针，同时利用C++17的类模板参数推导（CTAD）自动确定数组大小，无需手动指定：

#include <array>

class Example
{
private:
    bool SetOne(const char* strVal);
    bool SetTwo(const char* strVal);
    
    struct Param
    {
        using SetValueFunc = bool (Example::*)(const char* strVal);
        constexpr Param(const char* n, SetValueFunc s) : Name(n), SetValue(s) {}
        const char* Name;
        SetValueFunc SetValue;
    };

    // 类内仅声明静态constexpr数组
    static constexpr std::array cSupportedParameters;
};

// 类外完成定义，此时Example类已完全初始化
constexpr std::array Example::cSupportedParameters =
{
    Example::Param("One", &Example::SetOne),
    Example::Param("Two", &Example::SetTwo)
};

方案优势： #

• 完全符合嵌入式要求：constexpr静态变量会被编译器放入只读内存（Flash），无动态内存分配。
• 自动推导数组大小，无需手动指定。
• 私有成员函数指针可正常访问，因为类外定义属于类的内部上下文。

方案二：C++20 inline constexpr类内定义 #

若你的嵌入式编译器支持C++20，可直接使用inline关键字在类内定义静态constexpr数组，此时编译器会延迟模板参数推导至类定义完成后：

#include <array>

class Example
{
private:
    bool SetOne(const char* strVal);
    bool SetTwo(const char* strVal);
    
    struct Param
    {
        using SetValueFunc = bool (Example::*)(const char* strVal);
        constexpr Param(const char* n, SetValueFunc s) : Name(n), SetValue(s) {}
        const char* Name;
        SetValueFunc SetValue;
    };

    // C++20允许inline constexpr成员直接类内定义
    static inline constexpr std::array cSupportedParameters =
    {
        Param("One", &Example::SetOne),
        Param("Two", &Example::SetTwo)
    };
};

注意事项： #

• 确保编译器开启对应标准的支持（C++17/20），主流嵌入式编译器（如GCC 7+/ARMCC 6+）均已支持。
• 若需要在其他编译单元访问该数组，需确保链接时的常量折叠正常（通常constexpr静态变量默认是内部链接，若需外部链接可添加extern）。

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