Pascal按引用传递机制：与C++/C差异及本质疑问

架构老林

2026-5-11

咱们来把这个绕人的点掰扯清楚——你纠结的Pascal按引用传递到底是C++那种别名，还是C的指针模拟，还有和现代语言里的“伪引用”区别，我给你一步步理明白。

先搞懂「按引用传递」的原始定义

在程序设计理论的原始定义里，**按引用传递（Call by Reference）**指的是：调用过程/函数时，直接传递变量的「引用」——也就是变量本身的别名，而不是它的值，也不是指向它的指针。这种机制下，过程内部对形参的任何修改，都会直接作用于实参变量本身，因为形参就是实参的另一个名字，二者绑定同一块内存。

对比C、C++和Pascal的实现差异

C的“模拟引用”：本质是按值传递指针
C没有原生的按引用传递语法，要实现类似效果，你得手动把变量的指针（&var）传给函数，然后在函数里用*ptr解引用才能修改原变量。这里的核心是按值传递——传递的是指针的值（内存地址），函数拿到的是这个地址的副本，只是通过这个副本可以间接操作原变量。你必须全程显式写解引用操作，编译器不会帮你自动处理。
C++的“真正按引用”：原生别名机制
C++的引用（比如int &ref = var;）是语言原生支持的别名。当你把变量传给带引用形参的函数时，形参就是实参的别名，两者完全绑定同一块内存。过程里对形参的修改直接作用于实参，不需要任何显式的解引用操作，所有底层细节都由编译器自动处理。
Pascal的按引用传递：语法语义是别名，底层可能用指针但透明
你看到FreePascal文档说过程会获取指针，这是底层实现细节，但从开发者接触的语法和语义层面，Pascal的按引用传递和C++的引用是完全一致的：
- 语法上，只需要在形参前加var关键字（比如procedure Foo(var x: Integer);），调用时直接传变量名就行，根本不需要像C那样手动取地址。
- 语义上，过程内部对x的修改会直接影响实参，不需要显式解引用，编译器会帮你处理指针的底层操作。
举个直观的Pascal代码例子：
```
procedure Modify(var num: Integer);
begin
  num := num + 1;
end;

var
  a: Integer;
begin
  a := 5;
  Modify(a);
  Writeln(a); // 输出6，直接修改了原变量
end;
```
这里的num就是a的别名，和C++里的引用语义完全一样——底层用指针只是编译器的实现方式，对开发者来说完全透明，不影响语言层面的语义。

别搞混「按共享调用」和现代语言的“伪引用”

现在很多语言（比如Java、Python）里常说的“按引用传递”，其实是按共享调用（Call by Sharing），和真正的按引用传递不是一回事：

按共享调用传递的是「对象引用的副本」——你可以修改对象的内部状态，但不能让实参指向一个全新的对象。
而真正的按引用传递（比如Pascal的var参数、C++的引用）允许你直接修改实参本身的绑定——比如让实参指向一个新的变量或对象。

最后总结一下

从语法和语义层面，Pascal的var参数是真正的按引用传递，等价于C++的别名机制，你不需要手动处理指针，形参就是实参的别名。
从底层实现，FreePascal可能用指针来实现这一机制，但这是编译器的内部细节，对开发者完全透明，不影响语言的语义表现。
千万别把底层实现和语言语义混为一谈：C的手动传指针是模拟引用，而Pascal的var参数是语言原生支持的按引用传递。

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