为什么说函数传递参数最好小于四个

有一个说法说是函数传递参数最好不超过四个,原因有一个是参数太多难以维护,另一个重要的原因就是函数传递小于四个参数时候效率会更高,其实这个说法也不全对,在不同的结构下不太一样,也不一定是4

其实那么下面将探究函数参数传递相关的问题

X86架构

这里拿比较常用的cdecl举例,先来一个简单的函数去传递六个参数去看传递的过程

#include <stdio.h>   
#include <stdlib.h>

int foo (int arg1, int arg2, int arg3, int arg4, int arg5, int arg6)
{  

    int array[] = {arg1, arg2, arg3, arg4, arg5, arg6};
    return 0;
}       


int main ()
{
    foo(1, 2, 3, 4, 5, 6);
    return 0;
}    

foo(1001, 1002, 1003, 1004, 1005, 1006)的反汇编:

ESP为栈顶,每条都将一个立即数(常量值)存储到相对于堆栈指针esp偏移一定字节数的位置,也就是将这6个参数进行了压栈处理

int array[] = { arg1,arg2,arg3,arg4,arg5,arg6 }的反汇编:

会发现每回都从栈[rsp+0xXX]里面取到一个参数,并放到array里面

X86的参数传递调用约定

在32位的调用约定有cdecl(C标准),stdcall(WinAPI默认),fastcall三种

cdecl,stdcall下规定参数传递顺序为从右到左依次压栈

fast下规定参数1、参数2、参数3、参数4分别保存在 RCX、RDX、R8D、R9D ,剩下的参数从右往左一次入栈

X64架构 

传递6个参数

#include <stdio.h>   
#include <stdlib.h>

int foo (int arg1, int arg2, int arg3, int arg4, int arg5, int arg6)
{  

    int array[] = {arg1, arg2, arg3, arg4, arg5, arg6};
    return 0;
}       


int main ()
{
    foo(1, 2, 3, 4, 5, 6);
    return 0;
}    

 foo(1, 2, 3, 4, 5, 6)的反汇编:

可以发现1,2,3,4四个变量分别存入到了EAX,EDX, R8D, R9D中了

但是多出去的5,6两个变量传递也压到了栈里面,

后面的过程1,2,3,4四个值会直接从EAX,EDX, R8D, R9D四个寄存器中拿到

而5,6就需要[rsp+0x28]和[rsp+0x20]中拿到了

X64的调用约定

参数1、参数2、参数3、参数4分别保存在 RCX、RDX、R8D、R9D ,剩下的参数从右往左一次入栈

ARM架构

ARM的CPU结构和X86不一样,所以寄存器的命名不一样

和X64方式差不多,前四个参数放到了r1,r2,r3,r4四个寄存器中,剩下的也进行了压栈

Arm的调用约定

ARM和ARM64使用的是ATPCS(ARM-Thumb Procedure Call Standard/ARM-Thumb过程调用标准)的函数调用约定
参数1~参数4 分别保存到 R0~R3 寄存器中 ,剩下的参数从右往左一次入栈,被调用者实现栈平衡,返回值存放在 R0 中

区别和结论

当直接访问寄存器的时候,不进行内存访问,CPU访问寄存器的速度大概在1-2个时钟周期
当你从[rsp+0xXX]获取数据时,实际上是在进行一次内存访问,内存访问的时钟周期大概在几十到上百之间,但是现代CPU的chche的结构会缩短这个时间,但是远远和直接访问寄存器的访问速度差的很远

可见,在特定的结构中,参数数量会对程序访问参数的速度有着一定的影响,但是非极端情况下,这个影响可能影响可以忽略不记

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值