我如何在不使用Delphi约束的情况下确定泛型类型为nil？

Posted 2021-04-19

我想在不使用约束的情况下检查泛型类型是否为“有效”。

换句话说，我想编写以下代码：

class function TMaybe<T>.FromValue(aValue: T): TMaybe<T>;
begin
  if T <> nil then
  begin
    Result := TMaybe<T>.Some(aValue);
  end else
  begin
    Result := TMaybe<T>.None;
  end;
end;

但是，这不会与错误一起编译：

E2571 Type parameter 'T' doesn't have class or interface constraint

显然，对于这样的类，我希望能够将任何类型设为TMaybe。

是否可以检查无约束类型是否为“有效”，即不为null？ （我不在乎空字符串等）

我是否应该编写一个使用TypInfo进行识别的TypeIsEmpty<T>(aValue: T): Boolean？我想避免这种情况。

答案

尝试这样的事情：

另一答案

尝试这样的事情：