使用非类型模板参数实现矩阵类行列式的模板递归时determinant(next)调用报错

• 误用运行时分支处理编译期模板参数：row、column是编译期固定的非类型模板参数，原代码用普通if做递归终止判断时，编译器会对整个函数体做全量模板实例化。比如当row=1触发终止分支时，后续代码中构造Mat<T, 0, column-1>这类非法维度类型、递归调用的逻辑也会被尝试编译，直接触发模板实例化报错。
• 缺失方阵校验约束：行列式仅对方阵有数学定义，原模板没有在编译期要求输入满足row == column，一旦传入非方阵参数，递归构造的降阶子矩阵维度永远无法匹配，会触发参数类型不匹配的报错。

• 用编译期分支判断替代运行时if，每个递归层级的模板只实例化对应维度的合法代码，从根源上避免生成非法的0维矩阵类型。
• 在函数入口加入静态断言，强制校验输入矩阵为方阵，提前抛出清晰的编译错误，而非后续递归过程中抛出难以定位的模板错误。
• 简化冗余的循环边界写法，保证降阶子矩阵的行列维度严格对齐，避免维度错位。

// 仅接受方阵输入，从根源上规避非方阵的类型不匹配问题
template<typename T, int Dim>
T determinant(const Mat<T, Dim, Dim>& current)
{
    static_assert(Dim >= 1, "矩阵维度不能小于1");
    // 编译期分支判断，仅保留对应维度下的合法代码参与编译
    if constexpr (Dim == 1) {
        return current[0][0];
    }
    else if constexpr (Dim == 2) {
        return current[0][0] * current[1][1] - current[0][1] * current[1][0];
    }
    else {
        T sum = 0;
        for (int i = 0; i < Dim; i++)
        {
            T sign = (i % 2 == 0) ? 1 : -1;
            Mat<T, Dim-1, Dim-1> next;
            for (int j = 0, nextRow = 0; j < Dim; j++)
            {
                if (i == j) continue;
                for (int k = 0; k < Dim - 1; k++)
                {
                    next[nextRow][k] = current[j][k + 1];
                }
                nextRow++;
            }
            sum += sign * current[i][0] * determinant(next);
        }
        return sum;
    }
}

如果项目使用低于C++17的标准，无法使用if constexpr，可通过对Dim=1、Dim=2的场景编写全特化版本的函数，实现完全等价的编译期分支效果。

内容的提问来源于stack exchange，提问作者user15839305