Как создать ковариантный метод расширения на общем интерфейсе в C#?

Question

Если название не имело смысла, вот пример:

interface IEat { void Eat; } 
class Cat : IEat { void Eat { nom(); } } 
class Dog : IEat { void Eat { nom(); nom();nom(); } } 
class Labrador : Dog { } 

Я хотел бы создать расширение метод, как это:

public static void FeedAll(this IEnumerable<out IEat> hungryAnimals) { 
    foreach(var animal in hungryAnimals) animal.Eat(); 
} 

Так что я могу сделать это:

listOfCats.FeedAll(); 
listOfLabs.FeedAll(); 
listOfMixedHungryAnimals.FeedAll(); 

Возможно ли это? Где я неправ?

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

Edit:

Я goofed в пример немного. Мой фактический код использует IList, я надеялся, что доступны операции Count и index. Основываясь на ответах ниже, я предполагаю, что мне придется пойти в другом направлении для методов, которые требуют IList-семантики.

Answer 1

IEnumerable уже является ковариантным, поэтому ваш метод расширения может принимать IEnumerable<IEat>, а экземпляр IEnumerable<Dog> будет действительным аргументом, что делает метод расширения применимым к переменным этих типов.

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

Answer 2

Это будет работать, если вы удалите out:

public static void FeedAll(this IEnumerable<IEat> hungryAnimals) { 
    foreach(var animal in hungryAnimals) animal.Eat(); 
} 

дисперсия относится к параметрам самого интерфейса (T в IEnumerable<T> в данном случае), поэтому List<Dog> совместим с IEnumerable<IEat>.

Answer 3

Вам не нужно, чтобы оно передавалось по ссылке, поэтому оно будет работать без него.

Answer 4

Как отмечает Servy, Enumerable<T> уже ковариант, но это не обязательно. Для более старых версий, где интерфейс не является ковариантным, вы можете сделать это:

public static void FeedAll<T>(this IEnumerable<T> hungryAnimals) where T : IEat 
{ 
    foreach(var animal in hungryAnimals) animal.Eat(); 
}