0

使用以 std::initializer_list 作为参数的函数，如下所示

int sumOf(std::initializer_list<int> numbers) {
    int sum = 0;  
    for (auto x : numbers) {
        sum += x;
    }
    return sum;
}

此代码有效

auto sum = sumOf({ 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10 });

但不是这个 

 int i[]  = { 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10 };
 auto x = sumOf(i);

为什么第二种形式不起作用？还是我做错了什么？

编辑：
从 std::initializer_list 的 gcc 4.7.2 实现中，intializer_list 的构造函数是私有的，编译器需要传递数组的大小。

  // The compiler can call a private constructor.
  constexpr initializer_list(const_iterator __a, size_type __l)
  : _M_array(__a), _M_len(__l) { }

我猜编译器在某些情况下无法从变量“i”判断数组的大小。如果是这样，编译器 (?) 不支持将静态数组传递给 intializer_list。

4

2 回答 2

2

i不是一个initializer_list。initializer_list不是“静态数组”的简写。这是一个特殊的对象，只能通过使用花括号初始化列表（即：{...}语法）来创建（在复制构造之外）。

当您这样做时，您正在对数组int i[] = {...};执行聚合初始化。是s 的数组，而不是.iintinitializer_list

你想要的是一个模板函数，它可以接受任何你可以使用的基于范围的东西：

template<typename Rng>
int sumOf(const Rng &numberRange) {
    int sum = 0;  
    for (auto x : numberRange) {
        sum += x;
    }
    return sum;
}
于 2012-12-06T08:21:21.580 回答
1

您可以执行索引元组技巧，就像许多人之前使用的那样

template<int N, int ...X>
struct I : struct I<N-1, N, X...> {};

template<int X...>
struct I<0, X...> {
  typedef I type;
};

template<typename F, typename T, int N, int ...X>
decltype(f(std::declval<std::initializer_list<T>>()))
make_list(T const (&a)[N], F f, I<X...>) 
{
   return f(std::initializer_list<T>{a[X]...});
}

template<typename F, typename T, int N>
decltype(f(std::declval<std::initializer_list<T>>()))
make_list(T const(&a)[N], F f) {
   return make_list(a, f, typename I<N-1>::type());
}

使用简单

make_list(i, &sumOf);

或使用 lambda

make_list(i, [](std::initializer_list<int> x) {
  return sumOf(x);
});
于 2012-12-06T15:41:07.460 回答