模板的矩阵模板

Question

我正在尝试实现一个简单的 Matrix 类模板 我想像 Matrix(data1 , .. , dataN) 一样实例化它 基本上我想定义一个模板类，它将 2 unsigned int 作为模板参数，并使用初始化列表来推断现在包含的数据的类型，我写了这个简单的开始：

template<size_t N, size_t M>
class Matrix {

    public:

    template<typename ...T>   
       constexpr Matrix<N,M>(T ... args ) noexcept 
           : data{std::forward<T>(args)... } 
           {
               static_assert(sizeof...(args) <= N*M, "Insufficent element for a Matrix " );

           } 

    const auto getData()const { return data; }


    private:

    template<typename T>
    std::valarray<T> data ;  
};

但我有一个错误..

错误：数据成员“数据”不能是成员模板 std::valarray 数据；

那你怎么看？有一种方法可以推断出矩阵的类型 通过她的初始化（传递给构造函数的参数）并使用这个时间 沿着所有类定义？

Answer 1

没有办法推迟 template <typename T> 给构造函数。在调用构造函数之前，矩阵需要知道T要存储什么，否则无法计算出矩阵对象的大小。所以，你必须像这样声明这个类：

template <typename T, std::size_t N, std::size_t M>
class Matrix
{
public:
    // Constructors and stuff

private:
    std::valarray<T> data ;  
};

（注意：C++ 中没有size_t 类型，但有std::size_t）

无法推断出这个T 是一件烦人的事情。人们过去常常编写 std::make_pair、std::make_tuple 等包装器，依靠函数派生参数类型的能力。

即将推出的c++17 标准具有您想要的功能，称为class template argument deduction。它甚至允许一个人指导扣除过程，如下所示：

template <typename T, std::size_t N>
struct array
{
    T data[N];

    template <typename ... X>
    array (X ... x)
        : data{x...}
    { }
};

template <typename ... X>
array(X ...) -> array<std::common_type_t<X...>, sizeof...(X)>;

不幸的是，在您的情况下，无法派生 N 和 M，因此您必须更改构造函数签名才能使用此功能。