c++ - 编译时模板值推导

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 工作正常):

auto C = A * B; // no errors

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

Answer 1

不，你不能(如果你没有一些非模板基础矩阵)。 matrix 不是类型，它是模板，您应该指定模板参数。 auto 是最简单的事情，你可以做到。或者，您可以使用 decltype

而不是 auto

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