C++模板实现矩阵库时递归成员函数Det无法调用报错如何解决

这是C++模板递归实例化的典型问题：运行期的if判断不会阻止编译期的模板展开流程。
你当前的Det实现里，虽然有运行期判断if(row == 1 && col == 1)的逻辑，但编译阶段还是会递归展开所有可能用到的模板实例：Mat<3,3>调用Det时需要生成Mat<2,2>的实例，Mat<2,2>调用Det时需要生成Mat<1,1>的实例，而Mat<1,1>调用Det时，哪怕运行期不会走到for循环分支，编译期还是会尝试实例化Mat<0,0>来满足代码里Minor(x,y).Det()的调用逻辑，0作为模板非类型参数不符合你的矩阵定义要求，所以触发编译错误。

方案1：全特化1x1矩阵（兼容所有C++版本） #

单独对1x1矩阵做特化实现，避免递归实例化更小的矩阵：

// 1x1矩阵全特化
template<>
struct Mat<1, 1>{
    Vec<1> data[1];
    // 按需补全你需要的构造函数实现
    double Det() const{
        // 注意如果Vec没有重载[]运算符，这里要写成data[0].data[0]
        return data[0][0];
    }
    // 特化版本不需要实现Minor、Cofactor方法，因为1x1矩阵的Det不会调用这两个方法
};

方案2：使用C17 if constexpr（仅支持C17及更高版本） #

把Det方法里的普通if替换为编译期条件判断if constexpr，编译阶段会直接裁剪掉不满足条件的分支，不会生成无效的Mat<0,0>实例：

double Det() const{
    // 把运行期assert换成static_assert，编译期就能发现非方阵调用行列式的错误
    static_assert(row == col, "行列式仅支持方阵计算");
    if constexpr (row == 1 && col == 1) {
        return data[0][0];
    } else {
        double ret = 0;
        for(int i = 0; i < col; ++i){
            ret += data[0][i] * Cofactor(0, i);
        }
        return ret;
    }
}

你代码中data[0][0]的写法依赖Vec类重载了[]运算符，如果没有重载，需要修改为data[0].data[0]才能正确访问存储的double元素。

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