14

Как я понимаю, методы самого класса в приоритете перед методами расширения.

Возникает закономерный вопрос:

А что будет, если я вот наплодил методы расширения, а потом через какое-то время выходит новая версия библиотеки, где определен точно такой же метод в классе. Выходит, он будет в приоритете и может работать несколько иначе — все поломается.

Получается, методы расширения — это опасная штука?

Вот пример:

public class Person
{
    public void Say()
    {
        Console.WriteLine("1");
    }
}

public static class Test
{
    public static void Say(this Person p)
    {
        Console.WriteLine("2");
    }
}

class Program
{         
    static void Main(string[] args)
    {
        var t = new Person();
        t.Say();
    } 
}

Допустим, мы реализовали метод Say в виде расширения и он выводил нам 2, затем приходит обновление либы и тут бац и выводится 1. Никаких предупреждений компилятор не выдает, хотя он выдает предупреждение в том случае если мы наследуемся и объявляем метод с такой же сигнатурой и он просит написать new.

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

17
  • Пока Вы не перекомпилируете код, будут использоваться методы расширения. После перекомпиляции, будут использованны собственные методы класса. А так, да, Ваша программа может поломаться. Но она может поломаться даже если, к примеру, библиотека удалит нигде неиспользуемый внутренний класс.
    – user181245
    14 ноя 2018 в 20:06
  • @PetSerAl, тогда в чем смысл запечатывания классов? Вроде, их вводили с целью обезопасить пользователя, что бы разработчики класса могли все что угодно творить в своем классе, а пользователям дали расширения. Получается, что расширения тоже могут ломаться... 14 ноя 2018 в 20:09
  • 1
    @Grundy, да, но разве этот синтаксичский сахар не сломает код, если поставщик выпустит новую версию класса с реализованными методами, которые ранее были реализованы в моих расширениях. Вот этого я боюсь 14 ноя 2018 в 20:44
  • 1
    Просто нужно быть готовым к любым неприятностям. Когда вышел .NET Framework 4.5, он устанавливался не рядом с другими (как было со всеми предыдущими), а поверх .NET 4.0 (затирал его). Это тогда вызвало немало проблем... Это был конкретный косяк! Новую версию библиотеки вас никто не заставляет применять, если полностью удовлетворяет старая. А вот то что код, прекрасно работавший ранее, внезапно ломался на новой версии фреймворка (установлена у клиента), предусмотреть было невозможно. 14 ноя 2018 в 22:56
  • 2
    Перед использованием новой версии библиотеки делайте полное тестирование ваших проектов, как модульное, так и нагрузочное. Проблема должна быть найдена на этой стадии. А дальше поиск и замена по всему проекту. 14 ноя 2018 в 22:57

1 ответ 1

9
+50

Получается, методы расширения — это опасная штука?

Да, это несомненно так. Методы расширения — грубый хак, нарушающий принципы объектно-ориентированного программирования, и помимо проблемы неконтролируемого скрытия членами расширяемого класса они также страдают от проблемы конфликтов между самими собой (ведь разные библиотеки могут создавать методы расширения для одного класса). Чрезмерно использовать их не стоит.

Framework Design Guidelines явно не рекомендуют это:

AVOID frivolously defining extension methods, especially on types you don’t own.

Там же упоминают два случая, когда использование методов расширения оправдано:

  • Добавление какого-либо функционала во все типы, реализующие определенный интерфейс. В этом случае опасность несколько ниже, ведь в интерфейсы обычно не добавляют новые методы (так как это требовало бы переписывания кода кучи классов, которые уже реализуют этот интерфейс). Именно таким образом работает LINQ.

  • Методы, завязанные на типы, определенные в вашем собственном коде. Допустим, вы создаете метод расширения к классу String, принимающий аргумент типа Person, определенного в вашем проекте. В этом случае описанного конфликта также не будет, ведь даже если MS добавят новый метод в класс String, он точно никак не будет использовать класс из вашего кода.

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

Конечно, Framework Design Guidelines — это рекомендации для разработчиков публичных API библиотек, а не любого кода в приложениях. Но сути это мало меняет, так как нужно стремиться делать любой код пригодным к повторному использованию. Проекты имеют тенденцию расти, разделяться и т.п; какой-то код, который раньше использовался только в одном проекте, впоследствии захочется вынести в общую библиотеку. Поэтому эти рекомендации во многом можно распространить и на код приложений.


Обновление. В C# 8.0 появилась новая возможность - методы интерфейсов по умолчанию. Благодаря ей, библиотеки могут добавлять новые методы в интерфейс, не нарушая обратной совместимости. Поэтому, для методов расширения интерфейсов теперь также существует проблема потенциального скрытия методом расширяемого интерфейса.

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

Ваш ответ

By clicking “Отправить ответ”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.

Всё ещё ищете ответ? Посмотрите другие вопросы с метками или задайте свой вопрос.