C# Использование дженериков и интерфейс реализации

Question

Контекст: .NET 4.0, C#

Я создаю набор интерфейсов и набор clases, которые реализуют их, чтобы обеспечить некоторую услугу. Клиенты используют конкретные кланы, но вызывают методы, объявленные с использованием интерфейсов в качестве типов параметров.

упрощенный пример это один:

namespace TestGenerics 
{ 
    // Interface, of fields 
    interface IField 
    { 
    } 

    // Interface: Forms (contains fields) 
    interface IForm<T> where T : IField 
    { 

    } 

    // CONCRETE CLASES 
    class Field : IField 
    { 
    } 

    class Form <T> : IForm<T> where T : IField 
    { 
    } 

    // TEST PROGRAM 
    class Program 
    { 
     // THIS IS THE SIGNATURE OF THE METHOD I WANT TO CALL 
     // parameters are causing the error. 
     public static void TestMethod(IForm<IField> form) 
     { 
      int i = 1; 
      i = i * 5; 
     } 

     static void Main(string[] args) 
     { 
      Form<Field> b = new Form<Field>(); 
      Program.TestMethod(b); 
     } 
    } 
} 

код имеет смысл для меня, но я получаю ошибку компиляции:

Argument 1: cannot convert from ' TestGenerics.Form<TestGenerics.Field> ' to ' TestGenerics.IForm<TestGenerics.IField> ' TestGenerics

я не уверен, что я делаю неправильно , Я прочитал много страниц в Интернете, но никто не решил мою проблему.

Есть ли решение, которое не было бы модифицировать так много архитектуры, что я пытаюсь построить:

Edit: Я разработал интерфейсы таким образом, чтобы они должны быть независимыми от конкретных clases, которые реализуют их , Бетонные кладки могут быть загружены из dll, но большая часть приложения работает с интерфейсами. В некоторых случаях мне нужно использовать конкретные кланы, особенно при использовании класов, которые необходимо сериализовать.

Заранее спасибо.

Алехандро

Answer 1

Проблема заключается в том, что Form<Field> реализует IForm<Field> но не IForm<IField>. Вы не можете использовать унаследованный класс (или интерфейс) в качестве общего параметра, если он не помечен как ковариантный с идентификатором out. Тем не менее, маркировка вашего интерфейса как ковариантного будет значительно ограничивать использование (в основном, в интерфейсе «только для вывода», например IEnumerable), поэтому он может не сработать для вас.

Один из способов заставить его работать, чтобы сделать TestMethod родовые, а также:

public static void TestMethod<T>(IForm<T> form) where T:IField 
{ 
    int i = 1; 
    i = i * 5; 
} 

Answer 2

Вы можете использовать ковариационный, например, так:

interface IForm<out T> where T : IField 
{ 

} 

Подробнее о Ковариационном и контрвариации here.

Answer 3

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

Вы уже сказали, что используете методы, объявленные в интерфейсе IField, поэтому нет необходимости создавать общий класс IForm - просто им нужно хранить ссылки на IField вместо общего аргумента «T» (который уже гарантированно является IFFI).

Например, используйте:

public interface IForm 
{ 
    IEnumerable<IField> Fields { get; set; } 
} 

вместо

public interface IForm<T> where T : IField 
{ 
    IEnumerable<T> Fields { get; set; } 
}