关于如何正确转换变体记录函数参数的老派 Pascal 问题

Question

我正在尝试创建一个带有允许内联转换或赋值的变体记录类型参数的函数，如下所示：

type rectype = ( VT_INT, VT_CHAR, VT_BOOL );
     rec = record
       case t : rectype of
         VT_INT  : ( i : integer );
         VT_CHAR : ( c : char );
         VT_BOOL : ( b : boolean );
     end;

procedure handler( r : rec );
begin
  case r.t of
    VT_INT  : { do something with r.i }
    VT_CHAR : { do something with r.c }
    VT_BOOL : { do something with r.b }
  end;
end;

现在，只要您花时间手动设置变量，上面的“工作”就可以了，如下所示这样：

 r.t := VT_INT;
 r.i := 42;
 handler( r );

但是，我想稍微滥用一下打字系统，并尝试内联执行（我稍后会解释原因），大致如下：

 handler( rec( VT_INT, 42 ) );

辅助函数也很好，而且我'我尝试了几种不同的方法来执行此操作，可以在此处查看（为了本文的简洁性）：

http: //pastie.org/private/glxhwbpsbbh5gtxju0uvxa

现在，原因是：我正在研究，并且确实发布了一个单元测试套件，旨在像 Pascal 本身一样可移植（在 FreePascal 和 Turbo Pascal 7 下构建） （是的，真的））。我已经公开发布了开源软件（还无法链接，没有足够的代表），其中包括针对不同类型的不同函数：isI()、isR()、isS()、isP()、isC()等等。这重复了很多代码，我知道有更好的方法来做到这一点。我相信 FPC 和 Delphi 支持一种变体类型，我可以在这些平台上通过 IFDEF 指令使用它，但真正的关键是 TP7，我仍然想出于淫秽的原因支持它。

每个函数调用 4 行来设置记录实际上并不可行，因为这是面向用户的 API，进行如此复杂的测试意味着没有人会这样做。使用当前 API 的测试集很简单，只需一个函数调用即可执行每个测试，我只是希望能够将所有几个特定于类型的函数变成类似这样的东西：

is( VT_INT, SomeIntFunc( v ), 42, 'Test Name' );

我愿意不遗余力地规避输入在 TP7 下，包括在汇编中自己操作堆栈等。但我希望使用我不熟悉的语法的修改版本能够完成这项工作。

那么，老派的 Pascal 程序员（我知道肯定有一些）有什么建议吗？

Answer 1

Free Pascal 没有问题，因为它支持 Delphi 构造，如（自定义）变体、const 接口数组和其他处理运行时类型的技巧（只要它限制在可监督的数量内）。最近的 Delphi 和 FPC 支持泛型，您可能可以用它来重复“提升”。

然而，在老派中做到这一点是困难的部分。它几乎没有无类型（或更好：运行时类型）功能。

我唯一能想到的是

 procedure rec(vartype:Ttypeofvar;var value):tvariantrecord;
 begin
   rec.t:=vartype
   case vartype of 
      vt_int: move (value,@rec.i,sizeof(integer));
      ..
      ..
 end;

一个可行的解决方法，但不是类型安全的，因为传递 rec(varint,"something double") 是可能的。除了 VAR 形式参数之外，TP 没有太多可以使用的东西。

此时，您确实必须问自己，为 TP7 破坏框架是否真的值得。到现在已经死了16年了。让它安静地腐烂。