Инверсия управления

В программного обеспечения разработке инверсия управления ( IoC ) — это принцип проектирования, при котором написанные пользователем части компьютерной программы получают поток управления из внешнего источника. Термин «инверсия» является историческим: архитектура программного обеспечения с таким дизайном «инвертирует» управление по сравнению с процедурным программированием . В процедурном программировании пользовательский код программы вызывает библиотеки многократного использования для выполнения общих задач, но при инверсии управления пользовательский код вызывает сама платформа. По сути, это означает делегирование выполнения задач общему коду, а не конкретному коду, что обеспечивает большую универсальность.

Инверсия управления широко используется в средах разработки приложений с момента появления сред с графическим интерфейсом. ^[1]^[2] и продолжает использоваться как в средах с графическим интерфейсом, так и в средах приложений веб-серверов . Инверсия управления делает структуру расширяемой с помощью методов, определенных программистом приложения. ^[3]

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

Фраза «инверсия управления» также стала отдельно использоваться в сообществе Java-программистов для обозначения шаблонов внедрения зависимостей объектов , которые происходят с «контейнерами IoC» в средах Java, таких как среда Spring . ^[4] В этом другом смысле «инверсия управления» относится к предоставлению платформе контроля над реализациями зависимостей, которые используются объектами приложения. ^[5] а не к первоначальному значению предоставления потока управления инфраструктурой (контроля над временем выполнения кода приложения, например, обратных вызовов).

Обзор

Например, при традиционном программировании основная функция приложения может вызывать функции в библиотеке меню, чтобы отобразить список доступных команд и запросить у пользователя выбор одной из них. ^[6] Таким образом, библиотека вернет выбранную опцию в качестве значения вызова функции, а основная функция использует это значение для выполнения связанной команды. Этот стиль был распространен в текстовых интерфейсах . Например, почтовый клиент может отображать экран с командами загрузки новой почты, ответа на текущую почту, создания новой почты и т. д., а выполнение программы будет блокироваться до тех пор, пока пользователь не нажмет клавишу для выбора команды.

С другой стороны, при инверсии управления программа будет написана с использованием программной среды , которая знает общие поведенческие и графические элементы, такие как оконные системы , меню, управление мышью и т. д. Пользовательский код «заполняет пробелы» для платформы, например, предоставляет таблицу пунктов меню и регистрирует подпрограмму кода для каждого элемента, но именно платформа отслеживает действия пользователя и вызывает подпрограмму при выборе пункта меню. . В примере с почтовым клиентом платформа может отслеживать ввод с клавиатуры и мыши и вызывать команду, вызываемую пользователем любым способом, и в то же время отслеживать сетевой интерфейс, чтобы узнать, поступают ли новые сообщения, и обновлять экран, когда какая-либо сеть активность обнаружена. Эту же структуру можно использовать в качестве основы для программы работы с электронными таблицами или текстового редактора. И наоборот, платформа ничего не знает о веб-браузерах, электронных таблицах или текстовых редакторах; реализация их функциональности требует специального кода.

Инверсия управления подразумевает, что многократно используемый код и код, ориентированный на конкретную задачу, разрабатываются независимо, даже если они работают вместе в приложении. Обратные вызовы , планировщики , циклы событий и метод шаблона — это примеры шаблонов проектирования , которые следуют принципу инверсии управления, хотя этот термин чаще всего используется в контексте объектно-ориентированного программирования . ( Внедрение зависимостей — это пример отдельной, специфической идеи «инвертирования контроля над реализациями зависимостей», популяризированной средами Java.) ^[4]

Инверсию контроля иногда называют «Голливудским принципом: не звоните нам, мы позвоним вам». ^[1]

Фон

Инверсия управления — не новый термин в информатике. Мартин Фаулер прослеживает этимологию этой фразы до 1988 года: ^[7] но это близко связано с концепцией инверсии программы , описанной Майклом Джексоном в его методологии структурированного программирования Джексона в 1970-х годах. ^[8] можно Восходящий парсер рассматривать как инверсию нисходящего парсера : в одном случае управление лежит на парсере, а в другом случае — на принимающем приложении.

