解析学习C++时的疑难问题

许多编程人员学习C++总结经验为，有的觉得C++语言是一门独立的语言，并不是在C语言的基础上，可以直接学习C++不必先从C下手，这就像C++与Java一样，局部的结构还是不一样的。

C++作为一种通用的程序设计语言已相当成功的实现了她最初的设计目标：高效率，通用性，可扩展性与灵活性；是一种语言而不是一个系统；她给予程序员尊重而不是束缚等等。

其实，学习C++时，它还支持一种被称为模板元编程的泛型程序设计范型，其核心就是巧妙利用C++的模板机制与面向对象的机制将程序对数据的处理提前到编译期，而不是运行时。这种程序设计方式如同函数式的编程方式。在这种设计范型中没有变量与循环，但其图灵完备所以称其为元编程。

接下来我将举一个简单的例子看看这种程序设计对运行时效率的影响。有这么一组数列1，1，2，3，5，8，13，21，等等，最前一，二项是1，以后每一项是其前两项的和。现在我们编程计算第N项的数值。程序如下：

//CODE  


#include "stdafx.h"  


//编译期计算方法  



template <int n>  //主模板 计算数列第N项  



struct f  


{  



 enum {value=f<n-1>::value+f<n-2>::value};  



};  



template<> 




struct f<1>  //特化模板  数列第一项是1  



{  



 enum {value=1};  



};  



template<> 




struct f<2>  //特化模板  数列第二项是1  



{  



 enum {value=1};  



};  


//远行时计算方法  


long F (long n)  


{  



 if (n==1 || n==2)  //数列第一，二项是1直接返回  



 {  


  return 1;  


 }  


 else      //递归  


 {  


  return F(n-1)+F(n-2);  


 }  


}  


int _tmain(int argc, _TCHAR* argv[])  


{  



 std::cout<<f<45>::value<<std::endl; //计算第45项的数值  




 std::cout<<F(45)<<std::endl;  



 return 0;  


} 

特化模板就如同我们循环的终止条件，在模板的递归实例化过程中充当递归终止条件。当主模板的N降为1或2时，模板递归实例化停止，开始计算value的数值。有人会问：为什么当N等于1或2时，编译器会根据特化模板实例化呢？

还记得C++对函数的调用规则吗？学习C++在调用重载函数过程中，编译器会寻求最匹配的一个。其实，在C++中，当编译器发现有众多被选项时，它会选择最符合条件，最匹配的那个。这不是很合理吗？

我想接下来的代码就是你我非常熟悉不过的了，一个递归函数，测试代码，程序结果：

template<> 



 struct f<1>  //特化模板  数列第一项是1  



 {  



  enum {value=1};  



 };  



 template<> 




 struct f<2>  //特化模板  数列第二项是1  



{  



  enum {value=1};  



 };