Bir diziyi constexpr yapıcısında başlatmak meşru mu?

Aşağıdaki kod yasal mı?

template <int N>
class foo {
public:
    constexpr foo()
    {
        for (int i = 0; i < N; ++i) {
            v_[i] = i;
        }
    }

private:
    int v_[N];
};

constexpr foo<5> bar;

Clang kabul eder, ancak GCC ve MSVC bunu reddeder.

GCC'nin hatası:

main.cpp:15:18: error: 'constexpr foo<N>::foo() [with int N = 5]' called in a constant expression
   15 | constexpr foo<5> bar;
      |                  ^~~
main.cpp:4:15: note: 'constexpr foo<N>::foo() [with int N = 5]' is not usable as a 'constexpr' function because:
    4 |     constexpr foo()
      |               ^~~
main.cpp:4:15: error: member 'foo<5>::v_' must be initialized by mem-initializer in 'constexpr' constructor
main.cpp:12:9: note: declared here
   12 |     int v_[N];
      |         ^~

Bu tür bir kod tamam olsaydı, index_sequences birkaç kullanımı kesebilir .

C ++ 20'ye kadar bir constexprbağlamda önemsiz varsayılan başlatma yasaklandı .

Sanırım, varsayılan olarak başlatılan ilkellerden "yanlışlıkla" okunmasının kolay olması, programınıza tanımsız davranışlar veren bir davranış ve tanımlanmamış davranışları olan ifadelerin doğrudan constexpr( ref ) olması yasaktır . Dil artık genişletildi, böylece bir derleyici böyle bir okumanın yapılıp yapılmadığını kontrol etmeli ve eğer değilse, varsayılan başlatma kabul edilmelidir. Derleyici için biraz daha fazla iş, ama (gördüğünüz gibi!) Programcı için önemli faydaları var.

Bu makale tanımsız davranışların çağrılmasına izin vermemeye devam ederken, bağlam bağlamlarında önemsiz varsayılan yapılandırılabilir türler için varsayılan başlatmaya izin verilmesini önermektedir. Kısacası, başlatılmamış değerler okunmadığı sürece, bu tür durumlara hem yığın hem de yığın tahsis senaryolarında bağlamda izin verilmelidir.

C ++ 20'den beri olduğu v_gibi "başlatılmamış" bırakmak yasaldır . Sonra tüm element değerlerini atamaya devam ettiniz, bu harika.