This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed. Find sources: "Immutable interface" – news · newspapers · books · scholar · JSTOR (January 2018) (Learn how and when to remove this message) |
In object-oriented programming, "immutable interface" is a pattern for designing an immutable object.[1] The immutable interface pattern involves defining a type which does not provide any methods which mutate state. Objects which are referenced by that type are not seen to have any mutable state, and appear immutable.
Example
[edit]Java
[edit]Consider a Java class which represents a two-dimensional point.
publicclass Point2D{ privateintx; privateinty; publicPoint2D(intx,inty){this.x=x;this.y=y;} publicintgetX(){returnthis.x;} publicintgetY(){returnthis.y;} publicvoidsetX(intnewX){this.x=newX;} publicvoidsetY(intnewY){this.y=newY;} }
The class Point2D is mutable: its state can be changed after construction, by invoking either of the setter methods (setX() or setY()).
An immutable interface for Point2D could be defined as:
publicinterface ImmutablePoint2D{ publicintgetX(); publicintgetY(); }
By making Point2D implement ImmutablePoint2D, client code could now reference a type which does not have mutating methods, and thus appears immutable. This is demonstrated in the following example:
ImmutablePoint2Dpoint=newPoint2D(0,0);// a concrete instance of Point2D is referenced by the immutable interface intx=point.getX();// valid method call inty=point.setX(42);// compile error: the method setX() does not exist on type ImmutablePoint2D
By referencing only the immutable interface, it is not valid to call a method which mutates the state of the concrete object.
Advantages
[edit]- Clearly communicates the immutable intent of the type.
- Unlike types implementing the Immutable Wrapper pattern, does not need to "cancel out" mutating methods by issuing a "No Operation" instruction, or throwing a runtime exception when a mutating method is invoked.
Disadvantages
[edit]- It is possible for instances referenced by the immutable interface type to be cast to their concrete, mutable type, and have their state mutated. For example:
publicvoidmutate(ImmutablePoint2Dpoint){ ((Point2D)point).setX(42);// this call is legal, since the type has // been converted to the mutable Point2D class }
- Concrete classes have to explicitly declare they implement the immutable interface. This may not be possible if the concrete class "belongs to" third-party code, for instance, if it is contained within a library.
- The object is not really immutable and hence not suitable for use in data structures relying on immutability like hash maps. And the object could be modified concurrently from the "mutable side".
- Some compiler optimizations available for immutable objects might not be available for mutable objects.
Alternatives
[edit]An alternative to the immutable interface pattern is the immutable wrapper pattern.
Persistent data structures are effectively immutable while allowing modified views of themselves.
References
[edit]- ^ Immutable Interface, c2.com
- immutable, mindprod.com
- Peter Haggar, "Practical Java Praxis 65: Use Inheritance or Delegation to Define Immutable Classes", informIT, January 22, 2001
