函数顺序点分析和可变参数函数

函数分析

1. 说明

1. 程序的内存布局

   1. 堆栈段在程序运行后才正式存在，是程序运行的基础
   2. .bss段存放的是未初始化的全局变量和静态变量
   3. .text段存放的是程序的可执行代码
   4. .data段保存的是已经初始化了的全局变量和静态变量
   5. .rodata段存放程序中的常量值，如字符串常量

   • 如图

1. 函数的活动记录

   1. 临时变量域：存放临时变量的值，如k++的中间结果
   2. 局部变量域：用来存放函数本次执行中的局部变量
   3. 机器状态域：用来保存调用函数之前有关机器状态的信息，包各种寄存器的当前值和返回地址等
   4. 实参数域：存放函数的实参信息
   5. 返回值域：为调用者函数存放返回值

   • 如图：

2.函数的顺序点

1. 说明：

   1. 程序中存在顺序点，顺序点是执行过程中修改变量值最晚的时刻
   2. 在程序到达顺序点的时候，之前做的一切修改必须反映到后续的访问中
   3. 顺序点的判断
      

   1. 每个完整的表达式结束时
      
   2. &&，||，？：，逗号表达式的每个运算对象计算之后
      
   3. 函数调用中对所有实际参数的求值完成之后(进入函数体之前)

• 示例：

• void f(int k, int j)
  {
      /*结果是i = 2， j = 1*/
      /*
      在执行函数前，先对实参i++进行计算的到2，把内存中指向实参i的内容改变为2，
      然后复制给形参k，由于i++是告诉系统我自己可以最后取值(目前是在临时变量域取值1)，所以i的值还是1并且复制给j，
      在执行完后，i才真正的变成2
      */
      printf("k = %d, j = %d\n", i, j);
  }
  
  int main()
  {
      int k = 2;
      int a = 1;
  
      k = k++ + k++;  //顺序点是最后的分号
      printf("k = %d\n", k);  //k的值最后为6(考虑运算符优先级)
      /*先进行两个k++操作，但是没有到顺序点，所不能立即生效，
      然后执行中间的加法操作 k = 4 然后到达顺序点，然后进行两次++操作，然后赋值给最终的k*/
  
      if(a-- && a)  //a-- begin a = 0
      {
          printf("a = %d\n", a);
      }
  
      int i = 1;
      f(i, i++);  //顺序点是函数执行前，参数列表要计算完
      return 0;
  }

  3.可变参数

  1. 说明：

     1. 参数可变函数依赖于头文件stdarg.h
     2. 可变参数必须从头到尾按照顺序逐个访问
     3. 参数列表中至少存在一个确定的明名参数
     4. 可变参数宏无法判断实际存在的参数的数量
     5. 可变参数宏无法判断参数的实际类型

     6. va_list变量与va_start,va_end,和va_arg配合使用能够访问参数值

        1. va_arg中如果指定了错误的类型，那么结果是不可预测的

     7. 无法直接访问可变参数列表中间的参数值

  2. 示例：

  #include <stdarg.h>
  
  float average(int n, ...)
  {
      va_list args;  //使用可变参数列表声明变量
      int i = 0;
      float sum = 0;
  
      va_start(args, n);  //开始可变参数的读取
  
      for(i = 0; i < n; ++i)
      {
          sum += va_arg(args, int);  //按顺序读取可变参数
      }
  
      va_end(args);  //结束可变参数的读取
      return sum / n;
  }
  
  int main()
  {
      printf("%-.3f\n", average(5, 1, 2, 3, 4, 5));
      printf("%-.3f\n", average(4, 1, 2, 3, 4));
      return 0;
  }