我們同樣也可以圍繞遞歸做文章。既然不能判斷是不是應該終止遞歸，我們不妨定義兩個函數。一個函數充當遞歸函數的角色，另一個函數處理終止遞歸的情況，我們需要做的就是在兩個函數里二選一。從二選一我們很自然的想到布爾變量，比如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軟件水平考試《程序員》知識點總結匯總