Нарушает ли метод Array.Add LSP?

Это определенно нарушение принципа разделения интерфейса. Интернет-провайдер утверждает, что компоненты должны зависеть только от тех интерфейсов, которые им действительно требуются. Array реализует IList, но явно не нуждается во всех методах, определенных IList, потому что он выбирает исключение, объясняющее, что он не поддерживает Add. Кроме того, все, что нуждается в Array, теперь имеет IList, несмотря на то, что не нуждается во всех его методах (потому что все, что требует массив, явно не беспокоится о Add, так как он все равно не работает). Отсутствие поддержки операции, которую ваш интерфейс предлагает вам реализовать, явно является нарушением интернет-провайдера; принуждение потребляющего кода к зависимости от интерфейса, несмотря на то, что он не нужен полностью, также является нарушением ISP.

Это может привести к нарушению принципа подстановки Лискова. Если код зависит от IList, LSP заявляет, что он должен работать правильно при передаче любой реализации IList. Однако при передаче Array этот код теперь будет генерировать исключение каждый раз, когда он попытается вызвать Add.

Является ли это нарушением LSP, зависит от того, как вы видите исключения в отношении LSP. Если подойти к этому с точки зрения того, что исключения являются частью ожидаемого контракта, то все в порядке. Метод соответствует своему контракту, и любой код, который вызывает Add без учета возможности исключения, виноват в том, что этого не происходит.

Если вы больше придерживаетесь мнения, что NotSupportedException считается ошибкой или сбоем, то это явное нарушение LSP. Лично я считаю, что принципы SOLID поддерживают друг друга и их сложнее решать в вакууме, поэтому, используя принцип сегрегации интерфейса в качестве резервной копии, я бы сказал, что интерфейс говорит: «Я могу делать эти вещи», поэтому говоря: «На самом деле, Я не могу сделать это" является ошибкой, и поэтому, вероятно, не должно рассматриваться как часть действительного контракта. Если исключение не является частью контракта, то, выбрасывая его, Array нарушает контракт Add и, следовательно, нарушает LSP.

Принцип подстановки Лисков –

Программу, использующую интерфейс, не следует путать с реализацией этого интерфейса.

Массивы составляют исключение в случае реализации IList‹› — что запутано.

void Main() 
{ 
    var arr = new int[]{1,2,3}; 

    Test(arr);  
    
    void Test(IList<int> list)
    {
        list.Add(4);
    }
}