c++ - 定数式に関する混乱

Question

これは、このトピックのある種のフォローアップであり、その一部を扱っています。前のトピックと同様に、コンパイラに と のconstexpr関数があるstd::initializer_listとしstd::arrayます。では、さっそく本題に入りましょう。

これは機能します：

#include <array>
#include <initializer_list>

int main()
{
    constexpr std::array<int, 3> a = {{ 1, 2, 3 }};
    constexpr int a0 = a[0];
    constexpr int a1 = a[1];
    constexpr int a2 = a[2];
    constexpr std::initializer_list<int> b = { a0, a1, a2 };

    return 0;
}

これはしません:

#include <array>
#include <initializer_list>

int main()
{
    constexpr std::array<int, 3> a = {{ 1, 2, 3 }};
    constexpr std::initializer_list<int> b = { a[0], a[1], a[2] };

    return 0;
}

次のエラーでクラッシュします。

error: 'const std::initializer_list<int>{((const int*)(&<anonymous>)), 3u}' is not a constant expression

その間、定数式に関するいくつかの論文を読みましたがconstexpr、この動作はまだ私には意味がありません。最初の例は有効な定数式と見なされ、2 番目の例はそうではないのはなぜですか? 後で安心して休むことができるように、説明を歓迎します。

注:すぐに正確に説明します。Clang はconstexpr、C++14 用に計画されているライブラリの追加を実装していないため、最初のスニペットをコンパイルできません。GCC 4.7 を使用しました。

編集: OK、拒否されたものとそうでないものを示す大きな例を次に示します。

#include <array>
#include <initializer_list>

constexpr int foo = 42;
constexpr int bar() { return foo; }
struct eggs { int a, b; };

int main()
{
    constexpr std::array<int, 3> a = {{ 1, 2, 3 }};
    constexpr int a0 = a[0];
    constexpr int a1 = a[1];
    constexpr int a2 = a[2];

    // From Xeo and Andy tests
    constexpr std::array<int, 1> a = { bar() }; // OK
    constexpr std::array<int, 3> b = {{ a[0], a[1], a[2] }}; // OK
    std::initializer_list<int> b = { a[0], a[1], a[2] }; // OK
    constexpr std::initializer_list<int> b = { a0, a1, a2 }; // OK
    constexpr std::initializer_list<int> b = { foo }; // OK
    constexpr std::initializer_list<int> c = { bar() }; // ERROR
    constexpr std::initializer_list<int> b = { a[0], a[1], a[2] }; // ERROR

    // From Matheus Izvekov and Daniel Krügler
    constexpr eggs good = { 1, 2 }; // OK
    constexpr std::initializer_list<eggs> bad = { { 1, 2 }, { 3, 4 } }; // ERROR
    constexpr std::initializer_list<eggs> bad2 = { good, good }; // ERROR

    return 0;
}