Span, constexpr olabilir mi?

Std :: span'ın tüm kurucuları constexpr olarak ilan edilir, ancak hiçbirinin bir bağlam bağlamında çalışmasını sağlayamıyorum. Aşağıdaki bağlamlardan herhangi birinin kaldırılması derleme hatasına neden olacaktır.

#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};
}

Aslında, bir işaretçi veya başvuru başlatmaları gerektiğinde derleyiciler derleme zamanında değerlendirilemez gibi görünüyor, çünkü bir constexpr span türü oluşturmak mümkün mü?

Statik olmayan bir işlev yerel değişkenlerini böyle bir sabit ifadede kullanamazsınız. Adres kararlılığına ihtiyacınız vardır ve bu yalnızca statik nesneler tarafından gerçekleştirilir. Kodu şu şekilde değiştirmek:

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};
}

veya

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};
}

Bir oluşturmanıza izin verir constexpr std::span.