可变数组参数修改无法在过程外生效的原因及解决方法

这个问题的核心是开放数组参数的传递机制，我来给你拆解清楚：

当你调用arrChange([a, b])时，你以为是把变量a和b直接传入过程，但实际上Pascal会创建一个临时的动态数组副本——它会把a和b的值复制到这个临时数组里，然后把这个临时数组的引用传给arrChange。所以你在过程里修改的只是这个临时数组的元素，和原来的a、b完全是两个独立的东西，外部自然看不到变化。

对比一下你写的strChange：它的参数是var str: String，这是直接传递变量的引用（或者说地址），所以过程里修改的就是原变量本身，外部能看到变化很正常。而strChangeNotVariable是传值，修改的是副本，外部不变，这部分你已经搞懂了。

解决方法 #

这里给你两种实用的方案，根据你的需求选择：

方案1：用明确的动态数组类型+手动同步值

先定义一个动态数组类型，代替开放数组：

type
  TStringArray = array of String;

procedure arrChange(var arr: TStringArray);
var i: Integer;
begin
  // 注意：原代码的for循环有越界bug！Length(arr)是元素总数，索引最大为Length(arr)-1，用High(arr)更安全
  for i := 0 to High(arr) do
    arr[i] := 'changed';
end;

调用的时候，先把变量放进数组，修改后再同步回去：

var
  a, b: String;
  tempArr: TStringArray;
begin
  a := 'a';
  b := 'b';
  
  // 初始化临时数组，把a、b的值放进去
  SetLength(tempArr, 2);
  tempArr[0] := a;
  tempArr[1] := b;
  
  arrChange(tempArr);
  
  // 把修改后的值同步回原变量
  a := tempArr[0];
  b := tempArr[1];
  
  print(a); // 现在会输出changed
  print(b); // 现在会输出changed
end;

方案2：用指针数组直接操作原变量

如果不想手动同步值，想直接修改原变量，可以用指针数组：

type
  PString = ^String;
  TStringPtrArray = array of PString;

procedure arrChange(var arr: TStringPtrArray);
var i: Integer;
begin
  for i := 0 to High(arr) do
    arr[i]^ := 'changed'; // 通过指针直接修改原变量的值
end;

调用时直接传入变量的地址：

var
  a, b: String;
  ptrArr: TStringPtrArray;
begin
  a := 'a';
  b := 'b';
  
  SetLength(ptrArr, 2);
  ptrArr[0] := @a; // 取a的内存地址
  ptrArr[1] := @b; // 取b的内存地址
  
  arrChange(ptrArr);
  
  print(a); // 直接输出changed
  print(b); // 直接输出changed
end;

额外提醒 #

原代码里的for i := 0 to Length(arr) do会触发数组越界错误！因为数组的索引范围是0到Length(arr)-1，用High(arr)可以直接获取最大有效索引，比Length(arr)-1更可靠。

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