O ile wiem, ten kod nie powinien się kompilować, zgodnie z §5.19/3 i §5.19/2 w C++ 14

Question

Ale kompiluje się w gcc 4.9.0. Zobacz live example:

#include <iostream> 
struct A { 
    constexpr A(): i(5) {} 
    int&& f() { return std::move(i); } 
    int i; 
} a; 

A&& f(A& a) { return std::move(a); } 

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

Od §5.19/3 mamy:

Integralną stała ekspresja jest wyrazem integralną lub unscoped typu wyliczenia, niejawnie konwertowane na prvalue, gdzie przekonwertowany wyrażenie jest stałym wyrażeniem stałym. [Uwaga: Takie wyrażenia mogą być używane jako ograniczenia tablicowe (8.3.4, 5.3.4), jako pola bitowe długości (9.6), jako inicjatory modułów wykonawczych, jeśli typ bazowy to , nie ustalony (7.2), oraz jako wyrównania (7.6.2). -end note]

Wyrażenie a.f() jest wyrażeniem typu całkowego. Wydaje mi się (choć potrzebuję wyjaśnienia na ten temat), że wyrażenie to można również przekształcić na wartość, ponieważ jest to wartość x. Ale myślę, że prawdziwym problemem jest to, że wyrażenie a.f() jest rdzennym wyrażeniem stałym, ponieważ spełnia punktor punktowy (2.1) w §5.19/2.

§5.19/2:

Warunkowe ekspresja e jest rdzeń stałym wyrażeniem ile oceny e, kierując się zasadami abstrakcyjnej maszynie (1.9), by ocenić jedną z następujących wyrażenia:

(2,1) - this (5.1.1), z wyjątkiem funkcji constexpr lub konstruktora constexpr, który jest przetwarzany w ramach e;

Answer 1

Masz rację, a.f() nie jest wyrażeniem stałym. A tablice o zmiennej długości nie są dozwolone przez standard C++. Jednak kompilator GNU obsługuje je jako language extension. Możesz poprosić kompilator o ostrzeżenie, gdy używasz niestandardowych rozszerzeń z -pedantic option lub błędu z -pedantic-errors.

Edycja: Podobno GCC 4.9 added oficjalne wsparcie dla N3639, propozycja dodania tablic o zmiennej długości do standardu C++ 14. Ostatecznie propozycja nie została uwzględniona w standardzie, ale GCC 4.9 została wydana przed C++ 14, więc zmiana nie została odzwierciedlona. Tak więc, VLA są obsługiwane przez GCC 4.9 celowo w trybie C++ 14, a powyższe opcje nie wyłączają ich. Zauważ, że tryb C++ 14 jest wciąż eksperymentalny (nawet w GCC 5).

Answer 2

Poniższa, standardowy kod

int x = std::rand(); 
int r[x] = { 1,2,3 }; 

zestawia trybie g ++ nie ponieważ g++ błędnie traktuje std::rand() postaci stałej ekspresji, ale ponieważ realizuje vlas domyślnie. Użyj -pedantic lub -Wvla, aby ostrzec o nich, -Werror=vla, aby zamienić te ostrzeżenia w błędy.