Span có thể là constexpr?

Tất cả các hàm tạo của std :: span đều được khai báo constexpr, tuy nhiên tôi dường như không thể khiến bất kỳ cái nào trong số chúng hoạt động trong ngữ cảnh constexpr. Việc bỏ sót bất kỳ constexpr nào dưới đây sẽ dẫn đến lỗi biên dịch.

#include <array>
#include <span>

int main()
{
    constexpr int carray[3] = { 0, 1, 2 };
    constexpr std::array<int, 3> array{ 0, 1, 2 };
    using S = std::span<const int, 3>;

    /*constexpr*/ S span1{ array.data(), 3 };
    /*constexpr*/ S span2{array.begin(), array.end()};
    /*constexpr*/ S span3{carray};
    /*constexpr*/ S span4{array};
}

Trên thực tế có thể tạo ra một kiểu nhịp constexpr không, vì có vẻ như các hàm tạo không bao giờ được đánh giá tại thời điểm biên dịch khi chúng phải khởi tạo một con trỏ hoặc tham chiếu?

Bạn không thể sử dụng các biến cục bộ của hàm không tĩnh trong một biểu thức không đổi như thế. Bạn cần sự ổn định địa chỉ và điều đó chỉ đạt được bởi các đối tượng tĩnh. Sửa đổi mã thành

constexpr std::array<int, 3> array{ 0, 1, 2 };
constexpr int carray[3] = { 0, 1, 2 };

int main()
{
    using S = std::span<const int, 3>;

    constexpr S span1{ array.data(), 3 };
    constexpr S span2{array.begin(), array.end()};
    constexpr S span3{carray};
    constexpr S span4{array};
}

hoặc là

int main()
{
    static constexpr std::array<int, 3> array{ 0, 1, 2 };
    static constexpr int carray[3] = { 0, 1, 2 };
    using S = std::span<const int, 3>;

    constexpr S span1{ array.data(), 3 };
    constexpr S span2{array.begin(), array.end()};
    constexpr S span3{carray};
    constexpr S span4{array};
}

Cho phép bạn tạo một constexpr std::span.