(1) C++可变参数列表
#ifndef _VA_LIST_DEFINED
#define _VA_LIST_DEFINED
#ifdef _M_CEE_PURE
typedef System::ArgIterator va_list;
#else
typedef char* va_list;
#endif
#endif
#elif defined _M_IX86
#define _INTSIZEOF(n) ((sizeof(n) + sizeof(int) - 1) & ~(sizeof(int) - 1))
#define __crt_va_start_a(ap, v) ((void)(ap = (va_list)_ADDRESSOF(v) + _INTSIZEOF(v)))
#define __crt_va_arg(ap, t) (*(t*)((ap += _INTSIZEOF(t)) - _INTSIZEOF(t)))
#define __crt_va_end(ap) ((void)(ap = (va_list)0))
(1)首先在函数里定义一具VA_LIST型的变量,这个变量是指向参数的指针;
(1、可变参数的类型和个数完全由程序代码控制,它并不能智能地识别不同参数的个数和类型;
(2、如果我们不需要一一详解每个参数,只需要将可变列表拷贝至某个缓冲,可用vsprintf函数;
(3、因为编译器对可变参数的函数的原型检查不够严格,对编程查错不利.不利于我们写出高质量的代码;
小结:可变参数的函数原理其实很简单,而VA系列是以宏定义来定义的,实现跟堆栈相关。我们写一个可变参数的C函数时,有利也有弊,所以在不必要的场合,我们无需用到可变参数,如果在C++里,我们应该利用C++多态性来实现可变参数的功能,尽量避免用C语言的方式来实现。
(2) 参数在堆栈中的分布:
在进程中,堆栈地址是从高到低分配的.当执行一个函数的时候,将参数列表入栈,压入堆栈的高地址部分,然后入栈函数的返回地址,接着入栈函数的执行代码,这个入栈过程,堆栈地址不断递减,一些黑客就是在堆栈中修改函数返回地址,执行自己的代码来达到执行自己插入的代码段的目的. 总之,函数在堆栈中的分布情况是:地址从高到低,依次是:函数参数列表,函数返回地址,函数执行代码段. 堆栈中,各个函数的分布情况是倒序的.即最后一个参数在列表中地址最高部分,第一个参数在列表地址的最低部分.参数在堆栈中的分布情况如下:
最后一个参数
倒数第二个参数
…
第一个参数
函数返回地址
函数代码段
(3) 指针类型转换
reinterpret_cast 编译器在编译期处理,任何指针都可以转换成其他类型的指针。
const_cast 用于将const强制转换成nonconst,将volatile转换成nonvolatile,不能在不同的种类间进行转换
dynamic_cast 仅能用于指针或引用,不支持内置数据类型,通常在基类和派生类间转换使用,在运行时会检查这个转换是否可能。dynamic_cast<T*>(a) 如果T不是a的某个基类型,则返回一个空指针。
static_cast<T*>(a) T和a必须是指针、引用、算数类型或枚举类型
(4) Character operator (#@)
字符化操作符,只能用于有传入参数的宏定义中,且必须置于宏定义体中的参数名前。作用:将传的单字符参数名转换成字符,以一对单引号括起来。
Stringizing Operator (#)
作用:将传的参数名转换成一对用双括号括起来的字符串。
Token-Pasting Operator (##)
符号连接操作符。将宏定义的多个引参合成一个实际参数名。例如:#define STR(s) #s