Этот термин был использован Майклом Мэттссоном в диссертации (с его первоначальным значением фреймворка, вызывающего код приложения, а не наоборот). ^[9] и затем был взят оттуда ^[10] Стефано Маццокки и популяризирован им в 1999 году в несуществующем проекте Apache Software Foundation, Avalon, в котором он относился к родительскому объекту, передающему зависимости дочернего объекта в дополнение к управлению потоком выполнения. ^[11] Эта фраза была далее популяризирована в 2004 году Робертом К. Мартином и Мартином Фаулером , последний из которых относит происхождение этого термина к 1980-м годам. ^[7]

Описание

В традиционном программировании поток бизнес -логики определяется объектами, которые статически связаны друг с другом. При инверсии управления ход выполнения зависит от графа объектов, который строится при выполнении программы. Такой динамический поток становится возможным благодаря взаимодействиям объектов, которые определяются посредством абстракций. Эта привязка во время выполнения достигается с помощью таких механизмов, как внедрение зависимостей или локатор служб . В IoC код также может быть статически связан во время компиляции, но поиск кода для выполнения осуществляется путем чтения его описания из внешней конфигурации , а не с помощью прямой ссылки в самом коде.

При внедрении зависимостей зависимый объект или модуль связывается с объектом, который ему нужен во время выполнения . Какой конкретный объект будет удовлетворять зависимости во время выполнения программы, обычно невозможно узнать во время компиляции с помощью статического анализа . Хотя здесь этот принцип описан с точки зрения взаимодействия объектов, он может применяться и к другим методологиям программирования, помимо объектно-ориентированного программирования .

Чтобы работающая программа могла связывать объекты друг с другом, объекты должны обладать совместимыми интерфейсами . Например, класс A может делегировать поведение интерфейсу I который реализуется классом B; программа создает экземпляр A и B, а затем вводит B в A.

Использовать

Среда программирования Mesa для XDE , 1985 г. ^[1]
Visual Basic (классический) , 1991.
HTML- событие DOM
Spring Framework ^[5]
Ядро ASP.NET ^[12]
Шаблон метода шаблона

Пример кода

HTML-события DOM

Веб-браузеры реализуют инверсию управления событиями DOM в HTML. Разработчик приложения использует document.addEventListener() чтобы зарегистрировать обратный звонок.

<!doctype html>  <  html   lang  =  "en"  >  <  head  >       <  Meta   charset  =  "utf-8"  >       <  title  >  DOM Level 2  </  title  >  </  head  >  <  body  >       <  h1  >  Событие DOM Level 2 обработчик  </  h1  >            <  p  ><  big  ><  span   id  =  "output"  >/  span  ></  big  >/  p  >       <  script  >            var   RegisteredListener   =   function   ()   {                 document  .  getElementById  (  «выход»  ).  innerHTML   =   "<large>Вызван зарегистрированный прослушиватель.</large>"  ;            }                      документ  .  addEventListener  (   «клик»  ,   зарегистрированный прослушиватель  ,   правда   );            документ  .  getElementById  (  «выход»  ).  InsideHTML   =   "<large>Обработчик событий зарегистрирован. Если вы щелкнете страницу, ваш веб-браузер вызовет обработчик событий.</large>"       </  script  >  </  body  >  </  html  >

Фреймворки веб-приложений

В этом примере кода веб-приложения ASP.NET Core создается узел веб-приложения, регистрируется конечная точка, а затем передается управление платформе: ^[12]

вар   строитель   =   WebApplication  .  CreateBuilder  (  аргументы  );  вар   приложение   =   строитель  .  Строить  ();  приложение  .  MapGet  (  "/"  ,   ()   =>   "Привет, мир!"  );  приложение  .  Бегать  ();

См. также

Ссылки

