Observer pattern

Last updated

In software design and software engineering, the observer pattern is a software design pattern in which an object, called the subject (also known as event source or event stream), maintains a list of its dependents, called observers (also known as event sinks), and automatically notifies them of any state changes, typically by calling one of their methods. The subject knows its observers through a standardized interface and manages the subscription list directly.

Contents

This pattern creates a one-to-many dependency where multiple observers can listen to a single subject, but the coupling is typically synchronous and direct—the subject calls observer methods when changes occur, though asynchronous implementations using event queues are possible. Unlike the publish-subscribe pattern, there is no intermediary broker; the subject and observers have direct references to each other.

It is commonly used to implement event handling systems in event-driven programming, particularly in-process systems like GUI toolkits or MVC frameworks. This makes the pattern well-suited to processing data that arrives unpredictably—such as user input, HTTP requests, GPIO signals, updates from distributed databases, or changes in a GUI model.

Overview

The observer design pattern is a behavioural pattern listed among the 23 well-known "Gang of Four" design patterns that address recurring design challenges in order to design flexible and reusable object-oriented software, yielding objects that are easier to implement, change, test, and reuse. [1]

The observer pattern addresses the following requirements: [2]

The naive approach would be for one object (subject) to directly call specific methods on each dependent object. This creates tight coupling because the subject must know the concrete types and specific interfaces of all dependent objects, making the code inflexible and hard to extend. However, this direct approach may be preferable in performance-critical scenarios (such as low-level kernel structures or real-time systems) where the overhead of abstraction is unacceptable and compile-time optimization is crucial.

