Delphi动态收集const数组及动态数组转开放数组传参问题

现有函数定义如下：

procedure DoThis(const Args: array of const);

procedure DoThat(const Values: TArray<String>);
begin
  DoThis(Values); // 直接传递会报错，类型不匹配
end;

当需要将动态数组TArray<String>作为开放数组参数传递给DoThis时，直接传递会出现类型错误，静态数组可正常传递，需找到可行的转换方案。

核心原因 #

TArray<String>是Delphi的动态数组类型，而array of const本质是编译器封装的array of TVarRec开放数组，两者的类型系统和内存布局不兼容，因此无法直接隐式转换。

可行解决方案 #

1. 手动构建TVarRec数组传递 #

这是最通用的方案，直接构造符合array of const要求的TVarRec数组，将动态数组的每个字符串元素转换为对应的TVarRec项：

procedure DoThat(const Values: TArray<String>);
var
  VarArgs: array of TVarRec;
  I: Integer;
begin
  SetLength(VarArgs, Length(Values));
  try
    for I := 0 to High(Values) do
    begin
      // 标记类型为Unicode字符串
      VarArgs[I].VType := vtUnicodeString;
      // 赋值字符串指针（注意原字符串的生命周期需覆盖DoThis的执行）
      VarArgs[I].VUnicodeString := PUnicodeString(@Values[I]);
    end;
    // 传递构造好的开放数组
    DoThis(VarArgs);
  finally
    // 清理TVarRec的指针引用，避免潜在内存问题
    for I := 0 to High(VarArgs) do
    begin
      if VarArgs[I].VType = vtUnicodeString then
        VarArgs[I].VUnicodeString := nil;
    end;
  end;
end;

• 注意：TVarRec的VUnicodeString是指针类型，需确保原Values数组的字符串在DoThis执行期间不会被释放，这里Values是const参数，满足要求。
• 最终的finally块是安全操作，避免指针悬空。

2. 新增重载函数（若允许修改接口） #

如果有权限修改DoThis的定义，可以新增一个接受TArray<String>的重载版本，内部直接处理字符串数组：

procedure DoThis(const Args: TArray<String>); overload;
var
  I: Integer;
begin
  // 这里可以直接处理每个字符串元素，或者内部转成开放数组调用原DoThis
  for I := 0 to High(Args) do
  begin
    // 执行原DoThis的逻辑，或者调用原版本：
    // DoThis([Args[I]]);
  end;
end;

这种方式更简洁，但依赖于能否修改原函数接口。

关于你尝试过的思路的说明 #

• 使用var开放数组的思路不可行：var开放数组是用于输出参数的，编译器对其长度有严格限制，无法动态调整，且开放数组参数不能作为函数返回值，因此该方向没有可行空间。
• 直接操作内存写入数据风险极高：Delphi的类型系统对内存布局有严格要求，手动写入内存容易导致内存损坏、访问违规等问题，不建议尝试。

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