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

Question

我正在尝试通过将行和列定义为模板参数来实现矩阵 class。此外，我将 Vector 视为共享其大部分代码的 'degraded' 矩阵 class。

我想使用初始化列表初始化我的 classes，因为它在旧的 c 数组方式中使用。

当试图根据矩阵或向量为 class 提供一个且只有一个构造函数时出现问题，因此在编译时禁止将矩阵初始化列表分配给向量和矩阵的向量初始值设定项列表。我已经尝试使用模板和 std::enable_if，但我无法完全理解编译器的奇怪错误消息。

我post 减少代码说明问题，清除所有尝试来解决它。在评论中，我进一步解释了我正在尝试做的事情。任何人都可以知道如何做我需要的吗？

#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;   
}

此外，我 post 大肠杆菌 link 使用相同的代码：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)
    { /*..*/ }
};

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

Templated constructors within template class

c++

templates

sfinae