递归调用模板化函数(C)

我正在编写一个模板化的数学矩阵类来习惯一些新的c 11特性,基本声明如下:

template <typename Type, int kNumRows, int kNumCols>
class Matrix { ... };

该类有一个成员函数来返回其中一个未成年人(后来用于计算NxN矩阵的行列式).

Matrix<Type, kNumRows - 1, kNumCols - 1> minor(const int row, const int col) {
  static_assert(kNumRows > 2, "");
  static_assert(kNumCols > 2, "");

  ...
}

然后我创建了一个非成员函数来计算任何方阵的行列式:

template <typename Type, int kSize>
Type determinant(const Matrix<Type, kSize, kSize>& matrix) {
  switch (kSize) {
  case 2:
    return 0; // For now unimportant
  case 3:
    // Recursively call the determinant function on a minor matrix
    return determinant(matrix.minor(0, 0));
  }
  ...
}

在main()中,我创建了一个3×3矩阵并在其上调用行列式.这不会编译.编译器有效地移动到案例3,创建一个次要矩阵并在其上调用行列式.然后它再次进入案例3,通过尝试创建1×1次要来产生static_assert.

问题很简单:我在这里遗漏了什么吗?是否简单地不允许以递归方式调用这样的模板化函数?这是编译器错误(我对此表示怀疑)?

为了完整起见:我正在使用Clang.

模板确定在编译时要执行的操作,但switch语句确定在运行时要执行的操作.编译器为所有切换情况生成代码,或者至少验证其有效性,即使在编译时正确的情况是“明显的”.

而不是使用开关,尝试重载决定因素:

template <typename Type>
Type determinant(const Matrix<Type, 1, 1>& matrix) {
    return matrix(0,0);
}

template <typename Type>
Type determinant(const Matrix<Type, 2, 2>& matrix) {
    return 0; // (incorrect math)
}

template <typename Type, int kSize>
Type determinant(const Matrix<Type, kSize, kSize>& matrix) {
    return determinant(matrix.minor(0,0)); // (incorrect math)
}
相关文章
相关标签/搜索