将泛型类型转换为其他类型

Question

我有一个基类

 TEventMulticaster = class(Tobject)
 public
   procedure Notify(aMap: WideString);
 end;

 procedure TEventMulticaster.Notify(aMap: WideString);
 begin
  // Do something 
 end;

还有一个派生的泛型类

  TEventMulticaster<T> = class(TEventMulticaster)
   public
     procedure Notify(aMap: T ); reintroduce;
   end;


  procedure TEventMulticaster<T>.Notify(aMap: T);
  begin
    inherited Notify(aMap)  // ERROR
  end;

当基类 Notify 被调用时，它会给我错误“不兼容的类型：'WideString' 和 'T'” 当我做**Notify(WideString(aMap))** 时，它说无效的类型转换

我的问题是如何将泛型类型转换为“WideString”，以便我可以调用基类notify

Answer 1

procedure TEventMulticaster<T>.Notify(aMap: T);
begin
  inherited Notify(aMap);
end;

这里有aMap，它是一个泛型参数，类型为T。 T 类型对此没有任何限制。它可以是任何类型。您正在寻求将aMap 转换为WideString。编译器根本无法做到这一点。没有可以接受任意类型的参数并将其转换为WideString 的总体转换。

您可以将aMap 推入TValue，然后调用TValue 的ToString 方法。编译器至少会对此感到满意：

inherited Notify(TValue.From<T>(aMap).ToString);

这可能会如您所愿。或者也许不是。这完全取决于T 碰巧是什么。如果T 是Integer 或string 之类的基本类型，那么TValue.ToString 几乎肯定会达到您的预期。如果T 更深奥，那么谁知道这段代码是否会按照您的预期运行。您当然没有向我们说明如何将任意类型转换为文本。

---

我怀疑你没有掌握泛型的一点是编译器必须知道如何编译方法而不知道泛型类型是什么。在 cmets 中，您声明：

aMap 不是类型类

虽然您可能知道，但编译器不知道。从编译器的角度来看，T 可以是任何东西。泛型与在实例化后进行编译的 Smalltalk/C++ 模板非常不同。

泛型功能确实允许您对泛型类型应用约束。然而，这些都是相当有限的。您不能应用这样的约束：type T 将有一个明确定义的隐式转换为WideString。

正如我之前对您说过的，我感觉到您正在为对泛型的理解而苦苦挣扎。我觉得你提出潜在的问题比你提出解决方案更有效率。

---

最后一点。 WideString 类型是 COM BSTR 字符串类型的包装器。在现代 Unicode 感知 Delphi 中，您仅在使用 COM 编写互操作代码时使用WideString。您应该使用string 而不是WideString。 string 类型是本机 Delphi Unicode 字符串类型 UnicodeString 的别名。

Answer 2

您正在寻找这样的东西吗？

TEventMulticaster = class
end;

TEventMulticaster<T> = class( TEventMulticaster )
public
  procedure Notify( AMsg : T );
end;

TEventMaster = class
private
  FEvents : TList<TEventMulticaster>;
public
  procedure Notify<T>( AMsg : T );
end;

procedure TEventMaster.Notify<T>( AMsg : T );
var
  LEvent : TEventMulticaster;
begin
  for LEvent in FEvents do
    if LEvent is TEventMulticaster<T> then
      ( LEvent as TEventMulticaster<T> ).Notify( AMsg );
end;