从本节开始我们将模板元编程当做一门独立的函数式语言来讨论它的方方面面。
所谓元编程,就是指可以产生程序的程序。由于模板的计算发生在“运行时C++”的前面,它可以为“运行时C++”产生代码,所以称之为模板元编程。
模板元编程的计算范式本质上是函数式范式。对于一个函数式编程语言,函数是它的第一等公民。所以对于模板元编程,我们首先需要定义出这门语言中的函数形态,然后基于函数讨论它的主要特征。
从本节开始我们将模板元编程当做一门独立的函数式语言来讨论它的方方面面。
所谓元编程,就是指可以产生程序的程序。由于模板的计算发生在“运行时C++”的前面,它可以为“运行时C++”产生代码,所以称之为模板元编程。
模板元编程的计算范式本质上是函数式范式。对于一个函数式编程语言,函数是它的第一等公民。所以对于模板元编程,我们首先需要定义出这门语言中的函数形态,然后基于函数讨论它的主要特征。