嵌套可变参数模板

时间:2019-02-05 06:50:40

标签: c++ nested variadic-templates

我有两个利用初始化列表的类。一个是Vector样式的类,其中包含值列表。

Vec.h:

template< typename T, int nDimensions = 2 >
class Vec{
    private:
        std::array< T, nDimensions > elements_;
    public:
        template <typename... U>
        Vec(U... ts) : elements_{ ts... } {}
}

然后在使用时:

typedef Vec< int, 2 > Vec2i;
Vec2i twoi = { 1,2 };
Vec2i twoi2 = twoi; //I have copy constructor and other methods finished. 

该类正常工作,但当我尝试将其与Matrix样式的类一起使用时,无法确定其构造函数的正确语法。

template< typename T, int X,int Y>
class Mat {
   private:
     std::array< Vec<T, X>, Y > elements_;
}

Id喜欢这样使用它:

typedef Mat<int, 3,3> Mat3i;
Mat3i threemat = {  {1,2,3},
                    {4,5,6},
                    {7,8,9}};

现在,iv尝试使用初始化程序列表作为构造函数取得了一些成功,但是我无法弄清楚传递子列表的语法。

Mat(std::initializer_list<Vec<T, X>> values) {
    for (auto& t : values) {
        //What goes here?
    }
}

Iv还尝试对列表进行迭代并手动分配它们,但是那是不可行的。

还值得注意的是,这些类必须具有用于列表的连续内存块,并且没有其他变量,这一点很重要。否则,id将使用其他类型而不是std :: array。 (用于铸造和联合目的。)

我正在辩论是否需要重新解释将每个值转换为Vec,然后复制这些值。

2 个答案:

答案 0 :(得分:0)

我是个白痴。

Mat(std::initializer_list<Vec<T, X>> values) {
    int i = 0;
    for (auto& t : values) {
        elements_[i++] = t;
    }
}

答案 1 :(得分:0)

作为替代:

Mat(std::initializer_list<Vec<T, X>> values) {
    std::copy(values.begin(), values.end(), elements_.begin());
}