constexpr问题：为何我的表达式不是常量表达式？

原代码错误原因 #

1. 指针指向临时对象导致常量表达式失效：原代码中Buffer的int* array和A的Buffer* b都指向临时数组/对象，而constexpr上下文不允许存储指向非静态存储期临时对象的指针——这些临时对象的地址仅在运行时确定，无法成为编译期常量。
2. operator[]返回类型不匹配：ConstArray::operator[]声明返回const T&，但代码中返回&arr[e]（指针类型），类型不匹配的同时破坏了constexpr合法性。
3. static_assert表达式非法：由于b是指向临时对象的指针，a_maps[0].b->size无法被评估为编译期常量表达式，不符合static_assert的要求。

修正方案：改用值语义与编译期可见的固定大小 #

核心思路是去掉所有指针，改用值类型存储数据，让所有结构的大小和内容都在编译期可见。

方案一：自定义模板化Buffer #

#include <cstddef>

// 模板化Buffer，用参数固定数组大小，编译期可见size
template<size_t Size>
struct Buffer {
    int arr[Size];
    static constexpr size_t size = Size;
};

template<typename T, size_t Size>
struct ConstArray {
    T arr[Size];

    // 接收数组引用，避免数组退化为指针
    constexpr ConstArray(const T (&t)[Size]) {
        for (size_t e = 0; e < Size; ++e) {
            arr[e] = t[e];
        }
    }

    // 正确返回引用，匹配声明类型
    constexpr const T& operator[](size_t e) const {
        return arr[e];
    }
};

struct A {
    // 持有Buffer实例而非指针，确保数据编译期可访问
    Buffer<3> b;
};

// 直接用编译期常量初始化，无临时对象指针问题
constexpr ConstArray<A, 1> a_maps({
    A{Buffer<3>{0, 1, 2}}
});

int main() {
    // 访问编译期可见的static constexpr size
    static_assert(a_maps[0].b.size == 3, "缓冲区大小错误");
    return 0;
}

方案二：利用std::array简化代码 #

如果不想自定义Buffer模板，可直接用std::array，它天生支持constexpr和编译期size查询：

#include <cstddef>
#include <array>

// 用std::array替代自定义Buffer
template<size_t Size>
using Buffer = std::array<int, Size>;

template<typename T, size_t Size>
struct ConstArray {
    std::array<T, Size> arr;

    // 直接用std::array的拷贝构造
    constexpr ConstArray(const std::array<T, Size>& t) : arr(t) {}

    constexpr const T& operator[](size_t e) const {
        return arr[e];
    }
};

struct A {
    Buffer<3> b;
};

constexpr ConstArray<A, 1> a_maps({
    {A{Buffer<3>{0, 1, 2}}}
});

int main() {
    // 调用std::array的constexpr成员函数size()
    static_assert(a_maps[0].b.size() == 3, "缓冲区大小错误");
    return 0;
}

关键修正点说明 #

• 模板化固定大小：通过模板参数指定缓冲区大小，让size成为编译期可见的常量，避免指针带来的地址不确定性。
• 值语义替代指针：所有结构体持有实例而非指针，确保数据完全包含在编译期可访问的内存中。
• 修正constexpr成员函数：确保ConstArray::operator[]返回正确的引用类型，保证constexpr上下文的合法性。

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