Delphi中TArray与动态数组的AddStrings编译差异及重载疑问

一、原生AddStrings的编译错误原因 #

先看你提供的原生测试代码：

procedure Proc1;
var
  a: array of string;
  b: TArray<string>;
begin
  with TStringList.Create do
    try
      a := ['aa'] + ['bb'];
      AddStrings(a); // (1) compiled normally
      AddStrings(a + ['cc']); // (2) compiled normally
      AddStrings(['cc'] + a); // (3) compiler error E2029, ')' expected but '+' found

      b := ['aa'] + ['bb'];
      AddStrings(b); // (4) compiled normally
      AddStrings(b + ['cc']); // (5) compiled normally
      AddStrings(['cc'] + b); // (6) compiler error E2029, ')' expected but '+' found

      AddStrings(['aa', 'bb']); // (7) compiled normally
      AddStrings(['aa'] + ['bb']); // (8) compiler error E2029, ')' expected but '+' found
    finally
      Free;
    end;
end;

Delphi Alexandria中，原生AddStrings仅支持开放数组参数（array of string），编译差异的核心在于编译器对数组字面量的解析优先级，以及不同数组类型的运算符支持规则：

编译通过的场景(1,2,4,5,7) #

• AddStrings(a)/AddStrings(b)：array of string和TArray<string>本质是等价的动态数组类型，动态数组变量可以隐式转换为开放数组，直接匹配参数要求。
• AddStrings(a + ['cc'])/AddStrings(b + ['cc'])：a + ['cc']是动态数组的拼接运算（Delphi支持动态数组用+合并），结果仍是动态数组，同样能隐式转为开放数组。
• AddStrings(['aa', 'bb'])：字面量数组直接被解析为开放数组，完美匹配参数类型。

编译失败的场景(3,6,8) #

当你写['cc'] + a、['cc'] + b或['aa'] + ['bb']时，编译器会优先将字面量数组[...]解析为开放数组，但开放数组本身没有+运算符的实现——编译器找不到对应的运算逻辑，就会误以为你语法写错了，抛出E2029错误。

二、重载AddStrings2的行为差异解释 #

再看你自定义的重载代码：

type
  TStringsHelper = class helper for TStrings
    procedure AddStrings2(const values: TArray<string>); overload; // (1-Overload)
    procedure AddStrings2(const values: array of string); overload; // (2-Overload)
  end;

procedure TStringsHelper.AddStrings2(const values: TArray<string>);
var
  i: Integer;
begin
  for i := Low(values) to High(values) do
    Add(values[i]);
end;

procedure TStringsHelper.AddStrings2(const values: array of string);
var
  i: Integer;
begin
  for i := Low(values) to High(values) do
    Add(values[i]);
end;

不同重载组合的行为差异，本质是编译器的重载匹配逻辑在起作用：

1. 双重载共存时(3,6,8)可编译 #

编译器会自动寻找最匹配的重载版本。对于['cc'] + a这类表达式，编译器发现：如果把字面量['cc']解析为动态数组TArray<string>，那么+运算符就可以生效（动态数组支持拼接），运算结果也是TArray<string>，正好匹配AddStrings2(const values: TArray<string>)这个重载。此时编译器会放弃将字面量解析为开放数组的路径，转而选择动态数组的运算逻辑，因此编译通过。

2. 仅保留TArray<string>重载时 #

• AddStrings2(['cc'] + b)/AddStrings2(['aa'] + ['bb'])：b是显式声明的TArray<string>，字面量也会被解析为TArray<string>，二者相加的结果完美匹配重载参数，所以编译通过。
• AddStrings2(['cc'] + a)：a的类型是array of string，虽然它和TArray<string>本质等价，但编译器在解析时，无法自动完成['cc']（动态数组）与a（显式声明的array of string变量）的加法结果到TArray<string>的隐式匹配，因此编译失败。

3. 仅保留开放数组重载时 #

行为和原生AddStrings完全一致：字面量数组优先被解析为开放数组，而开放数组不支持+运算，所以(3,6,8)全部触发编译错误。

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