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

有一个建议说时函数传递参数最好不超过四个，原因有一个是参数太多难以维护，另一个重要的原因就是函数传递小于四个参数时候效率会更高，其实这个说法也不全对，在不同的结构下不太一样，也不一定是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偏移一定字节数的位置，也就是将这四个参数进行了压栈处理

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(1001, 1002, 1003, 1004, 1005, 1006)的反汇编：

可以发现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的结构会缩短这个时间，但是远远和直接访问寄存器的访问速度差的很远

可见，在特定的结构中，参数数量会对程序访问参数的速度有着一定的影响