.NET?? ??? ??? ???? ???? ????

???? ?? ?????? ???? ?? ??? ?? ?? ???? ?? ???? ??? ? ????. ??? .NET??? ??? ??? ??? ??? ?? ???? ??? ????. ? ??? ?? ??? ???(?: Dog ??? ???? ??)? ?? ??(?: Animal)? ????? ????? ? ? ?????.

?? ?? ??

??? List? Add ???? ??? ICollection? ????? ???? ?????. ?? ?? IList? ?????? ?? ??? ??? ????? ??? ? ??? ?? ???? ?? ?? ??? ?????.

?? ??? ??? ?? ???

.NET 4.5 ? ???:

• IReadOnlyList ? IReadOnlyCollection? ?? ??????.
• List ??? ?????? ???? ??? ??? ???? ?? ??? ??? ? ?? get-only ???? ?????.

?? .NET ??? ??:

• ??? ??? ??? ?? .NET??? ????? ??? ? ????.
• ??? ?? ?? ?? ??: ? ?? ???? IEnumerable ? get ??? ?????? ???? ??? ?? ???? ?? ???? ???? ????. ? ?? ??? ??? ??? ??? ????? ???? ?????.

??:

?? C# ??? ??? ?? ??? ???? ??? ?? ?? ?? ??? ?????.

public static class Covariance
{
    public static IIndexedEnumerable<T> AsCovariant<T>(this IList<T> tail)
    {
        return new CovariantList<T>(tail);
    }
    private class CovariantList<T> : IIndexedEnumerable<T>
    {
        private readonly IList<T> tail;
        public CovariantList(IList<T> tail)
        {
            this.tail = tail;
        }
        public T this[int index] { get { return tail[index]; } }
        public IEnumerator<T> GetEnumerator() { return tail.GetEnumerator();}
        IEnumerator IEnumerable.GetEnumerator() { return tail.GetEnumerator(); }
        public int Count { get { return tail.Count; } }
    }
}
public interface IIndexedEnumerable<out T> : IEnumerable<T>
{
    T this[int index] { get; }
    int Count { get; }
}

? ?? ??? ???? ???? ? ? ??? ??? ??? ?? ?? ???? ??? ? ????. ?? ?:

List<Dog> dogs = new List<Dog>();

IIndexedEnumerable<Animal> animals = dogs.AsCovariant();

? ??? .NET ????? ??? ???? ???? ????? ??? ?? ????? ?? ?????. ??? ??? PHP ??? ????? ?? ?? ??? ?????!