c++ - 基于封闭类模板参数有条件地定义嵌套类

Question

只有方阵 (M==N) 矩阵才有 LU 分解。是否有一种简单的方法来禁用 class lu 和方法 luFactorization iff M!=N 下面？

template<int M, int N>
class matrix {

    // lots and lots of operators and stuff
    // ...

    class lu {
        // ...
    }

    lu luFactorization() {
        // ...
    }

}

Answer 1

定义“简单”。 :)

模板部分特化确实有效:

template <int M, int N>
class matrix {
    // class lu, function luFactorization *not* defined
};

template <int N>
class matrix<N,N> {
    // class lu, function luFactorization defined
    class lu { };
    lu luFactorisation() { /* ... */ }
};

如果两个变体都有很多包袱，您可以将部分或全部包袱转移到一个共同的父类(super class)中。您还可以考虑制作 lu 和 luFactorisation 非成员模板。