如何在 Delphi 中测试泛型类型变量是不是与 Default(T) 相等？

Posted 2023-02-16

【中文标题】如何在 Delphi 中测试泛型类型变量是不是与 Default(T) 相等？

【英文标题】：How do I test a generic type variable for equality with Default(T) in Delphi?如何在 Delphi 中测试泛型类型变量是否与 Default(T) 相等？

【发布时间】：2009-11-23 10:44:37

【问题描述】：

我正在尝试编写如下所示的通用缓存属性访问器，但在尝试检查存储变量是否已包含值时出现编译器错误：

function TMyClass.GetProp<T>(var ADataValue: T; const ARetriever: TFunc<T>): T;
begin
  if ADataValue = Default(T) then // <-- compiler error on this line
    ADataValue := ARetriever();
  Result := ADataValue;
end;

我得到的错误是“E2015 运算符不适用于此操作数类型”。

我是否必须对T 施加约束才能使其正常工作？帮助文件说Default() 将接受除泛型类型之外的任何内容。就我而言，我主要处理简单类型，例如 String、Integer 和 TDateTime。

或者是否有其他库函数来执行此特定检查？

我正在使用 Delphi 2009，以防万一。

---

P.S.：以防万一从代码中不清楚我要做什么：在我的情况下，由于各种原因，确定实际属性值可能需要一段时间，有时我什至可能根本不需要它们。但是从好的方面来说，这些值是恒定的，所以我只想在第一次访问该属性时调用确定实际值的代码，然后将该值存储在类字段中，下次访问该属性时返回缓存的值直接地。这是我希望如何使用该代码的示例：

type
  TMyClass = class
  private
    FSomeProp: String;
    function GetSomeProp: String;

    function GetProp<T>(var ADataValue: T; const ARetriever: TFunc<T>): T;
  public
    property SomeProp read GetSomeProp;
  end;

function GetSomeProp: String;
begin
  Result := GetProp<String>(FSomeProp,
                            function: String
                            begin
                              Result := SomeSlowOrExpensiveCalculation;
                            end);
end;

（显然，不止一个属性）

【问题讨论】：

顺便说一句好主意。

您可能应该使用可为空的类型，否则代码会不断地重新评估已经缓存但具有默认值的属性。参见例如blogs.embarcadero.com/abauer/2008/09/18/38869

@mghie：很好，通常我会同意，但在这种特殊情况下，默认值总是可以安全地解释为“未初始化”。

【参考方案1】：

在来自 Binis 的 cmets 中得到提示并在 Generics.Collections 中进行了一些挖掘之后，我想出了以下内容，它似乎可以按我的意愿工作：

function TMyClass.GetProp<T>(var ADataValue: T; const ARetriever: TFunc<T>): T;
var
  lComparer: IEqualityComparer<T>;
begin
  lComparer := TEqualityComparer<T>.Default;
  if lComparer.Equals(ADataValue, Default(T)) then
    ADataValue := ARetriever();
  Result := ADataValue;
end;

【讨论】：

值得注意的是，“IEqualityComparer”现在在 Generics.Defaults 中（不确定从什么时候开始，使用 Berlin 10.1）

【参考方案2】：

问题不是Default函数，而是相等运算符=。

您可以将T 限制为IEquatable 并像这样使用Equals 方法：

TMyClass = class
  function GetProp<T : IEquatable<T>>(var ADataValue: T; const ARetriever: 
end;
...
function TMyClass.GetProp<T>(var ADataValue: T; const ARetriever: TFunc<T>): T;
begin  
if ADataValue.Equals (Default(T)) then
  ADataValue := ARetriever();  
Result := ADataValue;
end;   

【讨论】：

不知道为什么，但我得到了一个带有该代码的“未声明的标识符 'IEquatable'”（尽管我可以看到 IEquatable 确实在 System.pas 中声明）。然而，我怀疑这是否对我有用，因为我不知道像 String、TDateTime 或 Integer 这样的原始类型以某种方式隐式支持该接口......

@Oliver：你是对的，你不能将它用于原始类型。不幸的是，我不知道另一种解决方案。让我们看看其他人是否能够提供帮助。我不知道为什么你在使用IEquatable 时会收到错误消息。

实际上，System.pas 中声明的不是IEquatable，而是IEquatable<T>，它解释了错误...GetProp<T: IEquatable<T>>(... 确实编译，但正如预期的那样，我在传递时收到错误String for T: "类型参数 'T' 必须支持接口 IEquatable"