Mixin

From Wikipedia, the free encyclopedia
Jump to: navigation, search
This article is about the programming concept. For the ice cream, see Mix-in.

In object-oriented programming languages, a mixin is a class that contains a combination of methods from other classes. How such a combination is done depends on the language. If a combination contains all methods of combined classes, it is equivalent to multiple inheritance. Mixins are sometimes described as being "included" rather than "inherited".

Mixins encourage code reuse and can be used to avoid the inheritance ambiguity that multiple inheritance can cause [1] (the "diamond problem"), or to work around lack of support for multiple inheritance in a language. A mixin can also be viewed as an interface with implemented methods.

History[edit]

Mixins first appeared in the Symbolics' object-oriented Flavors system (developed by Howard Cannon), which was an approach to object-orientation used in Lisp Machine Lisp. The name was inspired by Steve's Ice Cream Parlor in Somerville, Massachusetts:[2] The owner of the ice cream shop offered a basic flavor of ice cream (vanilla, chocolate, etc.) and blended in a combination of extra items (nuts, cookies, fudge, etc.) and called the item a "Mix-in", his own trademarked term at the time.[3]

Definition and implementation[edit]

In Simula, classes are defined in a block in which attributes, methods and class initialization are all defined together; thus all the methods that can be invoked on a class are defined together, and the definition of the class is complete.

In Flavors, a Mixin is a class from which another class can inherit slot definitions and methods. The Mixin usually does have direct instances. Since a Flavor can inherit from more than one other Flavor, it can inherit from one or more Mixins. Note that the original Flavors did not use generic functions.

In New Flavors (a successor of Flavors) and CLOS, methods are organized in "generic functions". These generic functions are functions that are defined in multiple cases (methods) by class dispatch and method combinations.

CLOS and Flavors allow mixin methods to add behavior to existing methods: :before and :after daemons, whoppers and wrappers in Flavors. CLOS added :around methods and the ability to call shadowed methods via CALL-NEXT-METHOD. So, for example, a stream-lock-mixin can add locking around existing methods of a stream class. In Flavors one would write a wrapper or a whopper and in CLOS one would use an :around method. Both CLOS and Flavors allow the computed reuse via method combinations. :before, :after and :around methods are a feature of the standard method combination. Other method combinations are provided.

An example is the + method combination, where the results of all applicable methods of a generic function are added to compute the return value. This is used, for example, with the border-mixin for graphical objects. A graphical object may have a generic width function. The border-mixin would add a border around an object and has a method computing its width. A new class bordered-button (that is both a graphical object and uses the border mixin) would compute its width by calling all applicable width methods—via the + method combination. All return values are added and create the combined width of the object.

In an OOPSLA 90 paper,[4] Gilad Bracha and William Cook reinterpret different inheritance mechanisms found in Smalltalk, Beta and CLOS as special forms of a mixin inheritance.

Programming languages that use mixins[edit]

Other than Flavors and CLOS (a part of Common Lisp), some languages that use mixins are:

Some languages do not support mixins on the language level, but can easily mimic them by copying methods from one object to another at runtime, thereby "borrowing" the mixin's methods. This is also possible with statically typed languages, but it requires constructing a new object with the extended set of methods.

Other languages that do not support mixins can support them in a round-about way via other language constructs. C# and Visual Basic .NET support the addition of extension methods on interfaces, meaning any class implementing an interface with extension methods defined will have the extension methods available as pseudo-members.

Example[edit]

In Common Lisp[edit]

Common Lisp provides mixins in CLOS (Common Lisp Object System) similar to Flavors.

object-width is a generic function with one argument and is using the + method combination. The + method combination determines that all applicable methods for a generic function will be called and the results will be added.

(defgeneric object-width (object)
  (:method-combination +))

button is a class with one slot for the button text.

(defclass button ()
  ((text :initform "click me")))

There is a method for objects of class button that computes the width based on the length of the button text. + is the method qualifier for the method combination of the same name.

