如何避免C++类模板中的无限递归

template<unsigned cRows>
class Matrix< cRows, 0 >
{
    Matrix<cRows - 1, 0> Reduced() { return Matrix<cRows - 1, 0>(); }
};


template<unsigned cCols>
class Matrix< 0, cCols >
{
    Matrix<0, cCols - 1> Reduced() { return Matrix<0, cCols - 1>(); }
};


template<>
class Matrix< 0, 0 >
{
    Matrix<0, 0> Reduced() { return Matrix<0, 0>(); }
};

此外,如果你永远不会使用1x1矩阵,也就是2x2矩阵上reduce的结果,你可以用一个完全空的类来停止递归。

template<>
class Matrix< 1, 1 > {};

你似乎对编译时和运行时行为有点困惑,我对你的代码也有点困惑。但我认为你想要的是对值0的模板进行专门化,从而终止递归。

如果你还没有,我建议你读一读 C++ Templates: The Complete Guide

您需要明确指定希望递归结束的情况的行为。看 this DDJ article

template<int n>
class META_FACTORIAL
{
public:
  enum{
    RET = n * META_FACTORIAL<n-1>::RET
  };
};

template<>
class META_FACTORIAL<0>
{
public:
  enum{ RET = 1 };
};

与其专门化整个类来终止递归,另一种选择可能是使用 boost::enable_if