意外非常量std::initializer_list

我玩了一下索引技巧，看看我可以去哪里，遇到了一个奇怪的错误…首先，普通的不太旧的索引:

template<std::size_t...>
struct indices {};
template<std::size_t N, std::size_t... Indices>
struct make_indices:
    make_indices<N-1, N-1, Indices...>
{};
template<std::size_t... Indices>
struct make_indices<0, Indices...>:
    indices<Indices...>
{};

我创建了一个从std::initializer_list派生的编译时数组类，并使其可索引(假设编译器支持N3471)。无论如何，它将在下一个标准中出现)。

template<typename T>
struct array:
    public std::initializer_list<T>
{
    constexpr array(std::initializer_list<T> values):
        std::initializer_list<T>(values)
    {}
    constexpr auto operator[](std::size_t n)
        -> T
    {
        return this->begin()[n];
    }
};

因此，我尝试创建一个函数，该函数在每个成员添加1后返回array的副本:

template<typename T, std::size_t... I>
auto constexpr add_one(const array<T>& a, indices<I...>)
    -> const array<T>
{
    return { (a[I]+1)... };
}

结束代码，下面是我的main:

int main()
{
    constexpr array<int> a = { 1, 2, 3 };
    constexpr auto b = add_one(a, make_indices<a.size()>());
    return 0;
}

我不认为代码会编译，但我很惊讶的错误信息(这里是ideone代码):

In function 'int main()':
error: 'const smath::array<int>{std::initializer_list<int>{((const int*)(& const int [3]{2, 3, 4})), 3u}}' is not a constant expression

所以，有人能解释给我到底是什么是不够恒定的编译器在上面的代码?

EDIT:这个问题的后续问题

• 是否合法声明constexpr std::initializer_list对象?
关于常量表达式的困惑