Блог

Смотрите определение System.Класс Array

 public abstract class Array : IList, ...
  

Теоретически, я должен быть в состоянии написать этот бит и быть счастливым

 int[] list = new int[] {};
IList iList = (IList)list;
  

Я также должен иметь возможность вызывать любой метод из IList

  ilist.Add(1); //exception here
  

Мой вопрос не в том, почему я получаю исключение, а скорее в том, почему Array реализует IList?

Потому что массив обеспечивает быстрый доступ по индексу, и IList / IList<T> являются единственными интерфейсами коллекции, которые поддерживают это. Итак, возможно, ваш реальный вопрос заключается в том, «Почему нет интерфейса для постоянных коллекций с индексаторами?» И на это у меня нет ответа.

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

ИМО должно быть еще несколько (общих) интерфейсов коллекции в зависимости от особенностей коллекции. И имена тоже должны были быть другими, List для чего-то с индексатором действительно глупо, IMO.

• Просто перечисление IEnumerable<T>
• Доступно только для чтения, но нет индексатора (.Count, .Contains, …)
• Изменяемый размер, но без индексатора, т. Е. устанавливается как (Добавить, удалить, …) текущий ICollection<T>
• Доступно только для чтения с помощью индексатора (indexer, indexof, …)
• Постоянный размер с помощью индексатора (индексатор с настройщиком)
• Размер переменной с текущим индексатором (Insert, …) IList<T>

Я думаю, что текущие интерфейсы коллекции имеют плохой дизайн. Но поскольку у них есть свойства, указывающие вам, какие методы допустимы (и это часть контракта этих методов), это не нарушает принцип подстановки.

В разделе замечаний документации для IList говорится:

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

Очевидно, что массивы попадают в категорию фиксированного размера, поэтому по определению интерфейса это имеет смысл.

Потому что не все IList являются изменяемыми (см. IList.IsFixedSize и IList.IsReadOnly ), а массивы, безусловно, ведут себя как списки фиксированного размера.

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

Это наследие, оставшееся у нас со времен, когда было неясно, как обращаться с коллекциями, доступными только для чтения, и доступен ли Array только для чтения. В интерфейсе IList есть флаги IsFixedSize и IsReadOnly. Флаг IsReadOnly означает, что коллекция вообще не может быть изменена, а IsFixedSize означает, что коллекция допускает модификацию, но не добавление или удаление элементов.

Во времена .Net 4.5 было ясно, что для работы с коллекциями, доступными только для чтения, требуются некоторые «промежуточные» интерфейсы, поэтому были введены IReadOnlyCollection<T> и IReadOnlyList<T> .

Вот отличный пост в блоге, описывающий детали: Коллекции, доступные только для чтения в .NET

Определение интерфейса IList таково: «Представляет собой неродовую коллекцию объектов, к которым можно получить индивидуальный доступ по индексу». Массив полностью удовлетворяет этому определению, поэтому должен реализовывать интерфейс. Исключением при вызове метода Add() является «System.Исключение NotSupportedException: коллекция имела фиксированный размер » и возникло из-за того, что массив не может динамически увеличивать свою емкость. Его емкость определяется при создании объекта array.

Наличие массива, реализующего IList (и, транзитивно, ICollection), упростило механизм Linq2Objects, поскольку приведение IEnumerable к IList / ICollection также работало бы для массивов.

Например, Count() завершает вызов массива.Длина скрыта, поскольку она приводится к ICollection, а реализация массива возвращает длину.

Без этого движок Linq2Objects не имел бы специальной обработки для массивов и выполнял бы ужасно, или им пришлось бы удвоить код, добавив специальную обработку для массивов (как они делают для IList). Должно быть, они решили вместо этого заставить array реализовать IList.

Это мой взгляд на «Почему».

Также подробности реализации LINQ Last проверяет IList, если он не реализовал list, им понадобятся либо 2 проверки, замедляющие все последние вызовы, либо имеющие Last для массива, принимающего O (N)

Array Это всего лишь одна из многих возможных реализаций IList .

Поскольку код должен быть слабо связанным, зависеть от абстракций, а что нет… Вызывается конкретная реализация IList , которая использует последовательную память (массив) для хранения своих значений Array . Мы не «добавляем» IList к Array классу, это просто неправильный порядок рассуждений; Array реализует IList как массив.

Исключение — это именно то, что определяет интерфейс. Неудивительно, если вы знаете весь интерфейс, а не только один метод. Интерфейс также дает вам возможность проверить IsFixedSize свойство и посмотреть, безопасно ли вызывать Add метод.