TurboPascal中如何返回集合类型作为函数结果？

Turbo Pascal（尤其是早期版本）不支持函数直接返回集合类型，这就是你遇到Error 34“Invalid result type of function”的核心原因。下面提供几种可行的替代方案：

方法1：使用var参数传递集合 #

将集合作为var类型参数传入函数，函数内部直接修改该参数的值，以此代替返回值。这是最常用且兼容性最好的方式：

type
  TState = (CS_Type1, CS_Type2, CS_Type3, CS_Type4 );
  TStateS = set of TState;

procedure Calc(var ResultSet: TStateS);
begin
  // 正确初始化集合的方式：用[]包裹元素
  ResultSet := [CS_Type1, CS_Type2];
  // 也可以用Include函数逐个添加元素
  // Include(ResultSet, CS_Type1);
  // Include(ResultSet, CS_Type2);
end;

// 调用示例
var
  MySet: TStateS;
begin
  Calc(MySet);
  // MySet现在包含CS_Type1和CS_Type2
end;

方法2：将集合包装在记录中返回 #

Turbo Pascal允许函数返回记录类型，即使记录包含集合字段。可以把集合封装到单字段记录里，让函数返回该记录：

type
  TState = (CS_Type1, CS_Type2, CS_Type3, CS_Type4 );
  TStateS = set of TState;
  // 定义包含集合的记录
  TStateSRecord = record
    Value: TStateS;
  end;

function Calc: TStateSRecord;
begin
  Result.Value := [CS_Type1, CS_Type2];
end;

// 调用示例
var
  SetRecord: TStateSRecord;
  MySet: TStateS;
begin
  SetRecord := Calc;
  MySet := SetRecord.Value;
end;

方法3：集合与整数互转返回（仅限小基数集合） #

Turbo Pascal的集合底层用位掩码实现，每个枚举元素对应整数的一个二进制位（最多支持32个元素）。可以将集合转换为整数返回，再转换回集合：

type
  TState = (CS_Type1, CS_Type2, CS_Type3, CS_Type4 );
  TStateS = set of TState;

function Calc: Integer;
begin
  // 直接通过类型转换将集合转为整数
  Result := Integer([CS_Type1, CS_Type2]);
end;

// 调用示例
var
  SetInt: Integer;
  MySet: TStateS;
begin
  SetInt := Calc;
  // 将整数转回集合
  MySet := TStateS(SetInt);
end;

额外纠正：原代码的赋值错误 #

你原代码中的Calc := CS_Type1 + CS_Type2;是错误的：+运算符在这里会将两个枚举值的序数相加（比如CS_Type1=0，CS_Type2=1，结果为1），这是整数类型，无法直接赋值给集合。正确的集合赋值应该使用[]包裹元素，或用Include函数逐个添加。

内容的提问来源于stack exchange，提问作者Georg W.