Co to jest metoda idempotentna?

Metody idempotentne — to takie metody lub operacje w programowaniu, które przy wielokrotnym wykonaniu z tymi samymi danymi wejściowymi dają ten sam wynik, co przy pierwszym wykonaniu, bez dodatkowych efektów ubocznych. Oznacza to, że niezależnie od liczby razy, kiedy metoda jest wykonywana, jej wpływ na system pozostaje niezmienny.

Słowo "idempotentny" pochodzi od łacińskich słów "idem" i "potens".

Termin można interpretować jako "zdolny do zachowania tego samego" lub "ten, który pozostaje niezmienny przy wielokrotnym zastosowaniu".

Termin po raz pierwszy został użyty w matematyce, gdzie opisywał operację, która przy zastosowaniu do dowolnego elementu zbioru daje ten sam wynik, co pierwotny element. Z czasem pojęcie to zostało przeniesione do innych dziedzin, takich jak programowanie, gdzie idempotentność oznacza, że wynik operacji nie zmienia się przy wielokrotnym wykonaniu.

Idempotentność przejawia się w wielu kontekstach programowania i pracy z danymi. Na przykład w systemie plików, polecenie tworzenia katalogu, jeśli już istnieje, nie zmienia jego stanu przy wielokrotnym wykonaniu. Podobnie usunięcie pliku, który już został usunięty, nie będzie miało żadnego efektu.

W bazach danych idempotentne mogą być zapytania typu UPDATE, które ustawiają określoną wartość, na przykład aktualizację statusu użytkownika na "aktywny". Jeśli zapytanie zostanie wykonane kilka razy z tą samą wartością, stan bazy danych nie zmieni się. Podobnie operacje typu DELETE, które usuwają rekord, nie prowadzą do żadnych zmian, jeśli rekord już został usunięty. Bardziej szczegółowe informacje na temat REST API można znaleźć pod linkiem.

Cache również może być idempotentny. Pobranie wartości z cache, gdy nie była ona zmieniana, zawsze zwraca ten sam wynik. Ustawienie określonej wartości w cache, gdy już jest obecna, nie zmienia stanu cache.

W kontekście RESTful API metody PATCH i HEAD również są przykładami idempotentności. Na przykład aktualizacja konkretnego pola obiektu, jeśli wartość już została ustawiona, nie spowoduje zmiany stanu obiektu. Zapytanie HEAD, które pobiera metadane zasobu, nie wpływa na jego stan.

W programowaniu funkcyjnym funkcje, takie jak abs(x) lub round(x), również są idempotentne. Zawsze zwracają tę samą wartość dla tego samego argumentu, nawet przy wielokrotnym wywołaniu.

W systemach zarządzania konfiguracją, takich jak Ansible czy Puppet, wiele operacji jest idempotentnych. Na przykład instalacja określonego pakietu lub tworzenie pliku konfiguracyjnego z ustaloną zawartością nie zmieni stanu serwera przy wielokrotnym wykonaniu zadania.  Nawet w interfejsach webowych idempotentność przejawia się, na przykład, w przycisku "Lubię to" w mediach społecznościowych. Jeśli użytkownik już polubił post i kliknie przycisk ponownie, stan pozostanie niezmienny. Ten przykład jest najprostszy i najbardziej zrozumiały.