Что такое принцип обращения зависимостей и почему он важен?
oop
solid-principles
glossary
principles
dependency-inversion
Филипп Уэллс
источник
источник
Ответы:
Проверьте этот документ: Принцип инверсии зависимостей .
Это в основном говорит:
Что касается того, почему это важно, вкратце: изменения рискованны, и, полагаясь на концепцию, а не на реализацию, вы уменьшаете необходимость изменений на сайтах вызовов.
По сути, DIP уменьшает связь между различными частями кода. Идея заключается в том, что, хотя существует множество способов реализации, скажем, средства ведения журнала, способ его использования должен быть относительно стабильным во времени. Если вы можете извлечь интерфейс, который представляет концепцию ведения журнала, этот интерфейс должен быть гораздо более стабильным во времени, чем его реализация, и на сайты вызовов должно быть значительно меньше под влиянием изменений, которые вы могли бы внести при поддержке или расширении этого механизма ведения журнала.
Также делая зависимость реализации от интерфейса, вы получаете возможность выбирать во время выполнения, какая реализация лучше подходит для вашей конкретной среды. В зависимости от случаев это тоже может быть интересно.
источник
Книги Agile Software Development, Принципы, Шаблоны и Практики и Agile Принципы, Шаблоны и Практики в C # являются лучшими ресурсами для полного понимания первоначальных целей и мотивов, лежащих в основе Принципа инверсии зависимостей. Статья «Принцип обращения зависимостей» также является хорошим ресурсом, но из-за того, что она является сжатой версией черновика, который в конечном итоге попал в ранее упомянутые книги, она оставляет некоторые важные дискуссии о концепции владение пакетами и интерфейсами, которые являются ключевыми для отличия этого принципа от более общего совета «программировать для интерфейса, а не реализации», который можно найти в книге «Шаблоны проектирования» (Gamma и др.).
Для краткого изложения принцип инверсии зависимостей в первую очередь направлен на изменение традиционного направления зависимостей от компонентов «более высокого уровня» к компонентам «более низкого уровня», так что компоненты «более низкого уровня» зависят от интерфейсов, принадлежащих компонентам «более высокого уровня» , (Примечание. Компонент «более высокого уровня» здесь относится к компоненту, требующему внешних зависимостей / сервисов, а не обязательно к его концептуальному положению в многоуровневой архитектуре.) При этом связь не уменьшается настолько, насколько она смещается от компонентов, которые теоретически менее ценным для компонентов, которые теоретически более ценны.
Это достигается путем разработки компонентов, чьи внешние зависимости выражаются в виде интерфейса, для которого потребитель компонента должен предоставить реализацию. Другими словами, определенные интерфейсы выражают то, что нужно компоненту, а не то, как вы используете компонент (например, «INeedSomething», а не «IDoSomething»).
То, на что не ссылается Принцип инверсии зависимостей, - это простая практика абстрагирования зависимостей с помощью интерфейсов (например, MyService → [ILogger ⇐ Logger]). Хотя это отделяет компонент от конкретной детали реализации зависимости, оно не инвертирует отношения между потребителем и зависимостью (например, [MyService → IMyServiceLogger] ⇐ Logger.
Важность принципа инверсии зависимости может быть сведена к единственной цели - возможности повторно использовать программные компоненты, которые полагаются на внешние зависимости для части их функциональных возможностей (регистрация, проверка и т. Д.)
В рамках этой общей цели повторного использования мы можем выделить два подтипа повторного использования:
Использование программного компонента в нескольких приложениях с реализациями зависимостей (например, вы разработали DI-контейнер и хотите обеспечить ведение журнала, но не хотите связывать свой контейнер с определенным регистратором, так что каждый, кто использует ваш контейнер, должен также использовать выбранную вами библиотеку журналов).
Использование программных компонентов в развивающемся контексте (например, вы разработали компоненты бизнес-логики, которые остаются неизменными в разных версиях приложения, где детали реализации развиваются).
В первом случае повторного использования компонентов в нескольких приложениях, например, с библиотекой инфраструктуры, цель состоит в том, чтобы предоставить потребителям базовую инфраструктуру, не привязывая ваших потребителей к зависимостям вашей собственной библиотеки, поскольку для получения зависимостей от таких зависимостей требуется потребителям также требуются такие же зависимости. Это может быть проблематично, когда потребители вашей библиотеки решают использовать другую библиотеку для тех же потребностей инфраструктуры (например, NLog и log4net), или если они решают использовать более позднюю версию необходимой библиотеки, которая не имеет обратной совместимости с версией требуется вашей библиотекой.
Во втором случае повторного использования компонентов бизнес-логики (т. Е. «Компонентов более высокого уровня») цель состоит в том, чтобы изолировать реализацию вашего приложения в основной области от меняющихся потребностей ваших деталей реализации (например, изменение / обновление постоянных библиотек, библиотек обмена сообщениями). стратегии шифрования и т. д.). В идеале изменение деталей реализации приложения не должно нарушать компоненты, инкапсулирующие бизнес-логику приложения.
Примечание. Некоторые могут возражать против описания этого второго случая как фактического повторного использования, полагая, что такие компоненты, как компоненты бизнес-логики, используемые в одном развивающемся приложении, представляют собой только одно использование. Идея здесь заключается в том, что каждое изменение в деталях реализации приложения отображает новый контекст и, следовательно, другой вариант использования, хотя конечные цели можно отличить как изоляция и переносимость.
Хотя следование принципу инверсии зависимостей во втором случае может принести некоторую пользу, следует отметить, что его значение применительно к современным языкам, таким как Java и C #, значительно снижено, возможно, до такой степени, что оно не имеет значения. Как обсуждалось ранее, DIP включает в себя полное разделение деталей реализации на отдельные пакеты. В случае развивающегося приложения, однако, простое использование интерфейсов, определенных в бизнес-сфере, защитит от необходимости модифицировать компоненты более высокого уровня из-за меняющихся потребностей компонентов детализации реализации, даже если детали реализации в конечном итоге находятся в одном пакете. , Эта часть принципа отражает аспекты, которые имели отношение к языку в момент его кодификации (например, C ++), которые не имеют отношения к более новым языкам. Это сказало,
Более подробное обсуждение этого принципа, поскольку оно касается простого использования интерфейсов, внедрения зависимостей и шаблона разделенного интерфейса, можно найти здесь . Кроме того, обсуждение того, как этот принцип относится к динамически типизированным языкам, таким как JavaScript, можно найти здесь .
источник
При разработке программных приложений мы можем рассматривать классы низкого уровня, классы, которые реализуют базовые и основные операции (доступ к диску, сетевые протоколы, ...), а классы высокого уровня - классы, которые инкапсулируют сложную логику (бизнес-потоки, ...).
Последние полагаются на классы низкого уровня. Естественным способом реализации таких структур было бы написание классов низкого уровня и, как только мы их получили, написание сложных классов высокого уровня. Поскольку классы высокого уровня определяются в терминах других, это кажется логичным способом сделать это. Но это не гибкий дизайн. Что произойдет, если нам нужно заменить класс низкого уровня?
Принцип обращения зависимостей гласит:
Этот принцип стремится «инвертировать» традиционное представление о том, что модули высокого уровня в программном обеспечении должны зависеть от модулей более низкого уровня. Здесь высокоуровневые модули владеют абстракцией (например, выбирая методы интерфейса), которые реализуются низкоуровневыми модулями. Таким образом, делая модули более низкого уровня зависимыми от модулей более высокого уровня.
источник
Эффективное применение инверсии зависимостей дает гибкость и стабильность на уровне всей архитектуры вашего приложения. Это позволит вашему приложению развиваться более безопасно и стабильно.
Традиционная многоуровневая архитектура
Традиционно пользовательский интерфейс многоуровневой архитектуры зависел от бизнес-уровня, а это, в свою очередь, зависело от уровня доступа к данным.
Вы должны понимать слой, пакет или библиотеку. Посмотрим, как будет выглядеть код.
У нас была бы библиотека или пакет для слоя доступа к данным.
И другая бизнес-логика уровня библиотеки или пакета, которая зависит от уровня доступа к данным.
Многоуровневая архитектура с инверсией зависимостей
Инверсия зависимости указывает на следующее:
Что такое модули высокого уровня и низкого уровня? Мышление модулей, таких как библиотеки или пакеты, высокоуровневыми модулями будут те, которые традиционно имеют зависимости и низкоуровневые, от которых они зависят.
Другими словами, высокий уровень модуля будет там, где вызывается действие, и низкий уровень, где действие выполняется.
Из этого принципа можно сделать разумный вывод: между конкрециями не должно быть зависимости, но должна быть зависимость от абстракции. Но в соответствии с подходом, который мы используем, мы можем неправильно использовать зависимость от инвестиций, но это абстракция.
Представьте, что мы адаптируем наш код следующим образом:
У нас была бы библиотека или пакет для уровня доступа к данным, который определяет абстракцию.
И другая бизнес-логика уровня библиотеки или пакета, которая зависит от уровня доступа к данным.
Хотя мы зависим от абстракции, зависимость между бизнесом и доступом к данным остается неизменной.
Чтобы получить инверсию зависимостей, интерфейс персистентности должен быть определен в модуле или пакете, где находится логика или домен высокого уровня, а не в модуле низкого уровня.
Сначала определите, что такое уровень домена, и абстракция его связи определяется постоянством.
После того, как уровень персистентности зависит от домена, теперь можно инвертировать, если определена зависимость.
(источник: xurxodev.com )
Углубление принципа
Важно хорошо усвоить концепцию, углубить цель и выгоды. Если мы останемся в механике и изучим типичный репозиторий, мы не сможем определить, где мы можем применить принцип зависимости.
Но почему мы инвертируем зависимость? Какова основная цель за пределами конкретных примеров?
Такое обычно позволяет наиболее стабильным вещам, которые не зависят от менее стабильных вещей, меняться чаще.
Тип персистентности легче изменить, либо база данных или технология для доступа к той же базе данных, чем логика домена или действия, предназначенные для связи с постоянством. Из-за этого зависимость меняется на противоположную, потому что легче изменить постоянство, если это изменение произойдет. Таким образом, нам не придется менять домен. Доменный слой является наиболее стабильным из всех, поэтому он не должен зависеть ни от чего.
Но есть не только этот пример хранилища. Существует много сценариев, в которых применяется этот принцип, и существуют архитектуры, основанные на этом принципе.
архитектуры
Существуют архитектуры, в которых инверсия зависимостей является ключом к ее определению. Во всех доменах это наиболее важно, и именно абстракции будут указывать протокол связи между доменом и остальными пакетами или библиотеками.
Чистая Архитектура
В чистой архитектуре домен расположен в центре, и если вы посмотрите в направлении стрелок, указывающих на зависимость, станет ясно, какие слои являются наиболее важными и стабильными. Наружные слои считаются нестабильными инструментами, поэтому избегайте зависимости от них.
(источник: 8thlight.com )
Шестиугольная архитектура
То же самое происходит с гексагональной архитектурой, где домен также расположен в центральной части, а порты являются абстракциями коммуникации от внешнего мира домино. Здесь снова очевидно, что область является наиболее устойчивой и традиционная зависимость является инвертированной.
источник
Для меня Принцип инверсии зависимостей, описанный в официальной статье , на самом деле является ошибочной попыткой увеличить возможность повторного использования модулей, которые по своей природе являются менее многократно используемыми, а также способом обойти проблему в языке C ++.
Проблема в C ++ состоит в том, что заголовочные файлы обычно содержат объявления закрытых полей и методов. Поэтому, если модуль высокого уровня C ++ включает заголовочный файл для модуля низкого уровня, это будет зависеть от фактической реализации деталей этого модуля. И это, очевидно, не очень хорошая вещь. Но это не проблема в более современных языках, обычно используемых сегодня.
Модули высокого уровня по своей природе менее пригодны для повторного использования, чем модули низкого уровня, поскольку первые обычно более специфичны для приложения / контекста, чем последние. Например, компонент, который реализует экран пользовательского интерфейса, имеет самый высокий уровень и также очень (полностью?) Специфичен для приложения. Попытка повторно использовать такой компонент в другом приложении неэффективна и может привести только к чрезмерной разработке.
Таким образом, создание отдельной абстракции на том же уровне компонента A, который зависит от компонента B (который не зависит от A), может быть выполнено, только если компонент A действительно будет полезен для повторного использования в различных приложениях или контекстах. Если это не так, то применение DIP было бы плохим дизайном.
источник
В основном это говорит:
Класс должен зависеть от абстракций (например, интерфейс, абстрактные классы), а не от конкретных деталей (реализации).
источник
Хорошие ответы и хорошие примеры уже даны здесь другими.
Причина, по которой DIP важен, заключается в том, что он обеспечивает ОО-принцип «слабо связанной конструкции».
Объекты в вашем программном обеспечении НЕ должны попадать в иерархию, где некоторые объекты являются объектами верхнего уровня, в зависимости от объектов низкого уровня. Изменения в объектах нижнего уровня будут затем распространяться на ваши объекты верхнего уровня, что делает программное обеспечение очень хрупким для изменений.
Вы хотите, чтобы ваши объекты «верхнего уровня» были очень стабильными и не хрупкими для изменений, поэтому вам нужно инвертировать зависимости.
источник
Гораздо более ясный способ сформулировать принцип обращения зависимостей:
Ваши модули, которые инкапсулируют сложную бизнес-логику, не должны напрямую зависеть от других модулей, которые инкапсулируют бизнес-логику. Вместо этого они должны зависеть только от интерфейсов для простых данных.
Т.е. вместо реализации вашего класса,
Logic
как обычно делают люди:Вы должны сделать что-то вроде:
Data
иDataFromDependency
должен жить в том же модуле, чтоLogic
и не сDependency
.Зачем это делать?
Dependency
меняется, вам не нужно менятьLogic
.Logic
делает, является намного более простой задачей: это работает только на том, что похоже на ADT.Logic
теперь можно легче тестировать. Теперь вы можете напрямую создавать экземплярыData
с поддельными данными и передавать их. Нет необходимости в макетах или сложных тестовых лесах.источник
DataFromDependency
, который непосредственно ссылаетсяDependency
, находится в том же модуле, что и модульLogic
, тоLogic
модуль все еще напрямую зависит отDependency
модуля во время компиляции. Согласно объяснению принципа дядей Бобом , избегая всего этого, DIP. Скорее, чтобы следовать DIP,Data
должен быть в том же модуле, что иLogic
, ноDataFromDependency
должен быть в том же модуле, что иDependency
.Инверсия управления (IoC) - это шаблон проектирования, в котором объект получает свою зависимость от внешней структуры, а не запрашивает структуру для своей зависимости.
Пример псевдокода с использованием традиционного поиска:
Аналогичный код с использованием IoC:
Преимущества IoC:
источник
Точка инверсии зависимостей заключается в создании программного обеспечения многократного использования.
Идея состоит в том, что вместо двух частей кода, полагающихся друг на друга, они полагаются на какой-то абстрактный интерфейс. Тогда вы можете повторно использовать любой кусок без другого.
Чаще всего это достигается путем использования контейнера инверсии управления (IoC), такого как Spring в Java. В этой модели свойства объектов устанавливаются через XML-конфигурацию, а не объекты выходят и находят свою зависимость.
Представьте себе этот псевдокод ...
MyClass напрямую зависит как от класса Service, так и от класса ServiceLocator. Это нужно обоим, если вы хотите использовать его в другом приложении. Теперь представьте это ...
Теперь MyClass использует единый интерфейс - интерфейс IService. Мы позволили бы контейнеру IoC фактически установить значение этой переменной.
Так что теперь MyClass можно легко использовать в других проектах, не добавляя зависимости двух других классов вместе с ним.
Более того, вам не нужно перетаскивать зависимости MyService, а также зависимости этих зависимостей, и ... ну, вы поняли идею.
источник
Если мы можем принять это как данность, что сотруднику «высокого уровня» в корпорации платят за выполнение их планов, и что эти планы реализуются путем совокупного выполнения планов многих сотрудников «низкого уровня», то мы могли бы сказать, Как правило, это ужасный план, если описание плана сотрудника высокого уровня каким-либо образом связано с конкретным планом любого сотрудника более низкого уровня.
Если у высокопоставленного руководителя есть план «улучшить время доставки» и он указывает, что сотрудник на линии отгрузки должен пить кофе и делать растяжки каждое утро, тогда этот план тесно связан и имеет низкую сплоченность. Но если в плане не упоминается какой-либо конкретный сотрудник, а на самом деле просто требуется «субъект, который может выполнять работу, готов к работе», то план слабо связан и более сплочен: планы не перекрываются и могут быть легко заменены , Подрядчики или роботы могут легко заменить сотрудников, и план высокого уровня остается неизменным.
«Высокий уровень» в принципе инверсии зависимостей означает «более важный».
источник
Я вижу, хорошее объяснение было дано в ответах выше. Однако я хочу дать несколько простых объяснений на простом примере.
Принцип инверсии зависимостей позволяет программисту удалять жестко закодированные зависимости, чтобы приложение стало слабо связанным и расширяемым.
Как этого добиться: через абстракцию
Без инверсии зависимости:
В приведенном выше фрагменте кода адресный объект жестко запрограммирован. Вместо этого, если мы можем использовать инверсию зависимостей и внедрить объект адреса, передавая метод конструктора или метода установки. Посмотрим.
С инверсией зависимостей:
источник
Инверсия зависимостей: зависит от абстракций, а не от конкреций.
Инверсия управления: Main против Abstraction, и как Main является связующим звеном систем.
Вот несколько хороших постов, рассказывающих об этом:
https://coderstower.com/2019/03/26/dependency-inversion-why-you-shouldnt-avoid-it/
https://coderstower.com/2019/04/02/main-and-abstraction-the-decoupled-peers/
https://coderstower.com/2019/04/09/inversion-of-control-putting-all-together/
источник
Допустим, у нас есть два класса:
Engineer
иProgrammer
:Class Engineer зависит от класса Programmer, как показано ниже:
В этом примере класс
Engineer
имеет зависимость от нашегоProgrammer
класса. Что будет, если мне нужно поменятьProgrammer
?Очевидно, мне нужно изменить
Engineer
тоже. (Вау, в этот моментOCP
тоже нарушается)Тогда, что мы должны навести порядок? Ответ на самом деле абстракция. По абстракции мы можем удалить зависимость между этими двумя классами. Например, я могу создать
Interface
класс для программиста, и теперь каждый класс, который хочет использовать его,Programmer
должен использовать егоInterface
Затем, изменяя класс Programmer, нам не нужно менять какие-либо классы, которые его использовали, из-за абстракции, которую мы используемый.Примечание:
DependencyInjection
может помочь нам сделатьDIP
иSRP
тоже.источник
Добавляя к общему количеству хороших ответов, я хотел бы добавить свой небольшой образец, чтобы продемонстрировать хорошую или плохую практику. И да, я не тот, кто бросает камни!
Скажем, вам нужна небольшая программа для преобразования строки в формат base64 через консольный ввод-вывод. Вот наивный подход:
DIP в основном говорит, что высокоуровневые компоненты не должны зависеть от низкоуровневой реализации, где «уровень» - это расстояние от ввода-вывода согласно Роберту К. Мартину («Чистая архитектура»). Но как вы выходите из этого положения? Просто сделав центральный кодер зависимым только от интерфейсов, не беспокоясь о том, как они реализованы:
Обратите внимание, что вам не нужно прикасаться
GoodEncoder
, чтобы изменить режим ввода / вывода - этот класс доволен интерфейсами ввода / вывода, которые он знает; любая реализация низкого уровняIReadable
иIWriteable
никогда не будет беспокоить это.источник
GoodEncoder
вашего второго примера. Чтобы создать пример DIP, вам нужно ввести понятие о том, что «владеет» интерфейсами, которые вы извлекли здесь - и, в частности, поместить их в тот же пакет, что и GoodEncoder, пока их реализации остаются вне.Принцип инверсии зависимости (DIP) гласит, что
i) Модули высокого уровня не должны зависеть от модулей низкого уровня. Оба должны зависеть от абстракций.
ii) Абстракции никогда не должны зависеть от деталей. Детали должны зависеть от абстракций.
Пример:
Примечание. Класс должен зависеть от абстракций, таких как интерфейс или абстрактные классы, а не от конкретных деталей (реализация интерфейса).
источник