Внедрение универсального интерфейса отсутствует новое ограничение

Question

Рассмотрят следующий интерфейс:

public interface IFoo 
{ 
    M Bar<M>(); 
} 

Попытки осуществить это с

class Foo : IFoo 
{ 
    public M Bar<M>() 
    { 
     return new M(); 
    } 
} 

не работает, компилятор жалуется M не хватает new() ограничения.

Когда я добавить ограничение, как в

class Foo : IFoo 
{ 
    public M Bar<M>() where M : new() 
    { 
     return new M(); 
    } 
} 

этого еще не делает трюк, так как ограничения Foo.Bar не соответствуют ограничениям метода интерфейса теперь (и я не могу изменить что).

documentation for the compiler error CS0425 говорит

Чтобы избежать этой ошибки, убедитесь, где положение идентично в обоих деклараций, либо реализуют интерфейс явно.

Если «реализация интерфейса явно» является решением: как это сделать?

Answer 1

Если вы не можете изменить определение интерфейса, вы должны избегать использования new M(); - использовать Activator.CreateInstance вместо:

class Foo : IFoo 
{ 
    public M Bar<M>() 
    { 
     return Activator.CreateInstance<M>(); 
    } 
} 

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

---

Re: документация:

реализуют интерфейс явно.

Я думаю, что они пытаются получить в здесь «, если у вас есть метод базового класса, который имеет один набор общих ограничений, и вы хотите, чтобы реализовать интерфейс, который имеет другой набор ограничений для метода с тем же именем, явная реализация - это один из путей этого связывания ».

Answer 2

Вы можете создать явную реализацию интерфейса, щелкнув правой кнопкой мыши в интерфейсе в классе, который должен реализовать его и выбрать «реализовать явно». Названия методов должны быть перечеркнуты с именем интерфейса.

Answer 3

Внедрение интерфейса явно не решение. Компилятор просто говорит вам, что если вам нужен общий метод Bar с этим ограничением, тогда явным образом реализую интерфейс так, что могут использоваться как версии Bar, но это, очевидно, не решение, которое вы ищете.

Единственные решения:

1. Внедрение универсального типа ограничений в интерфейсе.
2. Создайте новый M через отражение: Activator.CreateInstance и оплатите цену потери типа безопасности во время компиляции; ничто не заставляет M иметь конструктор без параметров.