C++ 模板元编程
英文:C++ template metaprogramming
meta: “元”, 元数据(meta data)
metaprogramming可以理解为对程序语言自身的某种特性,对程序语句进行编程,
更简洁的说,对编程的编程--元编程。元编程有两种手段,一种是使用宏,另一种是使用模板。
今天聊的是模板元编程。
C++的模板元编程(TMP)主要是利用模板的特化和偏特化机制,在编译时获取类型信息,
并依照类型信息进行代码分发(dispatch),简化代码编写,提高代码的可维护性以及省略
不必要的运行时代码路径选择。
这里提到了“编译时获取类型信息”,很多人可能觉得很奇怪:一般情况下,我们更感兴趣
的是“运行时获取类型信息”,而在编译时,编译器是肯定知道类型信息的,根本不需要获
取!没错,类型信息编译器是知道的,但我们不知道,更准确是我们的代码在编译时不知
道类型信息,TMP就是获取类型信息的手段。
上code之前,先解释:
__CLRCALL_OR_CDECL 函数的调用约定
函数调用约定,是指当一个函数被调用时,函数的参数会被传递给被调用的函数和返回值
会被返回给调用函数。函数的调用约定就是描述参数是怎么传递和由谁平衡堆栈的,当然
还有返回值。(摘自百度百科)
几种类型
__stdcall,__cdecl,__fast