C语言笔记第四十四课函数参数的秘密（上）

最新推荐文章于 2024-01-20 23:40:28 发布

原创最新推荐文章于 2024-01-20 23:40:28 发布 · 189 阅读

0 ·

CC 4.0 BY-SA版权

本文为原创，遵循Apache License, 2.0(Apache-2.0)协议，如需转载请添加原文链接

文章标签：

C语言进阶专栏收录该内容

49 篇文章

订阅专栏

本文深入探讨了函数参数在栈上的存储方式及其初始化过程，揭示了实参求值顺序的不确定性，以及C语言中顺序点的概念，解释了变量修改的最晚时机，通过实例演示了顺序点对变量值的影响。

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

第四十四课函数参数的秘密（上）

函数参数

函数参数在本质上与局部变量相同在栈上分配空间
函数参数的初始值是函数调用时的实参值
在这里插入图片描述
函数参数的求值顺序依赖于编译器的实现
下面的程序输出什么？为什么？
int k =1;
printf(“%d,%d\n”, k++, k++);
2,1 原因：由编译器决定

44-1 函数参数的求值顺序

#include <stdio.h>
int func(int i, int j)
{
    printf("i = %d, j = %d\n", i, j);
    return 0;
}
int main()
{
    int k = 1;
    func(k++, k++);
    printf("k = %d\n", k);
    return 0;
}
输出结果：
i = 2, j = 1
k = 3

程序中的顺序点

程序中存在一定的顺序点
顺序点指的是执行过程中修改变量值的最晚时刻
在程序到达顺序点的时候，之前所做的一切操作必须完成

C语言中的顺序点

每个完整表达式结束时，即分号处
&&，||，？：，以及逗号表达式的每个参数计算之后
函数调用是所有实参求值完成后（进入函数体之前）
下面的程序运行结束后k的值为多少？k = 6
int k = 2;
k = k++ + k++;
44-2 编程中的顺序点
k = k++ + k++;深层汇编指令编译
001E2AFA mov eax,dword ptr [k]
将k标识符所代表的内存里面的值取出来，赋值给eax寄存器
001E2AFD add eax,dword ptr [k]
将eax寄存器的值加上[k]标识符所代表的内存的值，即2+2，eax寄存器的值为4
001E2B00 mov dword ptr [k],exa
将eax寄存器里面的值（4）写回到k所代表的的内存空间，k=4
001E2B03 mov ecx,dword ptr [k]
001E2B06 add exc,1
001E2B09 mov dword ptr [k],exc
执行三行，==悬挂的++操作，==将k标识符所对应的内存里面的值（4）取出来，赋值到ecx寄存器里面，将ecx寄存器里面的值加1，ecx寄存器里面的值为5，将5写回k，操作完成
001E2B0C mov edx,dword ptr [k]
001E2B0F add edx,1
001E2B12 mov dword ptr [k],edx
将k标识符所对应的内存里面的值（5）取出来，赋值到edx寄存器里面，将edx寄存器里面的值加1，edx寄存器里面的值6，将6写回k所代表的内存，得到k=6，操作完成
在这里插入图片描述
小结
函数的参数在栈上分配空间
函数的实参并没有固定的计算次序
顺序点是C语言中变量修改的最晚时机