(defmethod object-width + ((object button))
   (* 10 (length (slot-value object 'text))))

A border-mixin class. The naming is just a convention. No superclasses. No slots.

(defclass border-mixin () ())

There is a method computing the width of the border. Here it is just 4.

(defmethod object-width + ((object border-mixin))
  4)

bordered-button is a class inheriting from both border-mixin and button.

(defclass bordered-button (border-mixin button) ())

We can now compute the width of a button. Calling object-width computes 80. The result is the result of the single applicable method: the method object-width for the class button.

? (object-width (make-instance 'button))
80

We can also compute the width of a bordered-button. Calling object-width computes 84. The result is the sum of the results of the two applicable methods: the method object-width for the class button and the method object-width for the class border-mixin.

? (object-width (make-instance 'bordered-button))
84

In Python[edit]

In Python, the SocketServer module has both a UDPServer class and a TCPServer class. They act as servers for UDP and TCP socket servers, respectively. Additionally, there are two mixin classes: ForkingMixIn and ThreadingMixIn. Normally, all new connections are handled within the same process. By extending TCPServer with the ThreadingMixIn as follows:

class ThreadingTCPServer(ThreadingMixIn, TCPServer):
  pass

the ThreadingMixIn class adds functionality to the TCP server such that each new connection creates a new thread. Alternatively, using the ForkingMixIn would cause the process to be forked for each new connection. Clearly, the functionality to create a new thread or fork a process is not terribly useful as a stand-alone class.

In this usage example, the mixins provide alternative underlying functionality without affecting the functionality as a socket server.

In other languages[edit]

In the Curl web-content language, multiple inheritance is used as classes with no instances may implement methods. Common mixins include all skinnable ControlUIs inheriting from SkinnableControlUI, user interface delegate objects that require dropdown menus inheriting from StandardBaseDropdownUI and such explicitly named mixin classes as FontGraphicMixin, FontVisualMixin and NumericAxisMixin-of class. Version 7.0 added library access so that mixins do not need to be in the same package or be public abstract. Curl constructors are factories that facilitates using multiple-inheritance without explicit declaration of either interfaces or mixins.[citation needed]

Interfaces and traits[edit]

Java8 implements mixins in some form of default methods. Default methods add a possibility to implement methods within interface. Thus a developer can implement multiple interfaces within a class and mix methods and member fields from both ones. If two interfaces define and implement the same method, this method must be overridden in the class that implements interfaces.

Interfaces combined with aspect-oriented programming can also produce full-fledged mixins in languages that support such features, such as C# or Java. Additionally, through the use of the marker interface pattern, generic programming, and extension methods, C# 3.0 has the ability to mimic mixins.[8][9][10]

ECMAScript (in most cases implemented as JavaScript) does not need to mimic object composition by stepwise copying fields from one object to another. It natively[11] supports Trait and Mixin[12][13] based object composition via function objects that implement additional behavior and then are delegated via call or apply to objects that are in need of such new functionality.

See also[edit]

References[edit]

  1. ^ Boyland, John; Giuseppe Castagna (26 June 1996). "Type-Safe Compilation of Covariant Specialization: A Practical Case". In Pierre Cointe. ECOOP '96, Object-oriented Programming: 10th European Conference. Springer. pp. 16–17. ISBN 9783540614395. Retrieved 17 January 2014. 
  2. ^ Using Mix-ins with Python
  3. ^ Mix-Ins (Steve's ice cream, Boston, 1975)
  4. ^ OOPSLA '90, Mixin based inheritance (pdf)
  5. ^ slava (2010-01-25). "Factor/Features/The language". concatenative.org. Retrieved 2012-05-15. Factor's main language features: … Object system with Inheritance, Generic functions, Predicate dispatch and Mixins 
  6. ^ "Mixin Class Composition". École polytechnique fédérale de Lausanne. Retrieved 16 May 2014. 
  7. ^ Mixin classes in XOTcl
  8. ^ Implementing Mixins with C# Extension Methods
  9. ^ I know the answer (it's 42) : Mixins and C#
  10. ^ Mixins, generics and extension methods in C#
  11. ^ The many talents of JavaScript for generalizing Role Oriented Programming approaches like Traits and Mixins, April 11, 2014.
  12. ^ Angus Croll, A fresh look at JavaScript Mixins, published May 31, 2011.
  13. ^ JavaScript Code Reuse Patterns, April 19, 2013.

External links[edit]