Bu snippet'ler neden GCC'ye göre farklı şekilde işleniyor?

Question

birinci pasajı herhangi bir uyarı olmaksızın (live example) derler:

constexpr operator int() { return i; } 

GCC b bir VLA olduğunu uyarır:

#include <iostream> 

struct A { 
    constexpr A(): i(5){} 
    constexpr operator int() { return 5; } 
    int i; 
}; 

int main() { 
    A a; 
    int b[a]{ 0, 1, 2, 3, 4 }; 
    std::cout << b[4] << '\n'; 
} 

, dönüşüm operatörü (live example) içerisinde i döndürerek yukarıdaki parçacık değiştirebilir .

Bana göre

, her iki varyant C++ 14'de paragrafta §5.19 [expr.const]/3'e uygun görünmektedir.

Answer 1

Sen i bir ltr dönüşüm yapıyoruz, ama için [expr.const]/(2.7), burada (2.7.3) ihlal edilmesi değil uygulanabilir olması gerekir:

^{a s beyanı b önce gelir 'beri uygulanamaz - (2.7.1) endişeler tam nesneler, (2.7.2) dize hazır bahsediyor ve (2.7.4) hayat boyu ifadesinin değerlendirilmesi içinde başlayan nesneler ile ilgili.}

a'u constexpr olarak tanımlayın ve kod uyumludur. parantez içindeki ifade dönüştürülür

bir olarak [expr.const]/4 tanımlanan tipte std::size_t dönüştürülmüş bir sabit ifadesi ([dcl.array]/1) olması gerekir:

---

Küçük bir ek Ne standart der netleştirmek için tipT sabit ekspresyon örtülü olarak dönüştürülür sentezleme sabit bir ifadesidir T, tip dönüştürülmüş bir ekspresyon, ve [... karşılanmaktadır şartları ...]

Böylece gerçekten, standart geçerli olacaktır

constexpr std::size_t s = a; 

olsun veya olmasın ilgileniyor. Önceden belirtilen nedenlerden dolayı, daha önce tanımlanmış, constexpr nesnesinin bir alt nesnesini kullanmaya çalışmaktadır.

Answer 2

Diziler boyutu derleme zamanı sabitleri olmalıdır, ancak ikinci örnekte A::i başlatması çalışma zamanı'a kadar gerçekleşmez.