参数类型“E”不可分配给参数类型“TE”

Question

我有一个名为Structure<A, E, B, V, K> 的类，它通过接口继承了一个泛型方法FireEdges<TA, TE, TB, TV, TK>(Func<TE, TK> transformer)。

我想根据传递给FireEdges 的类型是否与实例类型匹配来运行不同的代码。

例如，如果我有：

Structure<int, int, int, int, int> s = new ...

如果我打电话给s.FireEdges<int, int, int, int, int>(Func<int, int> transformer) 例如，与调用s.FireEdges<A, B, C, D, E>(Func<B, E> transformer) 相比，它应该运行单独的代码。

为此，我尝试过这样做：

public override void FireEdges<TA, TE, TB, TV, TK>(Func<TE, TK> transformer) {
    if (typeof(TE) == typeof(E) && ... ) //Check other types too
        foreach (E e in Edges)
            e.Target.Data = transformer(e);
    else 
        //Do something else since not all types match
}

我收到此错误：

参数类型“E”不能分配给参数类型“TE”

即使我只是在检查它们确实是同一类型后才尝试分配。

显然我做错了什么，但我不知道会是什么。

谢谢

Answer 1

我想根据传递给 FireEdges 的类型是否与实例类型匹配来运行不同的代码。

永远不要这样做。如果您这样做，您的代码不是通用。泛型旨在成为 generic，因此得名。

显然我做错了什么，但我不知道会是什么。

现在你知道了。 如果您对泛型进行类型测试，则几乎可以肯定您做错了什么。

正如其他答案所指出的那样，如果您一心想以这种方式滥用泛型，您可以引入对对象的强制转换，然后对“出站”类型进行强制转换以绕过错误。 这可能会引入装箱惩罚，因为历史上抖动没有优化 T -> 装箱 T -> T 代码路径。 在这种情况下，可能已经修复了抖动以生成最佳代码，但我会检查一下。

Answer 2

仅适用于少数类型的泛型并不是真正的泛型，它只是将自己隐藏在泛型毛皮中的某种特定类型。因此，如果您的 TE-argumen 仅适用于 E 类型的实例，则不应使用泛型。而是使用可能具有该类型的普通方法，例如ReadInt、ParseString 或其他任何东西，

除此之外，在编译时没有任何东西可以将E 限制为TE 类型，只有在运行时 进行类型检查。这让编译器无法知道如何从E 生成TE。您必须使用演员表提供该信息。但是，由于这些类型之间没有关系，特别是 TE 甚至可能是一个值类型，您可能必须先转换为 object：

var te = (TE)(object)e;

Answer 3

问题是只有你知道你的参数是TE类型，但你的编译器不知道。你只需要一个演员：

e.Target.Data = transformer((TE)(object)e);