Delphi中如何将特定类型变量转换为泛型T？

嘿，我懂你在Delphi泛型这里卡壳的滋味——想给记录包装器的TryGet<T>方法做类型分支返回特定值，结果碰上个E2010类型不兼容的错误，常规的类型转换手段在无约束泛型里还没法用，重载的思路也没达到预期效果对吧？

先看看你最初写的有问题的代码：

function TMyRec.TryGet<T>(const Default: T): T; 
begin 
  if TypeInfo(T) = TypeInfo(TMyObject) then 
    Result:= FMyObject {E2010 类型不兼容} 
  else 
    Result:= FMyObject.TryGet<T>(Default); 
end; 

确实，Delphi的泛型编译器在这里会严格卡类型匹配，哪怕你已经通过TypeInfo确认了类型，直接赋值还是会报错。而且当T没被限制为class类型时，as T或者T()这类转换语法根本没法用，这就很头疼。

你提到的重载思路：

function TryGet<T: TMyObject>(const Default: T): T; overload; {...} 
Result:= FMyObject as T; {此处可正常运行} 

这个重载方法本身是能跑的，但问题在于Delphi编译器匹配重载时，会优先选无约束的泛型版本（因为它适用范围更广），所以没法仅靠泛型约束差异让编译器自动匹配到这个重载方法。

为了方便大家理解讨论，你还附上了编辑前的简化示例：

function TMyRec.TryGet<T>(const Default: T): T; 
begin 
  if TypeInfo(T) = TypeInfo(TMyObject) then 
    Result:= FMyObject //else ... 
  else 
    Result:= Default; 
end; 

那该怎么解决这个问题呢？给你两个实用的方案：

方案1：用TValue做类型中转（推荐，更安全） #

Delphi的TValue类型能灵活处理各种类型转换，正好适配这种泛型场景。修改后的代码如下：

function TMyRec.TryGet<T>(const Default: T): T;
var
  TempValue: TValue;
begin
  if TypeInfo(T) = TypeInfo(TMyObject) then
  begin
    TempValue := FMyObject;
    Result := TempValue.AsType<T>;
  end
  else
    Result := FMyObject.TryGet<T>(Default);
end;

TValue会帮你处理转换细节，还保留了类型安全检查，比硬转换靠谱多了。

方案2：指针强制转换（适合追求性能的场景） #

如果你确定T在判断后一定是TMyObject或其子类，可以用指针强制转换绕开编译器的类型检查，但一定要保留TypeInfo的判断做前置保护，避免类型错误：

function TMyRec.TryGet<T>(const Default: T): T;
begin
  if TypeInfo(T) = TypeInfo(TMyObject) then
    Result := T(TObject(FMyObject))
  else
    Result := FMyObject.TryGet<T>(Default);
end;

这种方式效率更高，但要注意风险——如果后续代码逻辑改动导致TypeInfo判断失效，很容易引发内存错误。

另外关于重载的问题，如果你还是想用重载思路，可以考虑给两个方法起不同的名字（比如TryGetObject<T: TMyObject>和TryGet<T>），这样就能明确区分调用，避免编译器匹配歧义。

内容的提问来源于stack exchange，提问作者maf-soft