^ Jump up to: ^а ^б ^с Свит, Ричард (25 июня 1985 г.). «Среда программирования Mesa» . Уведомления ACM SIGPLAN . 20 (7): 216–229. дои : 10.1145/17919.806843 .
^ Visual_Basic_(классический)
^ Джонсон, Ральф Э.; Фут, Брайан (июнь – июль 1988 г.). «Проектирование повторно используемых классов» . Журнал объектно-ориентированного программирования . 1 (2): 22–35. CiteSeerX 10.1.1.101.8594 . Проверено 29 апреля 2014 г.
^ Jump up to: ^а ^б Фаулер, Мартин. «Инверсия управляющих контейнеров и шаблон внедрения зависимостей» . Мартин Фаулер.com . Проверено 4 июня 2023 г.
^ Jump up to: ^а ^б «Spring Framework: контейнер IoC» . docs.spring.io . Проверено 25 мая 2023 г.
^ Внедрение зависимостей .
^ Jump up to: ^а ^б Inversion of Control on Martin Fowler's Bliki
^ «Введение в метод проектирования Джексона» (PDF) .
^ Мэттссон, Майкл (февраль 1996 г.). «Объектно-ориентированные фреймворки. Обзор методологических проблем» . Департамент компьютерных наук Лундского университета. CiteSeerX 10.1.1.36.1424 . ЛУ-КС-ТР: 96-167.
^ Стефано Маццокки (22 января 2004 г.). «Об инверсии управления» . Архивировано из оригинала 2 февраля 2004 года.
^ «Шаблоны IOC — Avalon Framework» . Проект Апач Авалон . Проверено 8 июня 2023 г.
^ Jump up to: ^а ^б Райан Новак, Кирк Ларкин, Рик Андерсон. " "Маршрутизация в ASP.Net Core" " . Learn.microsoft.com . Майкрософт . Проверено 25 мая 2023 г. Маршрутизация отвечает за сопоставление входящих HTTP-запросов и отправку этих запросов на исполняемые конечные точки приложения. Конечные точки — это единицы исполняемого кода приложения, обрабатывающие запросы. Конечные точки определяются в приложении и настраиваются при запуске приложения. {{cite web}}: CS1 maint: несколько имен: список авторов ( ссылка )

Внешние ссылки

[Mesa1985-1] Jump up to: ^а ^б ^с Свит, Ричард (25 июня 1985 г.). «Среда программирования Mesa» . Уведомления ACM SIGPLAN . 20 (7): 216–229. дои : 10.1145/17919.806843 .

[2] Visual_Basic_(классический)

[3] Джонсон, Ральф Э.; Фут, Брайан (июнь – июль 1988 г.). «Проектирование повторно используемых классов» . Журнал объектно-ориентированного программирования . 1 (2): 22–35. CiteSeerX 10.1.1.101.8594 . Проверено 29 апреля 2014 г.

[FowlerDI-IOC-4] Jump up to: ^а ^б Фаулер, Мартин. «Инверсия управляющих контейнеров и шаблон внедрения зависимостей» . Мартин Фаулер.com . Проверено 4 июня 2023 г.

[spring_framework_ioc_docs-5] Jump up to: ^а ^б «Spring Framework: контейнер IoC» . docs.spring.io . Проверено 25 мая 2023 г.

[FowlerDI-6] Внедрение зависимостей .

[FowlerIoC-7] Jump up to: ^а ^б Inversion of Control on Martin Fowler's Bliki

[8] «Введение в метод проектирования Джексона» (PDF) .

[9] Мэттссон, Майкл (февраль 1996 г.). «Объектно-ориентированные фреймворки. Обзор методологических проблем» . Департамент компьютерных наук Лундского университета. CiteSeerX 10.1.1.36.1424 . ЛУ-КС-ТР: 96-167.

[10] Стефано Маццокки (22 января 2004 г.). «Об инверсии управления» . Архивировано из оригинала 2 февраля 2004 года.

[AvalonIoCPatterns-11] «Шаблоны IOC — Avalon Framework» . Проект Апач Авалон . Проверено 8 июня 2023 г.

[AspNetCore7Routing-12] Jump up to: ^а ^б Райан Новак, Кирк Ларкин, Рик Андерсон. " "Маршрутизация в ASP.Net Core" " . Learn.microsoft.com . Майкрософт . Проверено 25 мая 2023 г. Маршрутизация отвечает за сопоставление входящих HTTP-запросов и отправку этих запросов на исполняемые конечные точки приложения. Конечные точки — это единицы исполняемого кода приложения, обрабатывающие запросы. Конечные точки определяются в приложении и настраиваются при запуске приложения. {{cite web}}: CS1 maint: несколько имен: список авторов ( ссылка )

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]