Per quanto posso dire, questo codice non dovrebbe essere compilato, in base a §5.19/3 e § 5.19/2 in C++ 14

Question

ma compila in gcc 4.9.0. Vedere 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'; 
} 

Da §5.19/3 abbiamo:

Un'espressione costante intera è un'espressione integrale o tipo di enumerazione senza ambito, implicitamente convertito in un prvalue, dove convertito espressione è un'espressione costante di base. [Nota: Tali espressioni possono essere utilizzate come limiti di array (8.3.4, 5.3.4), come lunghezza del campo di bit (9.6), come inizializzatori di enumeratori se il tipo sottostante è non riparato (7.2) e come allineamenti (7.6.2). -end note]

L'espressione a.f() è un'espressione di tipo integrale. Mi sembra (anche se ho bisogno di chiarimenti su questo punto) che questa espressione sia anche convertibile in un valore, perché è un valore x. Ma penso che il vero problema qui è che l'espressione a.f() è non un'espressione costante di nucleo, in quanto soddisfa punto elenco (2.1) in § 5.19/2.

§5.19/2:

A condizionale espressione e è un nucleo espressione costante a meno che la valutazione di e, seguendo le regole della macchina astratta (1.9), sarebbe valutare una delle seguenti espressioni:

(2.1) - this (5.1.1), eccetto in una funzione constexpr o un costruttore constexpr che viene valutato come parte di e;

Answer 1

Sei corretto, a.f() non è un'espressione costante. E gli array di lunghezza variabile non sono consentiti dallo standard C++. Il compilatore GNU, tuttavia, li supporta come language extension. È possibile chiedere al compilatore di fornire un avviso quando si utilizzano estensioni non standard con lo -pedantic option o un errore con -pedantic-errors.

Modifica: Apparentemente, GCC 4.9 added il supporto ufficiale per N3639, la proposta di aggiungere matrici di lunghezza variabile allo standard C++ 14. Alla fine, la proposta non è stata inclusa nello standard, ma GCC 4.9 è stato rilasciato prima di C++ 14, in modo che la modifica non fosse riflessa. Quindi, i VLA sono supportati da GCC 4.9 di proposito in modalità C++ 14 e le opzioni di cui sopra non li disabilitano. Si noti che la modalità C++ 14 è ancora sperimentale (anche in GCC 5).

Answer 2

Il codice non standard seguente

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

compila sotto g ++, non perché g++ tratta i erroneamente std::rand() come un'espressione costante, ma perché implementa VLA di default. Utilizzare -pedantic o -Wvla per avvisare su di loro, -Werror=vla per trasformare questi avvisi in errori.