C# 泛型 - 从泛型类调用泛型方法

Question

我有以下类，并且尝试从 ExportFileBaseBL 类调用 Compare 方法，但收到错误

无法将类型“Class1”隐式转换为“T”。存在显式转换（是否缺少强制转换？）

public abstract class Class1<T> where T: Class2
{
    public abstract Class1<T> Compare(Class1<T> otherObj);
}

public abstract class Class3<T, U> where T: Class1<U>
                         where U: Class2
{
    public T Compare(T obj1, T obj2)
    {
        if (obj1.Prop1 > obj2.Prop1)
        {
            return obj1.Compare(obj2); // Compiler Error here
        }
        else
        {
            return obj2.Compare(obj1);  // Compiler Error here
        }
    }

}

类型转换不应该是隐式的吗？我错过了什么吗？

Answer 1

问题在于您的抽象 Compare 方法被定义为接受 Class1 类型的参数并返回 Class1 的实例，不是比 Class1更具体的类型。但这就是您的 Class3.Compare 方法尝试执行的操作：调用 T.Compare 并假设输出将是 T，当事实上，您只能确定它是 Class1。

为了提供一个更简单、更容易理解的示例，假设我有这个类：

class Parser
{
    public abstract object Parse(string text);
}

class Int32Parser
{
    public int Parse(Parser parser, string text)
    {
        return parser.Parse(text);
    }
}

上面的代码做出了一个与您自己类似的错误假设：parser.Parse将返回一个int因为 int 派生自 object （就像您的情况一样，T 必须派生自 Class1）；事实上，您只能确定它将返回一个对象。

我认为有两种方法可以解决此问题：使 Class1.Compare 成为通用方法：

public abstract U Compare<U>(U otherObj) where U : Class1<T>;

...或放宽 Class3.Compare 的类型特异性方法的返回值：

public Class1<U> Compare(T obj1, T obj2)
{
    // ...
}

就个人而言，我更喜欢第二个，除非您绝对需要第一个。当复杂性开始像这样增长时，所有这些泛型类型约束都会变得非常混乱，给您带来的负担超出您的预期。

Answer 2

使用您在类级别声明的参数类型调用该方法。

  return obj1.Compare<T>(obj2); 

您还需要使 Compare 方法的定义通用：

public abstract Class1<T> Compare<T>(Class1<T> otherObj);