我们同样也可以围绕递归做文章。既然不能判断是不是应该终止递归，我们不妨定义两个函数。一个函数充当递归函数的角色，另一个函数处理终止递归的情况，我们需要做的就是在两个函数里二选一。从二选一我们很自然的想到布尔变量，比如ture(1)的时候调用第一个函数，false(0)的时候调用第二个函数。那现在的问题是如和把数值变量n转换成布尔值。如果对n连续做两次反运算，即!!n，那么非零的n转换为true，0转换为false。有了上述分析，我们再来看下面的代码：

　　class A;

　　A* Array[2];

　　class A

　　{

　　public:

　　virtual int Sum (int n) { return 0; }

　　};

　　class B: public A

　　{

　　public:

　　virtual int Sum (int n) { return Array[!!n]->Sum(n-1)+n; }

　　};

　　int solution2_Sum(int n)

　　{

　　A a;

　　B b;

　　Array[0] = &a;

　　Array[1] = &b;

　　int value = Array[1]->Sum(n);

　　return value;

　　}

　　这种方法是用虚函数来实现函数的选择。当n不为零时，执行函数B::Sum;当n为0时，执行A::Sum。我们也可以直接用函数指针数组，这样可能还更直接一些：

　　typedef int (*fun)(int);

　　int solution3_f1(int i)

　　{

　　return 0;

　　}

　　int solution3_f2(int i)

　　{

　　fun f[2]={solution3_f1, solution3_f2};

　　return i+f[!!i](i-1);

　　}

　　另外我们还可以让编译器帮我们来完成类似于递归的运算，比如如下代码：

　　template struct solution4_Sum

　　{

　　enum Value { N = solution4_Sum::N + n};

　　};

　　template <> struct solution4_Sum<1>

　　{

　　enum Value { N = 1};

　　};

　　solution4_Sum<100>::N就是1+2+...+100的结果。当编译器看到solution4_Sum<100>时，就是为模板类solution4_Sum以参数100生成该类型的代码。但以100为参数的类型需要得到以99为参数的类型，因为solution4_Sum<100>::N=solution4_Sum<99>::N+100。这个过程会递归一直到参数为1的类型，由于该类型已经显式定义，编译器无需生成，递归编译到此结束。由于这个过程是在编译过程中完成的，因此要求输入n必须是在编译期间就能确定，不能动态输入。这是该方法最大的缺点。而且编译器对递归编译代码的递归深度是有限制的，也就是要求n不能太大。

　　相关推荐：

　　2015年软考信息技术处理员考前知识点总结汇总

　　2015年软件水平考试《程序员》提高练习题汇总

　　2015软件水平考试《程序员》知识点总结汇总