指针在C与Fortran语言中对程序运行速度的影响

这个问题问得特别好——其实这俩语言的“快”根本不是一个路数，一个靠编译器的自动优化红利，一个靠程序员的底层控制能力，看似矛盾，实则互补：

一、Fortran的快：规则锁死别名，编译器放开了猛优化 #

90标准之前的Fortran没有指针，而且语言规则从根上杜绝了“指针别名”的可能：

• 子程序的形参默认按引用传递，但Fortran标准明确要求：实参不能是重叠的内存区域（比如不能把同一个数组的不同重叠切片传给同一个子程序的两个形参）。
• 没有C里那种可以随便指向任意内存的指针，变量的内存关系完全透明。

这对编译器来说简直是天堂！因为编译器不用再担心“我优化了这个变量的读写，会不会有某个隐藏的指针偷偷修改了它？”。举个简单例子：

SUBROUTINE ADD(A, B, N)
      INTEGER N, A(N), B(N)
      DO I=1,N
          A(I) = A(I) + B(I)
      END DO
      END

编译器看到这段代码，可以放心地把A和B的元素塞进寄存器，循环展开、向量化（比如用SIMD指令），完全不用顾虑别名问题——因为Fortran规则保证了A和B不会指向同一块内存。

二、C的快：指针给了程序员“手动开外挂”的能力 #

C的指针确实允许别名，这反而会限制编译器的自动优化——比如下面这段代码，编译器不敢随便把x放进寄存器，因为p可能指向x：

void add(int *a, int *b, int n) {
    for (int i=0; i<n; i++) {
        a[i] += b[i];
    }
}

默认情况下，编译器得每次都从内存读a[i]和b[i]，怕有别的指针改了它们。但C的优势在于：

• 底层内存控制：程序员可以用指针直接操作内存地址，手动管理缓存（比如调整数组顺序让数据更符合缓存行）、实现无锁数据结构、甚至直接访问硬件寄存器。这些都是Fortran做不到的。
• 主动消除别名限制：C99引入了restrict关键字，只要程序员保证某个指针没有别名，编译器就能像Fortran一样放开优化：

  void add(int *restrict a, int *restrict b, int n) {
      for (int i=0; i<n; i++) {
          a[i] += b[i];
      }
  }
  

  加了restrict之后，编译器就知道a和b不会重叠，立刻就能做向量化、循环展开这些优化，速度和Fortran不相上下。

三、本质：两种“快”的来源不同 #

• Fortran的快是语言规则赋能编译器，程序员不用费脑子，编译器自动给你把能做的优化都做了，适合写数值计算这类规则性强的代码。
• C的快是语言特性赋能程序员，你可以钻底层的空子，手动实现极致优化，适合写操作系统、嵌入式、高性能数据结构这类需要精细控制的场景。

说白了，一个是“编译器帮你躺赢”，一个是“程序员手动开挂”，方向相反，但都能达到高速的结果。

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