ли возможно умножение матриц с аргументами шаблона

Question

Позвольте мне определить класс матрицы следующим образом

template<typename T, size_t rowSize, size_t colSize> 
class Matrix 
{ 
//Class implementation 
}; 

Теперь, если я уже 2 матрицы определяется как

Matrix<double,3,2> A; 
Matrix<double,2,5> B; 
A*B; 

Может умножение быть сделано, если я попробуйте, он сказал бы, что никакие аргументы не могут принимать rhs как double, 2,5 для *. Можно ли обобщить шаблон, чтобы умножить «double, x, y» и «double, y, z» и вернуть новую матрицу «double, x, y»

Answer 1

template<typename T, size_t rowSize, size_t colSize> 
class Matrix 
{ 
    // Implementation 
}; 

template< 
    typename T, 
    typename U, 
    size_t rowSize1, 
    size_t commonSize, 
    size_t colSize2 
> 
auto operator * (Matrix<T, rowSize1,commonSize> const & a, 
       Matrix<U, commonSize,colSize2> const & b) 
    -> Matrix<decltype(std::declval<T>()*std::declval<U>()), rowSize1, colSize2> 
{ 
    // Implementation 
} 

int main() 
{ 
    Matrix<double,3,2> A; 
    Matrix<double,2,5> B; 
    auto C = A*B; 
} 

Или как член:

template<typename T, size_t rowSize, size_t colSize> 
class Matrix 
{ 
public: 
    template<typename U, size_t colSize2> 
    auto operator * (Matrix<U, colSize,colSize2> const & b) 
     -> Matrix<decltype(std::declval<T>()*std::declval<U>()), rowSize, colSize2> 
    { 
     // Implementation 
    } 

}; 

Answer 2

Возможно перезаписать оператор * в пределах класс. Но тогда было бы вообще

T& T::operator*(T otherMatrix); 
    { 
     //do multiplication by hand and return a new Matrix 
    } 

и не принимая только double, как только тип.