Question

我试图通过将行和列定义为模板参数来实现Matrix类。另外，我将Vector视为共享其大部分代码的“降级”矩阵类。

我想使用初始化列表来初始化我的类，就像在旧的c数组中使用的那样。

当尝试根据矩阵或向量为类提供一个和唯一的构造函数时，问题就来了，因此在编译时禁止将向量的初始构造函数列表分配给向量，而将向量的初始构造函数列表分配给向量矩阵。我已经尝试过使用模板和std :: enable_if，但是我无法完全理解编译器的奇怪错误消息。

我张贴了简化的代码来说明问题，并清除了所有试验来解决该问题。在评论中，我进一步说明了我要做什么。任何人都可以知道该怎么做吗？

#include <initializer_list>     

template<int R, int C, typename T=int>
struct Matrix
{
    T data[R][C];

    Matrix(std::initializer_list<T> initializers) { }//Do some stuff inside
    Matrix(std::initializer_list<std::initializer_list<T>> initializers) { }//Do some stuff inside
};

template<int R, typename T=int>
using Vector = Matrix<R, 1, T>;

int main()
{
    Matrix<3, 3> m = { {1, 2, 3},
                       {4, 5, 6},
                       {7, 8, 9} };

    Vector<3> v = {10, 20, 30};

    Matrix<3, 3> m1 = { 1, 2, 3, 4, 5, 6, 7, 8, 9 };//This must be avoided using templates in constructors or SFINAE 
    Vector<3> v1 = { {10, 20, 30} };//This must be avoided using templates in constructors or SFINAE

    return 0;   
}

我还发布了一个带有相同代码的coliru链接：http://coliru.stacked-crooked.com/a/17b5e8c504c262d1

非常感谢您。

Answer 1

对于C ++ 20，您可以使用requires放弃重载：

template <int R, int C, typename T=int>
struct Matrix
{
    T data[R][C];

    Matrix(std::initializer_list<T> initializers) requires (C == 1)
    { /*..*/ }

    Matrix(std::initializer_list<std::initializer_list<T>> initializers) requires (C != 1)
    { /*..*/ }
};

Demo

在此之前，专业化：

template <int R, int C, typename T=int>
struct Matrix
{
    T data[R][C];

    Matrix(std::initializer_list<std::initializer_list<T>> initializers)
    { /*..*/ }
};

template <int R, typename T>
struct Matrix<R, 1, T>
{
    T data[R][1];

    Matrix(std::initializer_list<T> initializers)
    { /*..*/ }
};

或可以使用SFINAE：

template <int R, int C, typename T=int>
struct Matrix
{
    T data[R][C];

    template <typename D = C, std::enable_if_t<D == 1, int> = 0>
    Matrix(std::initializer_list<T> initializers)
    { /*..*/ }

    template <typename D = C, std::enable_if_t<D != 1, int> = 0>
    Matrix(std::initializer_list<std::initializer_list<T>> initializers)
    { /*..*/ }
};

模板类中的模板化构造函数

1 个答案: