C++20中constexpr函数调用std::array::data()编译报错的原因与解决

问题重现 #

尝试在编译期生成数组并仅保存其指针以优化性能，但编译报错。简化代码如下：

#include <cstddef>
#include <array>

template<typename T, size_t size>
constexpr auto giveArray()
{
    std::array<T, size> arr;
    for(size_t i = 0; i < size; ++i)
        arr[i] = 0;
    return arr;
}

constexpr auto arr = giveArray<int,10>().data();

使用命令编译：

$ g++ -std=c++20 code.cpp

报错提示.data()不是constexpr函数，但std::array::data()在C++20中确实是constexpr方法。

报错原因 #

虽然std::array::data()是constexpr函数，但核心问题并非方法本身，而是临时对象的生命周期限制：

• giveArray<int,10>()返回的是临时std::array对象，其生命周期仅持续到当前完整表达式结束（即giveArray<int,10>().data()这行代码执行完毕）。
• constexpr指针要求指向的存储必须是程序整个生命周期内都存在的持久化内存，临时对象的内存会在表达式结束后销毁，此时指针会变成悬空指针，C++标准禁止定义这类constexpr指针。
• GCC的报错信息存在误导性，实际是不允许将临时对象的地址作为constexpr变量保存，而非.data()不是constexpr方法。

修复方案 #

要满足编译期执行+仅存储指针的要求，需先让std::array的存储持久化，再获取其指针：

方案1：先定义constexpr array变量，再取data() #

#include <cstddef>
#include <array>

template<typename T, size_t size>
constexpr auto giveArray()
{
    std::array<T, size> arr{}; // 直接用值初始化替代循环赋值，更简洁
    return arr;
}

// 先将array存储为constexpr变量，保证内存持久化
constexpr auto temp_arr = giveArray<int,10>();
// 再取指针，此时指针指向持久化的constexpr存储
constexpr auto arr = temp_arr.data();

方案2：在函数内返回static constexpr array的指针 #

若不想暴露中间的array变量，可在函数内部使用static constexpr array，其存储会在程序整个生命周期内存在：

#include <cstddef>
#include <array>

template<typename T, size_t size>
constexpr const T* giveArrayPtr()
{
    static constexpr std::array<T, size> arr{};
    return arr.data();
}

constexpr auto arr = giveArrayPtr<int,10>();

两种方案都能保证数组在编译期完成初始化，且指针指向的内存持久化，符合需求。

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