Насколько я могу судить, этот код не должен компилироваться, согласно §5.19/3 и §5.19/2 в C++ 14

Question

Но он компилируется в gcc 4.9.0. См 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'; 
} 

От §5.19/3 имеет:

Неотъемлемой константой является выражение интеграла или незаданного перечислимого типа, неявно преобразуется в prvalue, где преобразованные выражение представляет собой основное константное выражение. [Примечание: такие выражения могут использоваться в качестве границ массива (8.3.4, 5.3.4) в качестве битового поля длин (9.6) в качестве инициализаторов перечислителя, если базовый тип не является фиксированным (7.2), а в качестве выравниваний (7.6.2). Примечание]

Выражение a.f() является выражением целочисленного типа. Мне кажется (хотя мне нужно разъяснение по этому вопросу), что это выражение также можно преобразовать в prvalue, потому что это значение x. Но я думаю, что настоящая проблема здесь заключается в том, что выражение a.f() равно не выражение константы ядра, так как оно удовлетворяет точке пули (2.1) в п. 5.19/2.

§5.19/2:

Условное выражение e является одним из основных константа если только оценки e, следуя правилам абстрактной машины (1.9), бы оценить одно из следующих действий выражения:

(2.1) - this (5.1.1), за исключением в constexpr функции или конструктора в constexpr, который оценивается как часть e;

Answer 1

Вы правы, a.f() не является постоянным выражением. А массивы переменной длины не допускаются стандартом C++. Однако компилятор GNU поддерживает их как language extension. Вы можете попросить компилятор дать вам предупреждение при использовании нестандартных расширений с -pedantic option или с ошибкой -pedantic-errors.

Редакция: По-видимому, GCC 4.9 added официальная поддержка N3639, предложение добавить массивы переменной длины в стандарт C++ 14. В итоге предложение не было включено в стандарт, но GCC 4.9 был выпущен до C++ 14, так что изменения не были отражены. Таким образом, VLA поддерживаются GCC 4.9 специально в режиме C++ 14, и вышеуказанные параметры не отключают их. Обратите внимание, что режим C++ 14 все еще экспериментальный (даже в GCC 5).

Answer 2

Следующего нестандартный код

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

компилирует под г ++ не потому, что g++ ошибочно воспринимает std::rand() как постоянное выражение, а потому, что она реализует VLAS по умолчанию. Используйте -pedantic или -Wvla, чтобы предупредить о них, -Werror=vla, чтобы превратить эти предупреждения в ошибки.