编译时间模板值扣除

Question

我有这个模板矩阵结构（我提供了一个使用std :: initializer_list的构造函数）：

template<int rows, int cols, typename scalar = float>
struct matrix;

使用在矩阵结构外部定义的乘积运算符，如下所示：

template<int n, int m, int p, typename scalar>
matrix<n, m, scalar> operator*(const matrix<m, p, scalar>& left, const matrix<p, n, scalar>& left);

然后在结构内声明为好友。 因此，如果我实例化两个矩阵：

matrix<2, 3> A = { 1, 2, 3, 4, 5, 6 };
matrix<3, 2> B = { 7, 8, 9, 10, 11, 12 };

我想创建一个矩阵C = A * B，我必须写：

matrix<2, 2> C = A * B;

很好，但是有没有办法省略<2，2>模板？ 我相信可以在编译时扣除（因为自动工作正常）：

auto C = A * B; // no errors

我想只写matrix而不是auto ，这可能吗？

Answer 1

不，您不能（如果您没有一些非模板基本矩阵）。 matrix不是类型，而是模板，您应该指定模板参数。 auto是最简单的事情，您可以执行。 或者，您可以使用decltype代替auto

decltype(A * B) C = A * B;