The observer pattern provides a more flexible alternative by establishing a standard notification protocol:

  1. Define Subject and Observer objects with standardized interfaces.
  2. When a subject changes state, all registered observers are notified and updated automatically.
  3. The subject manages its own state while also maintaining a list of observers and notifying them of state changes by calling their update() operation.
  4. The responsibility of observers is to register and unregister themselves with a subject (in order to be notified of state changes) and to update their state (to synchronize it with the subject's state) when they are notified.

This approach makes subject and observers loosely coupled through interface standardization. The subject only needs to know that observers implement the update() method—it has no knowledge of observers' concrete types or internal implementation details. Observers can be added and removed independently at run time.

Relationship to publish–subscribe

The observer pattern and the publish–subscribe pattern are closely related and often confused, as both support one-to-many communication between components. However, they differ significantly in architecture, degree of coupling, and common use cases.

The table below summarizes the key differences:

FeatureObserver PatternPublish–Subscribe Pattern
CouplingTightly coupled — the subject holds direct references to its observers via a standardized interface.Loosely coupled — publishers and subscribers are unaware of each other.
CommunicationDirect — the subject calls observer methods, typically synchronously.Indirect — a broker (message bus or event manager) dispatches messages to subscribers.
Knowledge of ParticipantsThe subject knows its observers.Publisher and subscriber are decoupled; neither knows about the other.
ScalabilitySuitable for in-process systems like GUI toolkits.More scalable; supports distributed systems and asynchronous messaging.
Synchronous or AsynchronousTypically synchronous but can be asynchronous with event queues.Typically asynchronous but can be synchronous.
FilteringLimited — observers receive all events and filter internally.Rich filtering — brokers may filter by topic, content, or rules.
Fault ToleranceObserver failures can affect the subject.Failures are isolated; the broker decouples participants.
Typical UsageGUI frameworks, MVC architecture, local object notifications.Microservices, distributed systems, messaging middleware.

In practice, publish–subscribe systems evolved to address several limitations of the observer pattern. A typical observer implementation creates a tight coupling between the subject and its observers. This may limit scalability, flexibility, and maintainability, especially in distributed environments. Subjects and observers must conform to a shared interface, and both parties are aware of each other’s presence.

To reduce this coupling, publish–subscribe systems introduce a message broker or event bus that intermediates between publishers and subscribers. This additional layer removes the need for direct references, allowing systems to evolve independently. Brokers may also support features like message persistence, delivery guarantees, topic-based filtering, and asynchronous communication.

In some systems, the observer pattern is used internally to implement subscription mechanisms behind a publish–subscribe interface. In other cases, the patterns are applied independently. For example, JavaScript libraries and frameworks often offer both observer-like subscriptions (e.g., via callback registration) and decoupled pub-sub mechanisms (e.g., via event emitters or signals). [3] [4]

Historically, in early graphical operating systems like OS/2 and Microsoft Windows, the terms "publish–subscribe" and "event-driven programming" were often used as synonyms for the observer pattern. [5]

The observer pattern, as formalized in Design Patterns, [6] deliberately omits concerns such as unsubscription, notification filtering, delivery guarantees, and message logging. These advanced capabilities are typically implemented in robust message queuing systems, where the observer pattern may serve as a foundational mechanism but is not sufficient by itself.

Related patterns include mediator and singleton.

Limitations and solutions

Strong vs. weak references

A common drawback of the observer pattern is the potential for memory leaks, known as the lapsed listener problem. This occurs when a subject maintains strong references to its observers, preventing them from being garbage collected even if they are no longer needed elsewhere. Because the pattern typically requires both explicit registration and deregistration (as in the dispose pattern), forgetting to unregister observers can leave dangling references. This issue can be mitigated by using weak references for observer references, allowing the garbage collector to reclaim observer objects that are no longer in use.

Throttling and temporal decoupling

In some applications, particularly user interfaces, the subject's state may change so frequently that notifying observers on every change is inefficient or counterproductive. For example, a view that re-renders on every minor change in a data model might become unresponsive or flicker.

In such cases, the observer pattern can be modified to decouple notifications temporally by introducing a throttling mechanism, such as a timer. Rather than updating on every state change, the observer polls the subject or is notified at regular intervals, rendering an approximate but stable view of the model.

This approach is commonly used for elements like progress bars, where the underlying process changes state rapidly. Instead of responding to every minor increment, the observer updates the visual display periodically, improving performance and usability.

This form of temporal decoupling allows observers to remain responsive without being overwhelmed by high-frequency updates, while still reflecting the overall trend or progress of the subject’s state.

Structure

UML class and sequence diagram

A sample UML class and sequence diagram for the observer design pattern. W3sDesign Observer Design Pattern UML.jpg
A sample UML class and sequence diagram for the observer design pattern.

In this UML class diagram, the Subject class does not update the state of dependent objects directly. Instead, Subject refers to the Observer interface (update()) for updating state, which makes the Subject independent of how the state of dependent objects is updated. The Observer1 and Observer2 classes implement the Observer interface by synchronizing their state with subject's state.

The UML sequence diagram shows the runtime interactions: The Observer1 and Observer2 objects call attach(this) on Subject1 to register themselves. Assuming that the state of Subject1 changes, Subject1 calls notify() on itself. notify() calls update() on the registered Observer1 and Observer2objects, which request the changed data (getState()) from Subject1 to update (synchronize) their state.

UML class diagram

UML class diagram of Observer pattern Observer w update.svg
UML class diagram of Observer pattern

Example

While the library classes java.util.Observer and java.util.Observable exist, they have been deprecated in Java 9 because the model implemented was quite limited.

Below is an example written in Java that takes keyboard input and handles each input line as an event. When a string is supplied from System.in, the method notifyObservers() is then called in order to notify all observers of the event's occurrence, in the form of an invocation of their update methods.

Java

importjava.util.ArrayList;importjava.util.List;importjava.util.Scanner;interfaceObserver{voidupdate(Stringevent);}classEventSource{List<Observer>observers=newArrayList<>();publicvoidnotifyObservers(Stringevent){observers.forEach(observer->observer.update(event));}publicvoidaddObserver(Observerobserver){observers.add(observer);}publicvoidscanSystemIn(){Scannerscanner=newScanner(System.in);while(scanner.hasNextLine()){Stringline=scanner.nextLine();notifyObservers(line);}}}publicclassObserverDemo{publicstaticvoidmain(String[]args){System.out.println("Enter Text: ");EventSourceeventSource=newEventSource();eventSource.addObserver(event->System.out.println("Received response: "+event));eventSource.scanSystemIn();}}

C#

C# provides the IObservable. [8] and IObserver [9] interfaces as well as documentation on how to implement the design pattern. [10]

classPayload{internalstringMessage{get;init;}}classSubject:IObservable<Payload>{privatereadonlyList<IObserver<Payload>>_observers=newList<IObserver<Payload>>();IDisposableIObservable<Payload>.Subscribe(IObserver<Payload>observer){if(!_observers.Contains(observer)){_observers.Add(observer);}returnnewUnsubscriber(observer,_observers);}internalvoidSendMessage(stringmessage){foreach(varobserverin_observers){observer.OnNext(newPayload{Message=message});}}}internalclassUnsubscriber:IDisposable{privatereadonlyIObserver<Payload>_observer;privatereadonlyICollection<IObserver<Payload>>_observers;internalUnsubscriber(IObserver<Payload>observer,ICollection<IObserver<Payload>>observers){_observer=observer;_observers=observers;}voidIDisposable.Dispose(){if(_observer!=null&&_observers.Contains(_observer)){_observers.Remove(_observer);}}}internalclassObserver:IObserver<Payload>{privatestring_message;publicvoidOnCompleted(){}publicvoidOnError(Exceptionerror){}publicvoidOnNext(Payloadvalue){_message=value.Message;}internalIDisposableRegister(IObservable<Payload>subject){returnsubject.Subscribe(this);}}

C++

This is a C++11 implementation.

#include<functional>#include<iostream>#include<list>classSubject;//Forward declaration for usage in ObserverclassObserver{public:explicitObserver(Subject&subj);virtual~Observer();Observer(constObserver&)=delete;// rule of threeObserver&operator=(constObserver&)=delete;virtualvoidupdate(Subject&s)const=0;private:// Reference to a Subject object to detach in the destructorSubject&subject;};// Subject is the base class for event generationclassSubject{public:usingRefObserver=std::reference_wrapper<constObserver>;// Notify all the attached observersvoidnotify(){for(constauto&x:observers){x.get().update(*this);}}// Add an observervoidattach(constObserver&observer){observers.push_front(observer);}// Remove an observervoiddetach(Observer&observer){observers.remove_if([&observer](constRefObserver&obj){return&obj.get()==&observer;});}private:std::list<RefObserver>observers;};Observer::Observer(Subject&subj):subject(subj){subject.attach(*this);}Observer::~Observer(){subject.detach(*this);}// Example of usageclassConcreteObserver:publicObserver{public:ConcreteObserver(Subject&subj):Observer(subj){}// Get notificationvoidupdate(Subject&)constoverride{std::cout<<"Got a notification"<<std::endl;}};intmain(){Subjectcs;ConcreteObserverco1(cs);ConcreteObserverco2(cs);cs.notify();}

The program output is like

GotanotificationGotanotification

Groovy

classEventSource{privateobservers=[]privatenotifyObservers(Stringevent){observers.each{it(event)}}voidaddObserver(observer){observers+=observer}voidscanSystemIn(){varscanner=newScanner(System.in)while(scanner){varline=scanner.nextLine()notifyObservers(line)}}}println'Enter Text: 'vareventSource=newEventSource()eventSource.addObserver{event->println"Received response: $event"}eventSource.scanSystemIn()

Kotlin

importjava.util.ScannertypealiasObserver=(event:String)->Unit;classEventSource{privatevarobservers=mutableListOf<Observer>()privatefunnotifyObservers(event:String){observers.forEach{it(event)}}funaddObserver(observer:Observer){observers+=observer}funscanSystemIn(){valscanner=Scanner(System.`in`)while(scanner.hasNext()){valline=scanner.nextLine()notifyObservers(line)}}}
funmain(arg:List<String>){println("Enter Text: ")valeventSource=EventSource()eventSource.addObserver{event->println("Received response: $event")}eventSource.scanSystemIn()}

Delphi

usesSystem.Generics.Collections,System.SysUtils;typeIObserver=interface['{0C8F4C5D-1898-4F24-91DA-63F1DD66A692}']procedureUpdate(constAValue:string);end;typeTObserverManager=classprivateFObservers:TList<IObserver>;publicconstructorCreate;overload;destructorDestroy;override;procedureNotifyObservers(constAValue:string);procedureAddObserver(constAObserver:IObserver);procedureUnregisterObsrver(constAObserver:IObserver);end;typeTListener=class(TInterfacedObject,IObserver)privateFName:string;publicconstructorCreate(constAName:string);reintroduce;procedureUpdate(constAValue:string);end;procedureTObserverManager.AddObserver(constAObserver:IObserver);beginifnotFObservers.Contains(AObserver)thenFObservers.Add(AObserver);end;beginFreeAndNil(FObservers);inherited;end;procedureTObserverManager.NotifyObservers(constAValue:string);vari:Integer;beginfori:=0toFObservers.Count-1doFObservers[i].Update(AValue);end;procedureTObserverManager.UnregisterObsrver(constAObserver:IObserver);beginifFObservers.Contains(AObserver)thenFObservers.Remove(AObserver);end;constructorTListener.Create(constAName:string);begininheritedCreate;FName:=AName;end;procedureTListener.Update(constAValue:string);beginWriteLn(FName+' listener received notification: '+AValue);end;procedureTMyForm.ObserverExampleButtonClick(Sender:TObject);varLDoorNotify:TObserverManager;LListenerHusband:IObserver;LListenerWife:IObserver;beginLDoorNotify:=TObserverManager.Create;tryLListenerHusband:=TListener.Create('Husband');LDoorNotify.AddObserver(LListenerHusband);LListenerWife:=TListener.Create('Wife');LDoorNotify.AddObserver(LListenerWife);LDoorNotify.NotifyObservers('Someone is knocking on the door');finallyFreeAndNil(LDoorNotify);end;end;

Output

Husband listener received notification: Someone is knocking on the door Wife listener received notification: Someone is knocking on the door 

Python

A similar example in Python:

classObservable:def__init__(self):self._observers=[]defregister_observer(self,observer:Observer)->None:self._observers.append(observer)defnotify_observers(self,*args,**kwargs)->None:forobserverinself._observers:observer.notify(self,*args,**kwargs)classObserver:def__init__(self,observable:Observable):observable.register_observer(self)defnotify(self,observable:Observable,*args,**kwargs)->None:print("Got",args,kwargs,"From",observable)subject=Observable()observer=Observer(subject)subject.notify_observers("test",kw="python")# prints: Got ('test',) {'kw': 'python'} From <__main__.Observable object at 0x0000019757826FD0>

JavaScript

JavaScript has a deprecated Object.observe function that was a more accurate implementation of the observer pattern. [11] This would fire events upon change to the observed object. Without the deprecated Object.observe function, the pattern may be implemented with more explicit code: [12]

letSubject={_state:0,_observers:[],add:function(observer){this._observers.push(observer);},getState:function(){returnthis._state;},setState:function(value){this._state=value;for(leti=0;i<this._observers.length;i++){this._observers[i].signal(this);}}};letObserver={signal:function(subject){letcurrentValue=subject.getState();console.log(currentValue);}}Subject.add(Observer);Subject.setState(10);// Output in console.log - 10

See also

References

  1. Erich Gamma; Richard Helm; Ralph Johnson; John Vlissides (1994). Design Patterns: Elements of Reusable Object-Oriented Software . Addison Wesley. pp.  293ff. ISBN   0-201-63361-2.
  2. "Observer Design Pattern". www.geeksforgeeks.org.
  3. Comparison between different observer pattern implementations — Moshe Bindler, 2015 (GitHub)
  4. Differences between pub/sub and observer patternThe Observer Pattern by Adi Osmani (Safari Books Online)
  5. The Windows Programming Experience, Charles Petzold, November 10, 1992, PC Magazine (Google Books)
  6. "The Observer design pattern - Structure and Collaboration". w3sDesign.com. Retrieved 2017-08-12.
  7. "IObservable Interface (System)". learn.microsoft.com. Retrieved 9 November 2024.
  8. "IObserver Interface (System)". learn.microsoft.com. Retrieved 9 November 2024.
  9. "Observer design pattern - .NET". learn.microsoft.com. 25 May 2023. Retrieved 9 November 2024.
  10. "jQuery - Listening for variable changes in JavaScript".
  11. "Jquery - Listening for variable changes in JavaScript".