Hylicos --- krprint实现

本文详细介绍了可变参函数的工作原理和技术实现细节,包括参数如何入栈与弹栈、va_list等宏的作用及其实现机制。

摘要生成于 C知道 ,由 DeepSeek-R1 满血版支持, 前往体验 >

可变参函数的工作原理

函数调用时先用寄存器R0 ~R3 存放参数,如果不够放还要使用到堆栈,参数列表的形参从右到左依次入栈,弹栈时就从是左到右的顺序。
如果函数参数的个数固定,编译器就可以很清楚地在函数运行时依次从堆栈中弹出多少个参数压栈,清楚使用参数时弹栈多少个参数。
如果函数参数不固定,编译器就不知道参数的个数了,入栈弹栈时也就不知道操作多少个参数了。

所以使用可变参函数应该携带参数个数信息:void foo(int n, ...);
通常将个数信息放在可变参函数列表中的第一个,入栈时会保存在栈顶,使用参数时,弹栈的第一个参数就是个数信息了!
像printf这样的函数,第一个参数是字符串,其实其中包含了更多信息:打印格式,打印信息,还有我们说必须的 可变参个数的信息

标准可变参函数的实现

va_list就是定义一个变参变量argv
va_start宏获取可变参数列表的第一个参数的确切地址,赋值给argv变量,argv成功指向函数test_vparameter参数堆栈的栈顶
va_arg(argv, int) 每次运行都让指向argv的指针像栈底方向偏移一个int类型的长度。
va_arg让指向argv的指向指向栈底的时候就要调用va_end(argv)结束对va_list变量的操作
在这里插入图片描述

void test_num(int num){
    *(char *)0xd0000020=num+'0';
}

void test_vparameter(int i,...){
    int c;
    va_list argv;
    va_start(argv,i);
    while(i--){
        c=va_arg(argv,int);
        test_num(c);
    }
    va_end(argv);
}

实现细节

   typedef char* va_list;
   #define _INTSIZEOF(n) ((sizeof(n)+sizeof(int)-1)&(sizeof(int)-1))
   #define va_start(ap,v)    ( ap = (va_list)&v + _INTSIZEOF(v))
   #define va_arg(ap,t)  (*(t*)((ap+=_INTSIZEOF(t)) - _INTSIZEOF(t)))
   #define va_end(ap)    ( ap = (va_list)0 )

其中

_INTSIZEOF(n) ((sizeof(n)+sizeof(int)-1)&~(sizeof(int)-1))

1.~是位取反的意思。 ~(sizeof(int) - 1) )就应该为 ~(4-1)= ~(00000011b)=11111100b,这样任何数& ~(sizeof(int) - 1) )后最后两位肯定为0,就肯定是4的整数倍了。

2.(sizeof(n) + sizeof(int) - 1)就是将大于4m但小于等于4(m+1)的数提高到大于等于4(m+1)但小于4(m+2),这样再& ~(sizeof(int) - 1) )后就正好将原长度补齐到4的倍数了。

用来计算各种数据类型按照4字节对齐后的结果

va_start(ap,v) ( ap = (va_list)&v + _INTSIZEOF(v))

va_start(ap,v)实际上就是在对变量ap进行赋值,其值为变量v的地址加上v的类型按照4字节对齐后的偏移。因为参数在内存中的分布是连续的,又因为传递给宏va_start的参数v都是变参函数里可变参数列表中的前一个参数。所以,变量ap最终的结果是一个指向变参列表首地址的指针。

va_arg(ap,t) ((t)((ap+=_INTSIZEOF(t)) - _INTSIZEOF(t)))

宏va_arg(ap,t)中的参数t只能输入变量类型,该宏恰恰也是根据变量的类型来正确提取参数的。首先,宏va_arg将变量ap的值在原有的基础上加上一个对齐后的偏移,此时,ap已经指向变参到表中的下一个变量了,然后表达式在减去一个同样的值后被强行转成t类型,此时我们正好取出了变量ap所指向的那个参数,同时更新变量ap,让它指向参数列表中的下一个参数以便下次使用。

va_end(ap) ( ap = (va_list)0 )

va_end(ap)将变量ap赋值为零,从此不再使用

打印函数实例:

这里函数vsprintf才是核心,按照fmt中指定的格式 将变参列表args中的变量保存到临时缓存printbuffer中
最后调用puts将临时缓存中的字符串数据打印到终端上

 void printf (const char *fmt, ...){
     va_list args;
     uint i;
     char printbuffer[CFG_PBSIZE];
     va_start (args, fmt);

     i = vsprintf (printbuffer, fmt, args);
     va_end (args);

     puts (printbuffer);
 }

vsprintf

一、应用场景与出发点 同一个系统中,为了解决不同的客户可能需要设计不同的单据打印模板,实现此方法可能是: 1、设计不同的自带RDLC报表文件,根据当前客户加载不同的报表并打印 2、GDI+绘图 和 打印组件 ,不同的客户创建不同的绘图XML格式的模板内容 3、其他第三方组件 主要对比一下前两种方法,第一种方法不好之处在于,不灵活,开发者必须地每个客户制订一个报表,不推荐采用。第二种方法,修改对应的模板内容就可以了, 模板内容可以是Xml文件,也可以是存放在数据库中的Xml格式字符串。推荐采用这种方法。然后这种方法的也有一个棘手问题 :如何让用户快速、方便地设计打印模板,本示例就是为了解决这个问题。 二、实现思路与原理 功能概要:设计一个界面,支持用户自由添加 要打印的项,文本,直线,图片 等,并且可以方便改变打印项的 字体、颜色、粗细、位置,设计时支持效果预览。 技术要点:GDI+绘图、拖动控件、XML解析、自定义控件 三、相关类介绍 绘图工具类:DrawHelper 实现 xml格式模板 与 打印项 之间进行互相转换,在目标画板中绘制 拖动工具类:WinHelper 实现控件的鼠标拖动,键盘移动 自定义控件:用于显示文字的文本框 TextBoxExt、用于显示直线的标签 LabelExt 主窗体代码:用于用户操作,添加,删除,编辑,打印项 详细介绍请参照我的博文:http://de.cel.blog.163.com/blog/static/51451236201472215450939/
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值