c++ - VS2015中，{1，2，3}能转换成constexpr std::initializer_list<int>吗？

Question

我看到vs2015中的std::initializer_list已经声明成constexpr了。
那么

template<class T>
constexpr bool assert_elementof(std::initializer_list<T> v, int N)
{
    //static_assert(N == v.size(),"xxx");
    return N == v.size();
}

int main()
{
    constexpr int v[] = { 1,2,3 };
    static_assert(assert_elementof<int>(std::initializer_list<int>(v, v + sizeof(v) / sizeof(v[0])), 3), "eee");
    //static_assert(assert_elementof<int>({ 1,2,3 }, 3), "eee");
    return 0;
}

我的是问题，为什么上面两处注释掉的代码不能在VS2015下编译通过？是我的代码有问题呢，还是VS2015的问题。

Answer 1

概要

リーリー

static_assert の最初のパラメータは const 式でなければならないため、constexpr boolassert_elementof(std::initializer_list<T> v, int N) の場合、戻り値は両方のパラメータが const の場合のみです。したがって、2 つのパラメータ {1,2,3}、3 は定数であるため、この段落では問題ありません。

概要

リーリー

そのコメントを削除すると機能しないのはなぜですか? N は定数式ではなく変数であるため、static_assert の要件に違反します。つまり、最初のパラメーターは const 式でなければなりません。

C++ 入門書からの抜粋は次のとおりです。

リーリー

エラーが報告されない理由はこちらを参照

Answer 2

問題ありません。ヘッダー ファイルを忘れずに追加してください

リーリー