![](/img/trans.png)
[英]std::initializer_list not able to be deduced from <brace-enclosed initializer list>
[英]Can I initialize an array using the std::initializer_list instead of brace-enclosed initializer?
我可以使用std::initializer_list
对象而不是大括号封闭的初始化程序来初始化数组吗?
众所周知,我们可以这样做: http : //en.cppreference.com/w/cpp/language/aggregate_initialization
unsigned char b[5]{"abc"};
// equivalent to unsigned char b[5] = {'a', 'b', 'c', '\0', '\0'};
int ar[] = {1,2,3};
std::array<int, 3> std_ar2{ {1,2,3} }; // std::array is an aggregate
std::array<int, 3> std_ar1 = {1, 2, 3};
但是我不能通过std::initializer_list il;
初始化一个数组std::initializer_list il;
:
#include <iostream>
#include <initializer_list>
#include <array>
int main() {
int arr1[] = { 1, 2, 3 }; // OK
std::array<int, 3> arr2 = { 1, 2, 3 }; // OK
std::initializer_list<int> il = { 1, 2, 3 };
constexpr std::initializer_list<int> il_constexpr = { 1, 2, 3 };
//int arr3[] = il; // error
//int arr4[] = il_constexpr; // error
//std::array<int, 3> arr5 = il; // error
//std::array<int, 3> arr6 = il_constexpr; // error
return 0;
}
但是我怎样才能使用std::initializer_list il;
初始化一个数组?
其他回答正确的人说这是不可能的。 但是有小帮手,你可以非常接近
template<typename T, std::size_T N, std::size_t ...Ns>
std::array<T, N> make_array_impl(
std::initializer_list<T> t,
std::index_sequence<Ns...>)
{
return std::array<T, N>{ *(t.begin() + Ns) ... };
}
template<typename T, std::size_t N>
std::array<T, N> make_array(std::initializer_list<T> t) {
if(N > t.size())
throw std::out_of_range("that's crazy!");
return make_array_impl<T, N>(t, std::make_index_sequence<N>());
}
如果您愿意接受更多变通方法,则可以将其放入一个类中,以在传递带括号的 init 列表的情况下捕获静态已知的长度违规。 但请注意,大多数阅读此代码的人都会成为前台
template<typename T, std::size_t N>
struct ArrayInitializer {
template<typename U> struct id { using type = U; };
std::array<T, N> t;
template<typename U = std::initializer_list<T>>
ArrayInitializer(typename id<U>::type z)
:ArrayInitializer(z, std::make_index_sequence<N>())
{
if(N > z.size())
throw std::out_of_range("that's crazy!");
}
template<typename ...U>
ArrayInitializer(U &&... u)
:t{ std::forward<U>(u)... }
{ }
private:
template<std::size_t ...Ns>
ArrayInitializer(std::initializer_list<T>& t,
std::index_sequence<Ns...>)
:t{ *(t.begin() + Ns) ... }
{ }
};
template<typename T, std::size_t N>
std::array<T, N> f(ArrayInitializer<T, N> ai) {
return std::move(ai.t);
}
int main() {
f<int, 5>({1, 2, 3, 4, 5}); // OK
f<int, 5>({1, 2, 3, 4, 5, 6}); // "too many initializers for array<int, 5>"
std::initializer_list<int> il{1, 2, 3, 4, 5};
f<int, 5>(il); // ok
}
请注意,答案顶部的非静态情况和“head-desk”情况都只检查您是否提供了太少的初始化元素,然后为initializer_list
情况检查错误。 如果为initializer_list
情况提供太多,则只会忽略尾随元素。
据我所知,没有:你不能初始化std::array
用std::initializer_list
。
问题在于std::array
旨在作为经典 C 样式数组的轻量级替代品(包装器)。 如此轻巧,没有构造函数,因此只能使用隐式构造函数。
具有聚合初始化(通过隐式构造函数)的构造是可能的,因为它可以用于 C 样式数组。
但是std::initializer_list
是一个类,比聚合std::initializer_list
更复杂。
例如,您可以使用std::initializer_list
std::vector
,但这仅仅是因为std::vector
有一个显式构造函数,它接收std::initializer_list
。 但是std::vector
是一个更重的类。
我看到的唯一解决方案是 2 步方法:(1) 构造和 (2) std::initializer_list
值的副本。 就像是
std::array<int, 3> arr5;
auto ui = 0U;
auto cit = il.cbegin();
while ( (ui < arr5.size()) && (cit != il.cend()) )
arr5[ui++] = *cit++;
ps:抱歉我的英语不好。
std::array
的问题在于它必须是聚合类型,因此它没有构造函数。
因此,只有聚合初始化或平凡复制是可能的。 std::initializer_list
是std::array
以外的类,因此需要(缺少)隐式转换。
请参阅http://en.cppreference.com/w/cpp/language/aggregate_initialization和http://en.cppreference.com/w/cpp/container/array以供参考。
声明:本站的技术帖子网页,遵循CC BY-SA 4.0协议,如果您需要转载,请注明本站网址或者原文地址。任何问题请咨询:yoyou2525@163.com.