覆盖泛型类型方法时出现编译错误

Question

我在程序集 A 中公开了以下类：

public abstract class ServiceDependencyHost
{
    protected virtual T ReferenceService<T>() where T : ServiceBase
    {
        // Virtual implementation here...
    }
}

我在单独的程序集 (B) 中公开这个派生类：

public sealed class ProcessServiceOperation : ServiceDependencyHost
{
    public override T ReferenceService<T>()
    {
        // Override implementation here...

        return base.ReferenceService<T>();
    }
}

使用如上所示的代码，编译器在这一行报错：

return base.ReferenceService<T>();

类型“T”不能用作泛型类型或方法 A.ReferenceService() 中的类型参数“T”。没有从 'T' 到 'System.ServiceProcess.ServiceBase' 的装箱转换或类型参数转换。

当然，我尝试在程序集 B 中复制约束：

public override T ReferenceService<T>() where T : ServiceBase

但编译器现在会在上面的行发出警告...

覆盖和显式接口实现方法的约束是从基方法继承的，所以不能直接指定。

This answer 表示我的解决方案应该有效。我想避免使用反射来公开这种方法。应该就是这么简单！

提前感谢任何能发现我所犯错误的人。

Answer 1

严格来说，这个问题并不是由泛型引起的。问题的原因是基类方法是protected，而派生类方法是public。

覆盖声明不能改变虚方法的可访问性。覆盖方法和虚拟方法必须具有相同的访问级别修饰符。

因此，编译器假定这两个方法是不同的，派生方法无法从基方法继承where T : ServiceBase 泛型约束。由于派生方法对T 一无所知，因此当您尝试将T 传递给基方法时，它可能会抱怨无法将ServiceBase 转换为ServiceBase。

Answer 2

错误信息似乎具有误导性。

请注意，您使用 public 覆盖覆盖了 protected 虚拟方法。那是行不通的。使覆盖也受到保护，代码应该编译得很好......

（我不确定看似错误的错误消息是否是一个小故障，或者编译器的这种特殊行为背后是否有合理的解释。）

Answer 3

它是因为公共 => 受保护的。这编译得很好

public abstract class ServiceDependencyHost
        {
            protected virtual T ReferenceService<T>() where T : new()
            {
                return new T();
            }
        }

        public sealed class ProcessServiceOperation : ServiceDependencyHost
        {
            protected override T ReferenceService<T>()
            {
                // Override implementation here...

                return base.ReferenceService<T>();
            }
        }