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<T> 类型的参数并返回Class1<T> 的实例，不是比@ 更具体的类型 987654324@。但这就是您的 Class3.Compare 方法试图做的事情：调用 T.Compare 并假设输出将是 T，而实际上您只能确定它将是 Class1<U>。

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

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 必须派生自 @987654335 @);事实上，你只能确定它会返回一个object。

我认为有两种方法可以解决此问题：将Class1<T>.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);