c++ - 据我所知，根据 C++14 中的 §5.19/3 和 §5.19/2，这段代码不应该编译

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 我们有:

An integral constant expression is an expression of integral or unscoped enumeration type, implicitly converted to a prvalue, where the converted expression is a core constant expression. [ Note: Such expressions may be used as array bounds (8.3.4, 5.3.4), as bit-field lengths (9.6), as enumerator initializers if the underlying type is not fixed (7.2), and as alignments (7.6.2). —end note]

表达式a.f()是一个整型表达式。在我看来(虽然我需要对这一点进行一些澄清)这个表达式也可以转换为纯右值，因为它是一个亡值。但我认为这里真正的问题是表达式 a.f() 不是核心常量表达式，因为它满足 §5.19/2 中的要点 (2.1)。

§5.19/2:

A conditional-expression e is a core constant expression unless the evaluation of e, following the rules of the abstract machine (1.9), would evaluate one of the following expressions:

(2.1) — this (5.1.1), except in a constexpr function or a constexpr constructor that is being evaluated as part of 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之前就已经发布了，所以这个变化没有体现出来。因此，GCC 4.9 有意在 C++14 模式下支持 VLA，并且上述选项不会禁用它们。请注意，C++14 模式仍处于试验阶段(即使在 GCC 5 中也是如此)。