テンプレートの行列テンプレート

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

が、私はエラーを得た。..

error: data member ‘data’ cannot be a member template std::valarray data ;

は、あなたが何をすべきか：テンプレートパラメータ、および今、私はこの単純なスタートを書い含むデータの種類を推定する初期化リストを使用するなど、について考える ？彼女の初期化（コンストラクタに渡されるパラメータ）によって行列 の型を推測し、この時間をすべてのクラス定義に沿って を使用する方法がありますか？

Answer 1

template <typename 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と呼ばれる機能があります。それも、1はこのように、控除プロセスをガイドすることができます：

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を導出することは不可能であるので、あなたは、この機能を使用するためには、コンストラクタの署名を変更する必要があります。