传递基本数组以使用std :: initializer函数
使用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 :: intializer_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。
i不是一个initializer_list 。 initializer_list不是“静态数组”的缩写。 它是一个特殊的对象，只能通过使用braced-init-list（即： {...}语法）创建（在复制构建之外）。
当你做int i[] = {...}; 您正在数组上执行聚合初始化。 i是一个int数组，而不是一个initializer_list 。
你想要的是一个模板函数，它可以使用任何你可以使用基于范围的任何东西：
template<typename Rng>
int sumOf(const Rng &numberRange) {
int sum = 0;
for (auto x : numberRange) {
sum += x;
}
return sum;
}
您可以执行索引元组技巧，正如许多人以前所使用的
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);
});
上一篇: Passing primitive array to function with std::initializer