Інверсія керування англ Inversion of Control IoC це принцип побудови програми при якому її частини отримують потік керув

Інверсія керування (англ. Inversion of Control, IoC) — це принцип побудови програми, при якому її частини отримують потік керування (викликаються) із загальної спільновикористовуваної бібліотеки. Це ніби звичайне процедурне програмування вивернуте навиворіт (inversed). Також це називають «голлівудським принципом»: «Не дзвоніть нам, ми подзвонимо вам».

Однією з реалізацій IoC є впровадження залежностей (англ. Dependency Injection), що використовується в багатьох фреймворках, вони називаються IoC контейнери. Використовуються в таких об'єктно-орієнтованих мовах програмування, як Smalltalk, , Java, PHP або мови платформи .NET.

Огляд

Наприклад, у разі традиційного програмування, головна функція програми може викликати функцію з бібліотеки, щоб відобразити список доступних команд, і запросити користувача вибрати одну з них. Бібліотека поверне вибрану опцію як результат виклику функції. Цей стиль використовувався в текстових інтерфейсах. Наприклад, поштовий клієнт може показати екран з командами для завантаження нових листів, відповіді на поточний лист, розпочати новий лист і т. д., а виконання програми буде заблоковане допоки користувач не натисне клавішу, щоб обрати команду.

Натомість, у разі інверсії керування, програма пишеться з використанням програмного каркаса, який знає загальні поведінкові і графічні елементи, такі як віконний інтерфейс, меню, керування мишкою тощо. Користувацький код «заповнює пробіли» в каркасі, такі як надавання таблиці елементів меню і реєстрація підпрограм для кожного елемента, але відслідковування дій користувача і виклик пов'язаної підпрограми є завданням каркаса. У прикладі поштового клієнта, каркас може слідкувати за клавіатурою і мишкою і викликати команду, обрану користувачем, також одночасно з цим моніторити мережевий інтерфейс, щоб помітити прибуття нового повідомлення і оновити екран коли з'являється мережева активність. Цей самий каркас можна використати як скелет для програми електронних таблиць або текстового редактора. З іншого боку, каркас нічого не знає про вебоглядачі, електронні таблиці, текстові редактори; втіленням їх функціональності займається користувацький код.

Інверсія керування несе важливу ідею, що повторно використовний код і завдання-залежний код розробляються незалежно, хоча й діють разом. Програмні каркаси, callback'и, планувальники, і впровадження залежностей є прикладами шаблонів, що слідують принципу інверсії керування, хоча термін найчастіше вживається в контексті ООП.

Принцип інверсії залежностей

Докладніше: Принцип інверсії залежностей

Модулі верхніх рівнів не повинні залежати від модулів нижчих рівнів. Обидва типи модулів повинні залежати від абстракцій. Абстракції не повинні залежати від деталей. Деталі повинні залежати від абстракцій.

Клас X залежить від класу Y, якщо виконується одна з наступних умов:

X містить (has-a) Y
X є (is-a) Y
X залежить від деякого класу Z, який залежить від Y (принцип транзитивності)

X залежить від Y не означає, що Y залежить від X. Якщо ж існують обидві залежності, то це називається циклічною залежністю: X не може бути використаний без Y, та навпаки. Існування великого числа циклічних залежностей в об'єктно-орієнтованій програмі може бути показником неоптимальної будови програми.

Розрив залежності

Якщо об'єкт x (класу X) викликає методи об'єкту y (класу Y), то X залежить від Y. Залежність може бути звернена створенням третього класу, а саме інтерфейсного класу I, який повинен містити всі методи, які x може викликати в об'єкта y. Крім того, Y повинен реалізовувати інтерфейс I. X та Y наразі обидва залежать від I, і клас X більш не залежить від класу Y; передбачається, що X не реалізує I.

Це виключення залежності класу X від Y через створення інтерфейсу I і називається Inversion of Control.

Слід сказати, що Y може залежати від інших класів. До внесення змін X залежав від Y, тоді X побічно залежав від усіх класів, від яких залежить Y. За допомогою застосування Inversion of Control усі побічні залежності були розірвані — не тільки залежність X від Y.

Застосування IoC контейнерів

C++

PocoCapsule [ 24 квітня 2011 у Wayback Machine.]

Java

Програмісти, які використовують Java застосовують Inversion of Control в Inversion of Control контейнерах. Програмне забезпечення робить запит на об'єкт з контейнера, та контейнер створює об'єкт та його залежності. Сервер программ був одним з перших обчислювальних середовищ, які ефективно використовували цей підхід. Сучасні приклади IoC-контейнерів: , , Spring Framework (Spring — повноцінна корпоративна платформа, а не тільки IoC-контейнер), , , и DPML Metro.

.NET

Unity Application Block 2.0 [ 24 червня 2011 у Wayback Machine.]
Spring.NET [ 2 квітня 2006 у Wayback Machine.]
CastleProject [ 25 червня 2014 у Wayback Machine.]
Seasar [ 7 серпня 2011 у Wayback Machine.]
Winter.NET [ 3 квітня 2011 у Wayback Machine.]
Ninject [ 23 червня 2011 у Wayback Machine.]

PHP4

drip [ 21 серпня 2011 у Wayback Machine.]

PHP5

Garden [ 30 жовтня 2011 у Wayback Machine.]
Symfony Dependency Injection [ 6 липня 2011 у Wayback Machine.]

Python

zope.interface [ 12 червня 2011 у Wayback Machine.] і zope.component [ 11 вересня 2011 у Wayback Machine.]

RUBY

ActionScript

Mate [ 15 квітня 2022 у Wayback Machine.]
MIoC [ 19 лютого 2011 у Wayback Machine.]
Swiz [ 17 січня 2022 у Wayback Machine.]
Dawn [ 9 жовтня 2010 у Wayback Machine.]

Див. також

Примітки

Dependency Injection [ 30 травня 2020 у Wayback Machine.].

Посилання

Максим Базь. SOLID'не проєктування: принцип інверсії залежностей^{[недоступне посилання з червня 2019]}(рос.)

Це незавершена стаття про програмне забезпечення.
Ви можете проєкту, виправивши або дописавши її.

[FowlerDI-1] Dependency Injection [ 30 травня 2020 у Wayback Machine.].