VS2015中，{1，2，3}能转换成constexpr std::initializer_list吗？

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(assert_elementof<int>({ 1,2,3 }, 3), "eee");

由于static_assert的第一个参数必须是一个const表达式，对于constexpr bool assert_elementof(std::initializer_list<T> v, int N)，只有当两个参数都是const的时候，他的返回值才是const。所以两个参数{ 1,2,3 }, 3都是常量，所以这一段没有问题。

关于

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

去掉那个注释为什么就不行了，因为N是一个变量，不是一个常量表达式，所以违反static_assert的要求：第一个参数必须是一个const表达式。

c++ primer里面有一段摘录如下：

constexpr int scale(int N) {return N * 2; }

int main()
{
    int arr[scale(2)];
    int i = 2;
    int arr2[scale(i)];//这里应该会报错，虽然G++不报错。
    return 0;
}

不报错的原因参考这里

Answer 2

应该没问题，记得加头文件

#include <initializer_list>