嵌套初始设置列表的构造方法 [英] Constructor for nested initializer lists
本文介绍了嵌套初始设置列表的构造方法的处理方法，对大家解决问题具有一定的参考价值，需要的朋友们下面随着小编来一起学习吧！
问题描述
有可能有一个通用的构造函数，它接受任何类型的初始化列表，即使它有嵌套的列表内吗？
假设你有以下部分模板专门化对于接受其构造函数嵌套初始化程序列表的类：
模板
class ClassA;
模板<>
class ClassA< 4> {
typedef std :: initializer_list< double> list_type;
typedef std :: initializer_list< list_type> llist_type;
typedef std :: initializer_list< llist_type> lllist_type;
typedef std :: initializer_list< lllist_type>初始化类型
size_t n_ [4] = {0};
double * data_;
public：
ClassA（initializer_type l）{
assert（l.size（）> 0）;
assert（l.begin（） - > size（）> 0）;
assert（l.begin（） - > begin（） - > size（）> 0）;
assert（l.begin（） - > begin（） - > begin（） - > size（）> 0）;
size_t m = n_ [0] = l.size（）;
size_t n = n_ [1] = l.begin（） - > size（）;
size_t o = n_ [2] = l.begin（） - > begin（） - > size（）;
n_ [3] = l.begin（） - > begin（） - > begin（） - > size（）;
data_ = new double [m * n * o * n_ [3]];
int i = 0，j = 0，k = 0，p = 0;
for（const auto& u：l）{
assert（u.size（）== n_ [1]）;
for（const auto& v：u）{
assert（v.size（）== n_ [2]）;
for（const auto& x：v）{
assert（x.size（）== n_ [3]）;
for（const auto& y：x）{
data_ [i + m * j + m * n * k + m * n * o * p] = y;
++ p;
}
p = 0;
++ k;
}
k = 0;
++ j;
}
j = 0;
++ i;
}
}
size_t size（）const {
size_t n = 1;
for（size_t i = 0; i <4; ++ i）
n * = n_ [i];
return n;
}
friends std :: ostream& <<<<<<<<<<<<<<<（std :: ostream& os，const ClassA& a）{
for（int i = 0; i
return os<< endl;
}
};
int main（）
{
ClassA< 4> TT = {{{{}}，{7.}，{13.}，{19}}，{2}，{8}，{14}，{20}}，{{3}，{9 }，{15}，{21}}}，{10}，{16}，{22}}，{5}，{11}，{17}，{23} {{6}，{12}，{18}，{24}}}};
cout<<TT - ><<< TT<< endl;
return 0;
}
此代码打印：
TT - > 1 4 2 5 3 6 7 10 8 11 9 12 13 16 14 17 15 18 19 22 20 23 21 24
现在，我试图推广构造函数，使我不必专门为每个维度的类模板。
问题是，当我用如下的替换构造函数：
template< class L&
ClassA（std :: initializer_list< L> l）{
cout<<<generic list constructor<< endl;
}
clang 编译器失败并出现错误：
错误：没有匹配的构造函数用于初始化'ClassA&
有人能指出为什么会发生这种情况吗？模板匹配对初始化器列表不起作用，可能是因为这是一个新的C ++功能？
谢谢大家...
EDIT
在@ JohannesSchaub-litb和@Daniel Frey的帮助下，我能够创建一个非常通用的构造函数，它使用任何维度的initializer_list。这是结果代码：
template< int d，typename T&
class ClassA {
size_t n_ [d] = {0};
T * data_;
template< int D，typename U>
struct Initializer_list {
typedef std :: initializer_list< typename Initializer_list< D-1，U> :: list_type> list_type;
Initializer_list（list_type l，ClassA& a，size_t s，size_t idx）{
a.n_ [d-D] = l.size
size_t j = 0;
for（const auto& r：l）
Initializer_list< D-1，U> pl（r，a，s * l.size（），idx + s * j ++）;
}
};
template< typename U>
struct Initializer_list< 1，U> {
typedef std :: initializer_list< T> list_type;
Initializer_list（list_type l，ClassA& a，size_t s，size_t i）{
a.n_ [d-1] = l.size
if（！a.data_）
a.data_ = new T [s * l.size（）];
size_t j = 0;
for（const auto& r：l）
a.data_ [i + s * j ++] = r;
}
};
typedef typename Initializer_list< d，T> :: list_type initializer_type;
public：
//初始化列表构造函数
ClassA（initializer_type l）：data_（nullptr）{
Initializer_list< d，T& r（1，* this，1,0）;
}
size_t size（）const {
size_t n = 1;
for（size_t i = 0; i <4; ++ i）
n * = n_ [i];
return n;
}
friends std :: ostream& <<<<<<<<<<<<<<（std :: ostream& os，const ClassA& a）{
for（int i = 0; i
return os<< endl;
}
};
int main（）
{
ClassA< 4，double> TT = {{{{}}，{7.}，{13.}，{19}}，{2}，{8}，{14}，{20}}，{{3}，{9 }，{15}，{21}}}，{10}，{16}，{22}}，{5}，{11}，{17}，{23} {{6}，{12}，{18}，{24}}}};
cout<<TT - ><<< TT<< endl;
return 0;
}
当然代码打印
TT - > 1 4 2 5 3 6 7 10 8 11 9 12 13 16 14 17 15 18 19 22 20 23 21 24
我喜欢这个模板元编程的东西！
解决方案
我相信你真正想要做的是自动构建正确的类型
template< int S，typename E> ;
class make_list_type {
public：
typedef std :: initializer_list<
typename make_list_type< S-1，E> :: type
>类型;
};
template< typename E>
class make_list_type< 0，E> {
public：
typedef E type;
};
template< int S>
class ClassA {
typedef typename make_list_type< S，double> :: type initializer_type;
public：
ClassA（initializer_type l）
};
至于为什么你的尝试不起作用，请参阅模板不总是猜测初始化程序列表类型
Is it possible to have a generic constructor that takes any type of initializer list, even if this has nested lists within?
Say you have the following partial template specialization for a class that takes in its constructor nested initializer lists:
template class ClassA;
template <>
class ClassA<4> {
typedef std::initializer_list<double> list_type;
typedef std::initializer_list<list_type> llist_type;
typedef std::initializer_list<llist_type> lllist_type;
typedef std::initializer_list<lllist_type> initializer_type;
size_t n_[4] = {0};
double* data_;
public:
ClassA(initializer_type l) {
assert(l.size() > 0);
assert(l.begin()->size() > 0);
assert(l.begin()->begin()->size() > 0);
assert(l.begin()->begin()->begin()->size() > 0);
size_t m = n_[0] = l.size();
size_t n = n_[1] = l.begin()->size();
size_t o = n_[2] = l.begin()->begin()->size();
n_[3] = l.begin()->begin()->begin()->size();
data_ = new double[m*n*o*n_[3]];
int i=0, j=0, k=0, p=0;
for (const auto& u : l) {
assert(u.size() == n_[1]);
for (const auto& v : u) {
assert(v.size() == n_[2]);
for (const auto& x : v) {
assert(x.size() == n_[3]);
for (const auto& y : x) {
data_[i + m*j + m*n*k + m*n*o*p] = y;
++p;
}
p = 0;
++k;
}
k = 0;
++j;
}
j = 0;
++i;
}
}
size_t size() const {
size_t n = 1;
for (size_t i=0; i<4; ++i)
n *= n_[i];
return n;
}
friend std::ostream& operator<<(std::ostream& os, const ClassA& a) {
for (int i=0; i<a.size(); ++i)
os<<" "<<a.data_[i];
return os<<endl;
}
};
int main()
{
ClassA<4> TT = { {{{1.}, {7.}, {13.}, {19}}, {{2}, {8}, {14}, {20}}, {{3}, {9}, {15}, {21}}}, {{{4.}, {10}, {16}, {22}}, {{5}, {11}, {17}, {23}}, {{6}, {12}, {18}, {24}}} };
cout<<"TT -> "<<TT<<endl;
return 0;
}
This code prints:
TT -> 1 4 2 5 3 6 7 10 8 11 9 12 13 16 14 17 15 18 19 22 20 23 21 24
Now, I'm trying to generalize the constructor so that I don't have to specialize the class template for each dimension. The problem is that when I replace the constructor with something like:
template <class L>
ClassA(std::initializer_list<L> l) {
cout<<"generic list constructor"<<endl;
}
The clang compiler fails with error:
error: no matching constructor for initialization of 'ClassA<4>
Can someone point out why is this happening? The template matching is not working for initializer lists, probably because this is a new C++ feature? Thank you all...
EDIT
Thanks to the help of @JohannesSchaub-litb and @Daniel Frey, I was able to craft a very generic constructor that takes the initializer_list of any dimension. This is the resulting code:
template <int d, typename T>
class ClassA {
size_t n_[d] = {0};
T* data_;
template <int D, typename U>
struct Initializer_list {
typedef std::initializer_list<typename Initializer_list<D-1,U>::list_type > list_type;
Initializer_list(list_type l, ClassA& a, size_t s, size_t idx) {
a.n_[d-D] = l.size();
size_t j = 0;
for (const auto& r : l)
Initializer_list<D-1, U> pl(r, a, s*l.size(), idx + s*j++);
}
};
template <typename U>
struct Initializer_list<1,U> {
typedef std::initializer_list<T> list_type;
Initializer_list(list_type l, ClassA& a, size_t s, size_t i) {
a.n_[d-1] = l.size();
if (!a.data_)
a.data_ = new T[s*l.size()];
size_t j = 0;
for (const auto& r : l)
a.data_[i + s*j++] = r;
}
};
typedef typename Initializer_list<d,T>::list_type initializer_type;
public:
// initializer list constructor
ClassA(initializer_type l) : data_(nullptr) {
Initializer_list<d, T> r(l, *this, 1, 0);
}
size_t size() const {
size_t n = 1;
for (size_t i=0; i<4; ++i)
n *= n_[i];
return n;
}
friend std::ostream& operator<<(std::ostream& os, const ClassA& a) {
for (int i=0; i<a.size(); ++i)
os<<" "<<a.data_[i];
return os<<endl;
}
};
int main()
{
ClassA<4, double> TT = { {{{1.}, {7.}, {13.}, {19}}, {{2}, {8}, {14}, {20}}, {{3}, {9}, {15}, {21}}}, {{{4.}, {10}, {16}, {22}}, {{5}, {11}, {17}, {23}}, {{6}, {12}, {18}, {24}}} };
cout<<"TT -> "<<TT<<endl;
return 0;
}
Of course the code prints
TT -> 1 4 2 5 3 6 7 10 8 11 9 12 13 16 14 17 15 18 19 22 20 23 21 24
I love this template metaprogramming stuff! Thank you guys for helping figuring this out.
aa
解决方案
I believe what you really want to do is to automatically build the right type
template<int S, typename E>
class make_list_type {
public:
typedef std::initializer_list<
typename make_list_type<S-1, E>::type
> type;
};
template<typename E>
class make_list_type<0, E> {
public:
typedef E type;
};
template<int S>
class ClassA {
typedef typename make_list_type<S, double>::type initializer_type;
public:
ClassA(initializer_type l)
};
As for why your try did not work, see Templates don't always guess initializer list types
这篇关于嵌套初始设置列表的构造方法的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持IT屋！
查看全文
