C++17类内constexpr static函数初始化同类成员的问题

你遇到的编译错误核心原因是：在类定义的处理过程中，初始化myArray时，make_init_data()函数的定义尚未被编译器完全处理（类内成员从上到下解析），而常量表达式要求调用的函数必须具备完整定义。以下是几种无需将代码移出类的解决方案：

方案一：使用constexpr Lambda直接初始化 #

利用C++17支持的constexpr lambda作为静态成员的初始化器，所有逻辑封装在类内，同时保留显式指定数组索引的需求：

#include <array>

struct Spec
{
    int val;
    double otherVal;
};

class Test
{
    constexpr static std::array<Spec, 2> myArray = [](){
        std::array<Spec, 2> array{};
        array[0] = {1, 3.56};
        array[1] = {1, 3.56};
        return array;
    }();
};

lambda的定义直接包含在初始化表达式中，属于完整的可求值常量表达式，编译器可以在类定义过程中完成初始化。

方案二：将初始化函数改为inline constexpr并调整定义顺序（C++17+） #

C++17允许inline静态成员函数，你可以将make_init_data的定义放在myArray之前，确保编译器在处理初始化时能看到完整的函数体：

#include <array>

struct Spec
{
    int val;
    double otherVal;
};

class Test
{
    // 先定义inline constexpr函数
    inline constexpr static std::array<Spec, 2> make_init_data()
    {
        std::array<Spec, 2> array{};
        array[0] = {1, 3.56};
        array[1] = {1, 3.56};
        return array;
    }

    // 再初始化静态成员
    constexpr static std::array<Spec, 2> myArray = make_init_data();
};

这里的inline关键字确保函数定义在类内是完整的，能够被常量表达式调用。

非constexpr的编译时初始化方案（补充） #

如果不需要constexpr（仅需编译时初始化），可以使用const static成员，但这种方式需要将初始化代码放到类外，不符合你封装的需求，仅作参考：

#include <array>

struct Spec
{
    int val;
    double otherVal;
};

class Test
{
    const static std::array<Spec, 2> myArray;
};

// 类外初始化
const std::array<Spec, 2> Test::myArray = [](){
    std::array<Spec, 2> array{};
    array[0] = {1, 3.56};
    array[1] = {1, 3.56};
    return array;
}();

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