前言：

有很多複雜演算法都包含了遞迴演算法，特別是關於樹形資料結構遍歷的情景，所以正確深入理解遞迴演算法是很有必要的。

一、遞迴函式的基本概念
遞迴函式機制理解：呼叫函式的靜態和動態機制理解：呼叫函式和被呼叫函式雖然是同一個靜態程式碼，但是執行時被函式執行的棧空間獨立於呼叫函式的棧空間，呼叫點不同，函式狀態棧地址也不同，所以執行時呼叫函式和被呼叫函式在程式碼副本還是資料副本上都是完全不同的，只有通過返回值和呼叫點進行聯絡。
遞迴的呼叫形式：直接遞迴呼叫F1->F1，間接遞迴F1->F2->F1,很多情況下是直接遞迴呼叫。
遞迴函式優劣點：遞迴函式比較消耗棧資源，實現簡單(內部呼叫邏輯卻比較複雜)，但是效率沒有非遞迴版本效率高。

二、遞迴函式內部呼叫邏輯理解：
淺層次理解：
1.遞迴函式需要一個終止條件。
2.遞迴函式到終止條件，會沿路出棧對稱返回。
深層次理解：
I、深究內部過程，呼叫點和變數暫存器：壓棧過程，呼叫點關聯，除了呼叫點傳入引數和返回值外的程式碼變數都因被拷貝了一份而作用域無效

遞迴函式就是函式呼叫和被呼叫的壓棧關係，只有找到都會遞迴呼叫，所以遞迴遍歷都是深度遍歷。

II、區分終止條件：遞迴終止條件多樣性，區分那些是終止條件那些不是

遞迴函式的終止條件就是在不斷的遞迴呼叫下最後會發生不再呼叫遞迴函式的情況,可以是if判斷也可以是for/while判斷。

III、理解出棧返回過程：終止後出棧呼叫點返回，繼續執行函式體內因返回點沒有得到執行的程式碼

一般遞迴是為了遍歷或者查詢，如果查詢終止條件在遞迴遍歷前面，那麼不用全部遍歷找到就會返回；如果查詢終止條件在遞迴遍歷後面，那麼需要全部遍歷才會返回。

三、一個遍歷3ds Max匯出節點的遞迴演算法的模擬示例

RecursiveFunc.h檔案：

#ifndef RECURSIVEFUNC_H_
#define RECURSIVEFUNC_H_
#include <string>
#include <list>
using namespace std;
typedef struct tagMaxTreeNode
{
	int m_nIndex;
	string m_strName;
	tagMaxTreeNode(int nIndex, const string& strName)
	{
		m_nIndex =  nIndex;
		m_strName = strName;
	}
	void AddChild(tagMaxTreeNode* pChild)
	{
		m_listChild.push_back(pChild);
	}
	list<tagMaxTreeNode*> m_listChild;
}MaxTreeNode;

template <class T>
class MaxTree
{
public:
	MaxTree()
	{
		m_root = NULL;
	}
	~MaxTree()
	{}
	void AddNode(T *pParent, T *pChild)
	{
		if( pParent == NULL )
		{
			m_root = pParent;
			return;
		}
		else
		{
			pParent->AddChild(pChild);
		}
	}

	void BrowseF( T* pNode)
	{
		printf("BrowseF：Recursive Call nIndex: %d\n", pNode->m_nIndex);
		// 這裡if是終止條件
		if( pNode->m_nIndex < 10 )
		{
			printf("BrowseF：Condition Hit nIndex: %d\n", pNode->m_nIndex);
			return;
		}
		list<T*>::iterator itrChild = pNode->m_listChild.begin();
		// 這裡for也是是終止條件，因為pNode是子節點的了
		for(; itrChild != pNode->m_listChild.end(); ++itrChild)
		{
			BrowseF( *itrChild);
		}
	}

	void BrowseL( T* pNode)
	{
		printf("BrowseF：Recursive Call nIndex: %d\n", pNode->m_nIndex);
		list<T*>::iterator itrChild = pNode->m_listChild.begin();
		// 這裡for是終止條件，因為pNode是子節點的了 
		for(; itrChild != pNode->m_listChild.end(); ++itrChild)
		{
			BrowseF( *itrChild);
		}
		// 這裡if不是終止條件
		if( pNode->m_nIndex < 10 )
		{
			printf("BrowseF：Condition Hit nIndex: %d\n", pNode->m_nIndex);return;
		}
	}
private: T* m_root;
};
#endif
 

main1.cpp檔案：

#include "stdafx.h"
#include "RecursiveFunc.h"

int _tmain(int argc, _TCHAR* argv[])
{
	MaxTreeNode node1(1, "node1");
	MaxTreeNode node2(10, "node2");
	MaxTreeNode node3(100, "node3");
	MaxTreeNode node4(1000, "node4");
	MaxTreeNode node5(10000, "node5");

	/*MaxTreeNode node1(1000, "node1");
	MaxTreeNode node2(1000, "node2");
	MaxTreeNode node3(100, "node3");
	MaxTreeNode node4(100, "node4");
	MaxTreeNode node5(1, "node5");*/

	MaxTree<MaxTreeNode> TestTree;
	TestTree.AddNode(NULL, &node1);
	TestTree.AddNode(&node1, &node2);
	TestTree.AddNode(&node1, &node3);
	TestTree.AddNode(&node2, &node4);
	TestTree.AddNode(&node3, &node5);
	printf("------------TestTree.BrowseF(&node1);-------\n");
	TestTree.BrowseF(&node1);
	printf("------------TestTree.BrowseL(&node1);-------\n");
	TestTree.BrowseL(&node1);
	
	return 0;
}

輸出結果：

main2.cpp:

#include "stdafx.h"
#include "RecursiveFunc.h"

int _tmain(int argc, _TCHAR* argv[])
{
	/*MaxTreeNode node1(1, "node1");
	MaxTreeNode node2(10, "node2");
	MaxTreeNode node3(100, "node3");
	MaxTreeNode node4(1000, "node4");
	MaxTreeNode node5(10000, "node5");*/

	MaxTreeNode node1(10000, "node1");
	MaxTreeNode node2(1000, "node2");
	MaxTreeNode node3(100, "node3");
	MaxTreeNode node4(100, "node4");
	MaxTreeNode node5(1, "node5");

	MaxTree<MaxTreeNode> TestTree;
	TestTree.AddNode(NULL, &node1);
	TestTree.AddNode(&node1, &node2);
	TestTree.AddNode(&node1, &node3);
	TestTree.AddNode(&node2, &node4);
	TestTree.AddNode(&node3, &node5);
	printf("------------TestTree.BrowseF(&node1);-------\n");
	TestTree.BrowseF(&node1);
	printf("------------TestTree.BrowseL(&node1);-------\n");
	TestTree.BrowseL(&node1);
	
	return 0;
}