constexpr函数引用参数用于if constexpr触发C2131编译错误问题

C2131错误触发原因 #

if constexpr的判断条件要求必须是编译期可确定的常量表达式。
虽然你给Matrix类的rows()方法添加了constexpr修饰，但函数形参m是普通的const引用参数，本身不属于编译期常量实体，只有通过编译期常量对象调用constexpr成员函数时，返回值才能作为编译期常量使用。你当前的写法里m.rows()无法在编译期确定值，因此触发了表达式未求值为常量的报错。

此前C1202错误触发原因 #

普通if语句不会在编译期丢弃未命中的分支，无论当前矩阵维度是多少，递归计算的else分支都会被强制实例化。模板会持续递归实例化更小维度的determinant函数（3阶→2阶→1阶→0阶→负数阶……），无限制的模板实例化就触发了“递归类型或函数依赖上下文过于复杂”的报错。

直接使用模板参数M作为if constexpr的判断条件即可，模板参数本身就是编译期常量，完全满足语法要求：

template<int32_t M, int32_t N>
[[nodiscard]] constexpr double determinant(const Matrix<M,N> & m)
{
    // 可选：新增非方阵校验，提前拦截非法调用
    static_assert(M == N, "仅方阵可计算行列式");
    double det = 0;
    if constexpr(M == 2)
    {
        return m[0][0]*m[1][1] - m[0][1]*m[1][0];
    }
    else
    {
        for(std::size_t col = 0; col < m.cols(); ++col)
        {
            det += m[0][col] * cofactor(m, 0, col);
        }
    }
    return det;
}

修改后编译期会根据当前实例化的M值直接丢弃未命中的分支，当M=2时不会实例化else分支的递归逻辑，也不会出现无限模板实例化的问题。

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