C语言多访问场景下：本地变量与直接操作指针参数的效率对比

先回顾两种实现：
第一种（本地变量计数）：

char **fun(size_t *size) {  
  size_t local_size = 0;
  while (...) {
    //Function code...
    local_size++;
  }
  *size = local_size;
  //Code for returning
}

第二种（直接操作指针指向变量）：

char **fun(size_t *size) {  
  *size = 0;
  while (...) {
    //Function code...
    (*size)++;
  }
  //Code for returning
}

当函数内部对计数器有大量访问时，第一种实现的效率明显更高，原因如下：

• 寄存器优化优先级更高：本地变量（栈上分配）几乎一定会被编译器优先放到CPU寄存器中，寄存器的读写速度比内存快数倍到数十倍。而指针指向的变量，受限于严格别名规则（编译器无法确定该内存是否会被外部代码/线程修改），通常无法被优化到寄存器，每次操作都要走内存寻址流程。
• 内存访问开销差异：循环中每次(*size)++都要完成「解引用指针找内存地址→读取值→自增→写回内存」这一系列操作；而local_size++如果在寄存器中，就是单条CPU自增指令，几乎无额外开销。当循环次数较多时，这部分开销会被显著放大。
• 代码生成更高效：查看编译后的汇编代码，本地变量版本的循环仅包含寄存器自增指令；指针版本则需要加载、自增、存储多条指令，执行周期更长。

当然，如果编译器能通过分析确定指针指向的变量不会被外部修改（比如开启O2/O3优化且代码符合严格别名规则），有可能把*size也优化到寄存器，但这种场景的兼容性和稳定性远不如本地变量的优化逻辑。

另外补充：栈内存的分配本身几乎没有开销——函数进入时会一次性分配整个栈帧，本地变量只是栈帧里的一个偏移，不存在额外的分配成本，真正影响效率的是后续的访问方式。

内容的提问来源于stack exchange，提问作者Cardstdani