Ошибка компиляции при переопределении универсального типа метода

Question

я выставить следующий класс в узле А:

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» может не следует использовать как параметр типа 'T' в родовом типе или методе A.ReferenceService(). Нет конверсии бокса или преобразования параметров типа из «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 при попытке передать его базовому методу.

Answer 2

Ошибка сообщения, кажется, вводит в заблуждение.

Обратите внимание, что вы перегрузили в защищенного виртуального метода с общественного переопределения. Это не сработает. Сделайте переопределение защищенным тоже, и код должен скомпилировать просто отлично ...

(Я не уверен, что, по-видимому, неправильное сообщение об ошибке является ошибкой или существует разумное объяснение этого конкретного поведения компилятора.)

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>(); 
      } 
     }