LINQ и LSP

@Mysterious Light · Регистрация: 19.07.2009

Студворк — интернет-сервис помощи студентам

Основа вопроса:
хабр http://habrahabr.ru/post/191770/
из работ автора оригинальной статьи http://blog.ploeh.dk/2012/03/2... tCoupling/

Кликните здесь для просмотра всего текста

Вспомним смысл LSP: вы должны иметь возможность передать любую реализацию интерфейса клиенту без изменения корректности системы. В то время как «корректность» является специфичной для приложения, наименьшим общим кратным должно являться то, что если метод работает корректно для одной реализации интерфейса, то он не должен выбрасывать исключения для другой. Впрочем, рассмотрим две реализации IEnumerable<string>:

C#
1
new[] { "foo", "bar", "baz" };

и вот такую:

C#
1
2
3
4
5
6
7
8
9
10
11
12
13
public class InfiniteStrings : IEnumerable<string>
{
    public IEnumerator<string> GetEnumerator()
    {
        while (true)
            yield return "foo";
    }
 
    System.Collections.IEnumerator System.Collections.IEnumerable.GetEnumerator()
    {
        return this.GetEnumerator();
    }
}

Как я уже говорил, вызов ToArray() (или ToList()) на этих двух реализациях меняет корректность системы, ибо вторая реализация (бесконечный итератор) станет причиной выброса исключения.

Из википедии:

Сообщение от wikipedia

Пусть q(x) является свойством, верным относительно объектов x некоторого типа T. Тогда q(y) также должно быть верным для объектов y типа S, где S является подтипом типа T.

Функции, которые используют базовый тип, должны иметь возможность использовать подтипы базового типа не зная об этом.

Этот принцип является важнейшим критерием для оценки качества принимаемых решений при построении иерархий наследования. Сформулировать его можно в виде простого правила: тип S будет подтипом Т тогда и только тогда, когда каждому объекту oS типа S соответствует некий объект oT типа T таким образом, что для всех программ P, реализованных в терминах T, поведение P не будет меняться, если oT заменить на oS.

IEnumerable<T> при фиксированном T — это обычный итерируемый тип

C#
1
2
3
4
5
6
7
8
interface IEnumerable<T> {
    public IEnumerator<T> GetEnumerator();
}
interface IEnumerator<T> {
    T Current { get; }
    bool MoveNext();
    void Reset();
}

Замечу, что интерфейс IEnumerator<T> накладывает ограничения (контракт) на его использование, которое не декларируется в его типе. Например, в Заметках http://msdn.microsoft.com/ru-r... 146b7.aspx указываются 3 условия, при которых Current не должен возвращать значение; выполнение этих условий лежит только на совести программистов.

Массив T[] является частным случаем IEnumerable<T>. Утверждается, что LSP нарушается, но я не могу придумать такое вычислимое свойство q, которое для хотя бы одного массива было бы неверным, а для всякого итератора — верным.

Насколько я понял, делаются попытки возразить корректности метода toArray. Я не понял, что им не понравилось в этом методе. Можно написать IEnumerable, который породит конечную последовательность; можно написать такой, который породит бесконечную. Первый при вызове toArray() оформит последовательность в виде массива, второй породит исключительную ситуацию. Я знаю, как можно описать свойство q, основываясь на поведении toArray.

В общем, ни C#, ни ООП не шарю, но очень хочу разобраться в этом вопросе.

@Mysterious Light · 06.09.2013, 09:24 **[ТС]**

На хабре появилось несколько комментариев, на этом обсуждение утихло. А здесь и не начиналось ;(
Самый интересный по моему вопросу:

Так что ни о каком нарушении LSP интерфейсом речи быть не может. Проблема не в IEnumerable, а в реализации ToArray, расчитывающей на конечность коллекции. ИМХО, автор тут перекладывает с больной головы на здоровую — IEnumerable нигде конечность коллекции не декларирует.

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

Последный хорошо отражает мысль, которая проскачила на хабре раньше (http://habrahabr.ru/post/139039/), о том, что принцип Лисков может рассматриваться только в паре с явным контрактом для эффективного его использования; если контракта нет, то по мнению автора никто не в праве требовать от структуры данных не кидать исключений или удовлетворять какому-то условию, пусть даже для программиста естественному; в этом случае выполнение LSP сводится к проверке корректности типов и не более.

Новые блоги и статьи Все статьи Все блоги /
SDL3 для Web (WebAssembly): Реализация движения на Box2D v3 - трение и коллизии с повёрнутыми стенами 8Observer8 20.02.2026 Содержание блога Box2D позволяет легко создать главного героя, который не проходит сквозь стены и перемещается с заданным трением о препятствия, которые можно располагать под углом, как верхнее. . .	Конвертировать закладки radiotray-ng в m3u-плейлист damix 19.02.2026 Это можно сделать скриптом для PowerShell. Использование . \СonvertRadiotrayToM3U. ps1 <path_to_bookmarks. json> Рядом с файлом bookmarks. json появится файл bookmarks. m3u с результатом. # Check if. . .	Семь CDC на одном интерфейсе: 5 U[S]ARTов, 1 CAN и 1 SSI Eddy_Em 18.02.2026 Постепенно допиливаю свою "многоинтерфейсную плату". Выглядит вот так: https:/ / www. cyberforum. ru/ blog_attachment. php?attachmentid=11617&stc=1&d=1771445347 Основана на STM32F303RBT6. На борту пять. . .	Камера Toupcam IUA500KMA Eddy_Em 12.02.2026 Т. к. у всяких "хикроботов" слишком уж мелкий пиксель, для подсмотра в ESPriF они вообще плохо годятся: уже 14 величину можно рассмотреть еле-еле лишь на экспозициях под 3 секунды (а то и больше),. . .
И ясному Солнцу zbw 12.02.2026 И ясному Солнцу, и светлой Луне. В мире покоя нет и люди не могут жить в тишине. А жить им немного лет.	«Знание-Сила» zbw 12.02.2026 «Знание-Сила» «Время-Деньги» «Деньги -Пуля»	SDL3 для Web (WebAssembly): Подключение Box2D v3, физика и отрисовка коллайдеров 8Observer8 12.02.2026 Содержание блога Box2D - это библиотека для 2D физики для анимаций и игр. С её помощью можно определять были ли коллизии между конкретными объектами и вызывать обработчики событий столкновения. . . .	SDL3 для Web (WebAssembly): Загрузка PNG с прозрачным фоном с помощью SDL_LoadPNG (без SDL3_image) 8Observer8 11.02.2026 Содержание блога Библиотека SDL3 содержит встроенные инструменты для базовой работы с изображениями - без использования библиотеки SDL3_image. Пошагово создадим проект для загрузки изображения. . .