C語(yǔ)言的那些小秘密之變參函數的實(shí)現

　　在學(xué)習C語(yǔ)言的過(guò)程中我們可能很少會(huì )去寫(xiě)變參函數，印象中大學(xué)老師好像也沒(méi)有提及過(guò)，但我發(fā)現變參函數的實(shí)現很巧妙，所以還是特地在此分析下變參函數的實(shí)現原理。無(wú)需標準C的支持，我們自己寫(xiě)代碼來(lái)實(shí)現。

　　先來(lái)看看一個(gè)實(shí)現代碼：

　　#include

　　#define va_list void*

　　#define va_arg(arg, type) *(type*)arg; arg = (char*)arg + sizeof(type);

　　#define va_start(arg, start) arg = (va_list)(((char*)&(start)) + sizeof(start))

　　int sum(int nr, ...)

　　{

　　int i = 0;

　　int result = 0;

　　va_list arg = NULL;

　　va_start(arg, nr);

　　for(i = 0; i < nr; i++)

　　{

　　result += va_arg(arg, int);

　　}

　　return result;

　　}

　　int main(int argc, char* argv[])

　　{

　　printf("%dn", sum(4, 100,100,100,100));

　　printf("%dn", sum(3, 200, 200, 200));

　　return 0;

　　}

　　運行結果如下：

　　#define va_list void*通過(guò)這句代碼我們實(shí)現了定義va_list是一個(gè)指針，參數類(lèi)型不定，它可以指向任意類(lèi)型的指針。為了讓arg指向第一個(gè)可變參數，我們用nr的地址加上nr的數據類(lèi)型大小就行了，采用如下的定義可以實(shí)現。

　　#define va_start(arg, start) arg = (va_list)(((char*)&(start)) + sizeof(start)) 。

　　通過(guò)(((char*)&(start)) + sizeof(start)) 可以得到第一個(gè)可變參數的地址，再將其強制轉換為va_list類(lèi)型。

　　成功取出了第一個(gè)可變參數后，接下來(lái)的任務(wù)就是繼續取出可變參數，方法跟上面求第一個(gè)可變參數的方法一樣，通過(guò)arg = (char*)arg + sizeof(type);來(lái)實(shí)現讓arg指向下一個(gè)可變參數，type為可變參數的類(lèi)型，通過(guò)這種方法可以一一取出可變參數。

　　在這里順便給出上面實(shí)現代碼的匯編代碼，有興趣的可以讀讀，加深下對于底層匯編代碼的閱讀能力。

　　.file "varargs.c"

　　.text

　　.globl sum

　　.type sum, @function

　　sum:

　　pushl %ebp

　　movl %esp, %ebp

　　subl $16, %esp

　　movl $0, -4(%ebp)

　　movl $0, -8(%ebp)

　　movl $0, -12(%ebp)

　　leal 12(%ebp), %eax

　　movl %eax, -12(%ebp)

　　movl $0, -4(%ebp)

　　jmp .L2

　　.L3:

　　movl -12(%ebp), %eax

　　movl (%eax), %eax

　　addl %eax, -8(%ebp)

　　addl $4, -12(%ebp)

　　addl $1, -4(%ebp)

　　.L2:

　　movl 8(%ebp), %eax

　　cmpl %eax, -4(%ebp)

　　jl .L3

　　movl -8(%ebp), %eax

　　leave

　　ret

　　.size sum, .-sum

　　.section .rodata

　　.LC0:

　　.string "%dn"

　　.text

　　.globl main

　　.type main, @function

　　main:

　　pushl %ebp

　　movl %esp, %ebp

　　andl $-16, %esp

　　subl $32, %esp

　　movl $100, 16(%esp)

　　movl $100, 12(%esp)

　　movl $100, 8(%esp)

　　movl $100, 4(%esp)

　　movl $4, (%esp)

　　call sum

　　movl $.LC0, %edx

　　movl %eax, 4(%esp)

　　movl %edx, (%esp)

　　call printf

　　movl $200, 12(%esp)

　　movl $200, 8(%esp)

　　movl $200, 4(%esp)

　　movl $3, (%esp)

　　call sum

　　movl $.LC0, %edx

　　movl %eax, 4(%esp)

　　movl %edx, (%esp)

　　call printf

　　movl $0, %eax

　　leave

　　ret

　　.size main, .-main

　　.ident "GCC: (Ubuntu/Linaro 4.5.2-8ubuntu4) 4.5.2"

　　.section .note.GNU-stack,"",@progbits

樹(shù)莓派文章專(zhuān)題：樹(shù)莓派是什么？你不知道樹(shù)莓派的知識和應用