Разве это невозможно при интра / контра / ковариации?

Question

Я хочу добиться следующего:

У меня есть интерфейс типа

interface ISomething<T>
{
   void Input(T item);

   IEnumerable<T> Outputs();
}

и иерархия типа

interface IFoo { }
interface IBar : IFoo { }
interface IBaz : IFoo { }

Я хочу иметь возможностьчтобы ссылаться на ISomething<IBaz> и ISomething<IBar> с помощью ISomething<IFoo>, чтобы я мог написать такие методы, как

void ProcessFoos(ISomething<IFoo> somethings)
{
    foreach (var something in somethings)
    {
       var outputs = something.Outputs();
       // do something with outputs
    }
}

, где somethings может быть комбинацией ISomething<IBar> с и ISomething<IBaz> с.

Возможно ли это с учетом языковых ограничений?

Если нет, как я могу изменить это как таковое?

РЕДАКТИРОВАТЬ: Вот лучший пример того, о чем я говорю

public class Program
{
    public static void Main()
    {
        IBar<IX> x = new Bar<Y>() { };
        // ^^^ Cannot implicitly convert type 'Bar<Y>' to 'IBar<IX>'. An explicit conversion exists (are you missing a cast?)
    }
}

public interface IBar<T> where T : IX
{
    void In(T item);

    T Out { get; }
}

public class Bar<T> : IBar<T> where T : IX
{
    public void In(T item) { }

    public T Out { get { return default(T); } }
}

public interface IX { }

public class Y : IX { }

Answer 1

Вы рассматриваете somethings как IEnumerable, а это не так.Если вы хотите перебрать выходные данные, назовите его так:

void ProcessFoos(ISomething<IFoo> something)
{
  foreach (var output in something.Outputs())
  {
    if(output is IBar)
    {
      // do something IBar related
    }
    else if(output is IBaz)
    {
      // do something IBaz related
    }
  }
}

Если somethings должен был быть IEnumerable, измените сигнатуру ProcessFoos следующим образом:

void ProcessFoos(IEnumerable<ISomething<IFoo>> somethings)
{
  foreach (var something in somethings)
  {
    var outputs = something.Outputs();
    var barOutputs = outputs.OfType<IBar>();
    var bazOutputs = outputs.OfType<IBaz>();

    // do something with outputs
  }
}

Это работает для меня.

Если это не работает для вас, пожалуйста, сообщите об ошибках, которые вы видите, и / или уточните, что вы пытаетесь, но не можете достичь.