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语言中,函数的求值顺序是依赖于编译器的,并不是规律了从左向右的求值顺序。上面程序中func(k++, k++);先求出了第二个k++,然后再求出了第一个k++。
这个结论也使用C语言中的操作符,操作符中的求值顺序也是依赖于编译器

2. 程序中的顺序点

  • 程序中存在一定的顺序点
  • 顺序点指的是执行过程中修改变量值的最晚时刻
  • 在程序到达顺序点的时候, 之前所做的一切操作必须完成
  • C语言中的顺序点
    (1)每个完整表达式结束时,即分号处
    (2)&&, ||, ?:,以及逗号表达式的每个参数计算之后
    (3)函数调用时所有实参求值完成后(进入函数体之前)
    程序说明:C语言中的顺序点
// 下面的程序运行结束后k的值为多少?
#include <stdio.h>

int main()
{
    int k = 2;

    k = k++ + k++;

    printf("k = %d\n", k);

    return 0;
}

输出结果:

在ubuntu10中:k = 6
在ubuntu14中: k = 5

总结:在程序运行中,必然存在一个时间点,在这个时间点前,所有对内存操作必须完成。代码中: k = k++ + k++; 两个k++和一个加法运算这三个操作会改变k所代表的内存中的值,代码中的顺序点为";",在ubuntu10中,操作方式为:先做加法运算,其左右操作数为都为k,而将k的自增运算悬挂着,加法运算结束后,再完成完成两个自增运算,所以结果为6。而在ubuntu14中,操作方式为:先做两个自增运算,最后做加法运算,所以结果为5。

3 小结

  • 函数的参数在栈上分配空间,本质和局部变量一样;
  • 函数的实参并没有固定的计算次序,是依赖于编译器的实现;
  • 顺序点是C语言中变量修改的最晚时机。
最后编辑于
©著作权归作者所有,转载或内容合作请联系作者
平台声明:文章内容(如有图片或视频亦包括在内)由作者上传并发布,文章内容仅代表作者本人观点,简书系信息发布平台,仅提供信息存储服务。