Mixin: Difference between revisions
m →Interfaces and traits: grammar correction |
Newton toto (talk | contribs) |
||
(71 intermediate revisions by 51 users not shown) | |||
Line 1: | Line 1: | ||
{{Short description|Class in object-oriented programming languages}} |
|||
{{about|the programming concept|the ice cream|Mix-in}} |
|||
{{about|the programming concept|the ice cream|Mix-in|the company|Mixin Network}} |
|||
In [[object-oriented programming language]]s, a ''' |
In [[object-oriented programming language]]s, a '''mixin''' (or '''mix-in''')<ref name=":0" /><ref name=":1" /><ref name=":2" /><ref name=":3" /> is a [[class (computer science)|class]] that contains methods for use by other classes without having to be the parent class of those other classes. How those other classes gain access to the mixin's methods depends on the language. 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<ref>{{cite book|last=Boyland|first=John|title=ECOOP '96, Object-oriented Programming: 10th European Conference|publisher=Springer|isbn=9783540614395|pages=16–17|url=https://books.google.com/books?id=sGvtaGy8SJ8C |
Mixins encourage [[code reuse]] and can be used to avoid the inheritance ambiguity that multiple inheritance can cause<ref>{{cite book|last=Boyland|first=John|title=ECOOP '96, Object-oriented Programming: 10th European Conference|publisher=Springer|isbn=9783540614395|pages=16–17|chapter-url=https://books.google.com/books?id=sGvtaGy8SJ8C&dq=pathologies+of+multiple+inheritance&pg=PA16|author2=Giuseppe Castagna|editor=Pierre Cointe|accessdate=17 January 2014|chapter=Type-Safe Compilation of Covariant Specialization: A Practical Case|date=26 June 1996}}</ref> (the "[[Multiple inheritance#The diamond problem|diamond problem]]"), or to work around lack of support for multiple inheritance in a language. A mixin can also be viewed as an [[Interface (object-oriented programming)|interface]] with implemented [[Method (computer science)|methods]]. This pattern is an example of enforcing the [[dependency inversion principle]]. |
||
==History== |
==History== |
||
Mixins first appeared in |
Mixins first appeared in [[Symbolics]]'s object-oriented [[Flavors (computer science)|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|Steve's Ice Cream Parlor]] in Somerville, Massachusetts:<ref name=":0">{{Cite web |title=Using Mix-ins with Python {{!}} Linux Journal |url=https://www.linuxjournal.com/article/4540 |access-date=2023-05-23 |website=www.linuxjournal.com}}</ref> 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.<ref name=":1">{{Cite web |last=AOL.COM |first=Bapopik at |date=3 August 2002 |title=Mix-Ins (Steve's ice cream, Boston, 1975) |url=https://listserv.linguistlist.org/pipermail/ads-l/2002-August/024421.html |access-date=2023-05-23}}</ref> |
||
==Definition== |
==Definition== |
||
Mixins are a language concept that allows a programmer to inject some code into a [[class (computer programming)|class]]. Mixin programming is a style of [[software development]], in which units of functionality are created in a class and then mixed in with other classes.<ref>http://c2.com/ |
Mixins are a language concept that allows a programmer to inject some code into a [[class (computer programming)|class]]. Mixin programming is a style of [[software development]], in which units of functionality are created in a class and then mixed in with other classes.<ref>{{Cite web |title=Mix In |url=http://wiki.c2.com/?MixIn |access-date=2023-05-23 |website=wiki.c2.com}}</ref> |
||
A mixin class acts as the parent class, containing the desired functionality. A [[Subclass (computer science)|subclass]] can then inherit or simply reuse this functionality, but not as a means of specialization. Typically, the mixin will export the desired functionality to a [[Subclass (computer science)|child class]], without creating a rigid, single "is a" relationship. Here lies the important difference between the concepts of mixins and [[Inheritance (object-oriented programming)|inheritance]], in that the child class can still inherit all the features of the parent class, but, the semantics about the child "being a kind of" the parent need not be necessarily applied. |
A mixin class acts as the parent class, containing the desired functionality. A [[Subclass (computer science)|subclass]] can then inherit or simply reuse this functionality, but not as a means of specialization. Typically, the mixin will export the desired functionality to a [[Subclass (computer science)|child class]], without creating a rigid, single "is a" relationship. Here lies the important difference between the concepts of mixins and [[Inheritance (object-oriented programming)|inheritance]], in that the child class can still inherit all the features of the parent class, but, the semantics about the child "being a kind of" the parent need not be necessarily applied. |
||
==Advantages== |
==Advantages== |
||
# It provides a mechanism for [[multiple inheritance]] by allowing |
# It provides a mechanism for [[multiple inheritance]] by allowing one class to use common functionality from multiple classes, but without the complex semantics of multiple inheritance.<ref>{{Cite web|url=http://culttt.com/2015/07/08/working-with-mixins-in-ruby/|title=Working with Mixins in Ruby|date=8 July 2015}}</ref> |
||
# [[Code reuse|Code reusability]]: Mixins are useful when a programmer wants to share functionality between different classes. Instead of repeating the same code over and over again, the common functionality can simply be grouped into a mixin and then included into each class that requires it.<ref>http://naildrivin5.com/blog/2012/12/19/re-use-in-oo-inheritance.html</ref> |
# [[Code reuse|Code reusability]]: Mixins are useful when a programmer wants to share functionality between different classes. Instead of repeating the same code over and over again, the common functionality can simply be grouped into a mixin and then included into each class that requires it.<ref>{{cite web | url=http://naildrivin5.com/blog/2012/12/19/re-use-in-oo-inheritance.html | title=Re-use in OO: Inheritance, Composition and Mixins }}</ref> |
||
# Mixins allow inheritance and use of only the desired features from the parent class, not necessarily all of the features from the parent class.<ref>http://justinleitgeb.com/ruby/moving-beyond-mixins/</ref> |
# Mixins allow inheritance and use of only the desired features from the parent class, not necessarily all of the features from the parent class.<ref>{{Cite web |url=http://justinleitgeb.com/ruby/moving-beyond-mixins/ |title=Moving beyond mixins » Justin Leitgeb |access-date=2015-09-16 |archive-url=https://web.archive.org/web/20150925090219/http://justinleitgeb.com/ruby/moving-beyond-mixins/ |archive-date=2015-09-25 |url-status=dead }}</ref> |
||
==Implementations== |
==Implementations== |
||
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 [[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 (programming language)|Flavors]], a |
In [[Flavors (programming language)|Flavors]], a mixin is a class from which another class can inherit slot definitions and methods. The mixin usually does not 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 function]]s". These generic functions are functions that are defined in multiple cases (methods) by class dispatch and method combinations. |
In New Flavors (a successor of Flavors) and [[CLOS]], methods are organized in "[[generic function]]s". These generic functions are functions that are defined in multiple cases (methods) by class dispatch and method combinations. |
||
Line 29: | Line 30: | ||
An example is the <code>+</code> method combination, where the resulting values of each of the applicable methods of a generic function are arithmetically 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 <code>bordered-button</code> (that is both a graphical object and uses the <code>border</code> mixin) would compute its width by calling all applicable width methods—via the <code>+</code> method combination. All return values are added and create the combined width of the object. |
An example is the <code>+</code> method combination, where the resulting values of each of the applicable methods of a generic function are arithmetically 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 <code>bordered-button</code> (that is both a graphical object and uses the <code>border</code> mixin) would compute its width by calling all applicable width methods—via the <code>+</code> method combination. All return values are added and create the combined width of the object. |
||
In an OOPSLA 90 paper,<ref> |
In an OOPSLA 90 paper,<ref>{{Cite web |title=Mixin-based Inheritance |url=http://www.bracha.org/oopsla90.pdf}}</ref> 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== |
==Programming languages that use mixins== |
||
Line 35: | Line 36: | ||
*[[Ada (programming language)|Ada]] (by extending an existing tagged record with arbitrary operations in a generic) |
*[[Ada (programming language)|Ada]] (by extending an existing tagged record with arbitrary operations in a generic) |
||
*[[C Sharp (programming language)|C#]] (since C# 8.0, by means of ''default methods'' of interfaces)<ref>{{Cite web |last=Bill Wagner |title=Create mixin types using default interface methods |url=https://docs.microsoft.com/en-us/dotnet/csharp/whats-new/tutorials/mixins-with-default-interface-methods |access-date=2022-04-18 |website=docs.microsoft.com |language=en-us}}</ref> |
|||
*[[Cobra (programming language)|Cobra]] |
*[[Cobra (programming language)|Cobra]] |
||
*[[Adobe ColdFusion|ColdFusion]] (Class based using includes and Object based by assigning methods from one object to another at runtime) |
*[[Adobe ColdFusion|ColdFusion]] (Class based using includes and Object based by assigning methods from one object to another at runtime) |
||
Line 40: | Line 42: | ||
*[[D (programming language)|D]] (called [http://www.digitalmars.com/d/template-mixin.html "template mixins"]; D also includes a [http://dlang.org/mixin.html "mixin"] statement that compiles strings as code.) |
*[[D (programming language)|D]] (called [http://www.digitalmars.com/d/template-mixin.html "template mixins"]; D also includes a [http://dlang.org/mixin.html "mixin"] statement that compiles strings as code.) |
||
*[[Dart (programming language)|Dart]] |
*[[Dart (programming language)|Dart]] |
||
*[[Factor programming language|Factor]]<ref>{{cite web |author=slava |date=2010-01-25 |title=Factor/Features/The language |url=http://concatenative.org/wiki/view/Factor/Features/The%20language |accessdate=2012-05-15 |publisher=concatenative.org |quote=Factor's main language features: … Object system with Inheritance, Generic functions, Predicate dispatch and ''Mixins''}}</ref> |
|||
*[[Factor programming language|Factor]]<ref>{{cite web |
|||
| url = http://concatenative.org/wiki/view/Factor/Features/The%20language |
|||
| title = Factor/Features/The language |
|||
| author = slava |
|||
| date = 2010-01-25 |
|||
| publisher = [http://concatenative.org concatenative.org] |
|||
| quote = Factor's main language features: … Object system with Inheritance, Generic functions, Predicate dispatch and ''Mixins'' |
|||
| accessdate = 2012-05-15 |
|||
}}</ref> |
|||
*[[Groovy (programming language)|Groovy]] |
*[[Groovy (programming language)|Groovy]] |
||
*[[Java (programming language)|Java]] (since Java 8, by means of ''default methods'' of interfaces) |
|||
*[[JavaScript#Delegative|JavaScript Delegation - Functions as Roles (Traits and Mixins)]] |
*[[JavaScript#Delegative|JavaScript Delegation - Functions as Roles (Traits and Mixins)]] |
||
*[[Kotlin (programming language)|Kotlin]] |
|||
*[[OCaml]] |
|||
*[[Less (stylesheet language)|Less]] |
|||
*[[Perl]] (through [[Moose_(Perl)#Roles|roles]] in the Moose extension of the Perl 5 object system) |
|||
*[[Magik (programming language)|Magik]] |
|||
*[[Perl 6]] |
|||
*[[MATLAB]]<ref>{{Cite web|url=https://in.mathworks.com/help/matlab/mixin-classes.html|title = Classes - MATLAB & Simulink - MathWorks India}}</ref> |
|||
*[[OCaml]]<ref>{{cite web |
|||
| url = https://www.lexifi.com/blog/ocaml/mixin/ |
|||
| title = Mixin objects |
|||
| author = Alain Frisch |
|||
| date = 2013-06-14 |
|||
| publisher = LexiFi |
|||
| accessdate = 2022-03-29 |
|||
}}</ref> |
|||
*[[Perl]] (through [[Moose (Perl)#Roles|roles]] in the Moose extension of the Perl 5 object system) |
|||
*[[PHP]]'s "[[Trait (computer programming)|traits]]" |
*[[PHP]]'s "[[Trait (computer programming)|traits]]" |
||
*[[Python (programming language)|Python]] |
*[[Python (programming language)|Python]] |
||
*[[Racket (programming language)|Racket]] ([http://docs.racket-lang.org/guide/classes.html#(part._.Mixins) mixins documentation]) |
*[[Racket (programming language)|Racket]] ([http://docs.racket-lang.org/guide/classes.html#(part._.Mixins) mixins documentation]) |
||
*[[Raku (programming language)|Raku]] |
|||
*[[Ruby (programming language)|Ruby]] |
*[[Ruby (programming language)|Ruby]] |
||
*[[Rust (programming language)|Rust]] |
|||
*[[Sass (stylesheet language)|Sass (A stylesheet language)]] |
|||
*[[Scala (programming language)|Scala]]<ref>{{cite web |url=http://docs.scala-lang.org/tutorials/tour/mixin-class-composition.html | title=Mixin Class Composition |publisher=[[École polytechnique fédérale de Lausanne]] |accessdate=16 May 2014}}</ref> |
*[[Scala (programming language)|Scala]]<ref>{{cite web |url=http://docs.scala-lang.org/tutorials/tour/mixin-class-composition.html | title=Mixin Class Composition |publisher=[[École polytechnique fédérale de Lausanne]] |accessdate=16 May 2014}}</ref> |
||
*[[Smalltalk]] |
|||
*[[XOTcl]]/[http://wiki.tcl.tk/18152 TclOO] (object systems builtin to [[Tcl]])<ref>[http://media.wu-wien.ac.at/doc/tutorial.html#mixins Mixin classes in XOTcl]</ref> |
|||
*[[ |
*[[Swift (programming language)|Swift]] |
||
*[[SystemVerilog]] |
|||
*[[XOTcl]]/[http://wiki.tcl.tk/18152 TclOO] (object systems builtin to [[Tcl]])<ref>{{Cite web |title=XOTcl - Tutorial |url=http://media.wu-wien.ac.at/doc/tutorial.html#mixins |access-date=2023-05-23 |website=media.wu-wien.ac.at}}</ref> |
|||
*[[TypeScript]] ([https://www.typescriptlang.org/docs/handbook/mixins.html mixins documentation]) |
|||
*[[Vala (programming language)|Vala]] |
*[[Vala (programming language)|Vala]] |
||
*[[Swift (programming language)|Swift]] |
|||
*[[SystemVerilog (programming language)|SystemVerilog]] |
|||
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 [[static typing|statically typed]] languages, but it requires constructing a new object with the extended set of methods. |
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 [[static typing|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. |
Other languages that do not support mixins can support them in a round-about way via other language constructs. For example, [[Visual Basic .NET]] and C# 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. |
||
==Examples== |
==Examples== |
||
Line 76: | Line 84: | ||
<code>object-width</code> is a generic function with one argument that uses the <code>+</code> method combination. This combination determines that all applicable methods for a generic function will be called and the results will be added. |
<code>object-width</code> is a generic function with one argument that uses the <code>+</code> method combination. This combination determines that all applicable methods for a generic function will be called and the results will be added. |
||
< |
<syntaxhighlight lang="lisp"> |
||
(defgeneric object-width (object) |
(defgeneric object-width (object) |
||
(:method-combination +)) |
(:method-combination +)) |
||
</syntaxhighlight> |
|||
</source> |
|||
<code>button</code> is a class with one slot for the button text. |
<code>button</code> is a class with one slot for the button text. |
||
< |
<syntaxhighlight lang="lisp"> |
||
(defclass button () |
(defclass button () |
||
((text :initform "click me"))) |
((text :initform "click me"))) |
||
</syntaxhighlight> |
|||
</source> |
|||
There is a method for objects of class button that computes the width based on the length of the button text. <code>+</code> is the method qualifier for the method combination of the same name. |
There is a method for objects of class button that computes the width based on the length of the button text. <code>+</code> is the method qualifier for the method combination of the same name. |
||
< |
<syntaxhighlight lang="lisp"> |
||
(defmethod object-width + ((object button)) |
(defmethod object-width + ((object button)) |
||
(* 10 (length (slot-value object 'text)))) |
(* 10 (length (slot-value object 'text)))) |
||
</syntaxhighlight> |
|||
</source> |
|||
A <code>border-mixin</code> class. The naming is just a convention. There are no superclasses, and no slots. |
A <code>border-mixin</code> class. The naming is just a convention. There are no superclasses, and no slots. |
||
< |
<syntaxhighlight lang="lisp"> |
||
(defclass border-mixin () ()) |
(defclass border-mixin () ()) |
||
</syntaxhighlight> |
|||
</source> |
|||
There is a method computing the width of the border. Here it is just 4. |
There is a method computing the width of the border. Here it is just 4. |
||
< |
<syntaxhighlight lang="lisp"> |
||
(defmethod object-width + ((object border-mixin)) |
(defmethod object-width + ((object border-mixin)) |
||
4) |
4) |
||
</syntaxhighlight> |
|||
</source> |
|||
<code>bordered-button</code> is a class inheriting from both <code>border-mixin</code> and <code>button</code>. |
<code>bordered-button</code> is a class inheriting from both <code>border-mixin</code> and <code>button</code>. |
||
< |
<syntaxhighlight lang="lisp"> |
||
(defclass bordered-button (border-mixin button) ()) |
(defclass bordered-button (border-mixin button) ()) |
||
</syntaxhighlight> |
|||
</source> |
|||
We can now compute the width of a button. Calling <code>object-width</code> computes 80. The result is the result of the single applicable method: the method <code>object-width</code> for the class <code>button</code>. |
We can now compute the width of a button. Calling <code>object-width</code> computes 80. The result is the result of the single applicable method: the method <code>object-width</code> for the class <code>button</code>. |
||
< |
<syntaxhighlight lang="lisp"> |
||
? (object-width (make-instance 'button)) |
? (object-width (make-instance 'button)) |
||
80 |
80 |
||
</syntaxhighlight> |
|||
</source> |
|||
We can also compute the width of a <code>bordered-button</code>. Calling <code>object-width</code> computes 84. The result is the sum of the results of the two applicable methods: the method <code>object-width</code> for the class <code>button</code> and the method <code>object-width</code> for the class <code>border-mixin</code>. |
We can also compute the width of a <code>bordered-button</code>. Calling <code>object-width</code> computes 84. The result is the sum of the results of the two applicable methods: the method <code>object-width</code> for the class <code>button</code> and the method <code>object-width</code> for the class <code>border-mixin</code>. |
||
< |
<syntaxhighlight lang="lisp"> |
||
? (object-width (make-instance 'bordered-button)) |
? (object-width (make-instance 'bordered-button)) |
||
84 |
84 |
||
</syntaxhighlight> |
|||
</source> |
|||
===In Python=== |
===In Python=== |
||
In [[Python (programming language)|Python]], the <code>SocketServer</code> module<ref> |
In [[Python (programming language)|Python]], an example of the mixin concept is found in the <code>SocketServer</code> module,<ref>{{Cite web |title=cpython: 2cb530243943 Lib/socketserver.py |url=https://hg.python.org/cpython/file/3.5/Lib/socketserver.py |access-date=2023-05-23 |website=hg.python.org}}</ref> which has both a <code>UDPServer</code> class and a <code>TCPServer</code> class. They act as servers for [[User Datagram Protocol|UDP]] and [[Transmission Control Protocol|TCP]] socket servers, respectively. Additionally, there are two mixin classes: <code>ForkingMixIn</code> and <code>ThreadingMixIn</code>. Normally, all new connections are handled within the same process. By extending <code>TCPServer</code> with the <code>ThreadingMixIn</code> as follows: |
||
< |
<syntaxhighlight lang="python"> |
||
class ThreadingTCPServer(ThreadingMixIn, TCPServer): |
class ThreadingTCPServer(ThreadingMixIn, TCPServer): |
||
pass |
pass |
||
</syntaxhighlight> |
|||
</source> |
|||
the <code>ThreadingMixIn</code> class adds functionality to the TCP server such that each new connection creates a new [[thread (computer science)|thread]]. Alternatively, using the <code>ForkingMixIn</code> would cause the process to be [[fork (operating system)|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. |
the <code>ThreadingMixIn</code> class adds functionality to the TCP server such that each new connection creates a new [[thread (computer science)|thread]]. Using the same method, a <code>ThreadingUDPServer</code> can be created without having to duplicate the code in <code>ThreadingMixIn</code>. Alternatively, using the <code>ForkingMixIn</code> would cause the process to be [[fork (operating system)|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 this usage example, the mixins provide alternative underlying functionality without affecting the functionality as a socket server. |
||
Line 145: | Line 153: | ||
Example: |
Example: |
||
< |
<syntaxhighlight lang="ruby"> |
||
class Student |
class Student |
||
Line 172: | Line 180: | ||
s1 <= s2 #false |
s1 <= s2 #false |
||
</syntaxhighlight> |
|||
</source> |
|||
===In JavaScript=== |
===In JavaScript=== |
||
Line 180: | Line 188: | ||
# It intermingles properties of the model domain with that of implementation domain. |
# It intermingles properties of the model domain with that of implementation domain. |
||
# No sharing of common behavior. Metaobjects solve this problem by separating the domain specific properties of objects from their behaviour specific properties.<ref>http://raganwald.com/2014/04/10/mixins-forwarding-delegation.html</ref> |
# No sharing of common behavior. Metaobjects solve this problem by separating the domain specific properties of objects from their behaviour specific properties.<ref>{{Cite web|url=http://raganwald.com/2014/04/10/mixins-forwarding-delegation.html|title = Mixins, Forwarding, and Delegation in JavaScript}}</ref> |
||
An extend function |
An extend function is used to mix the behavior in:<ref>{{Cite web |url=http://bob.yexley.net/dry-javascript-with-mixins/ |title=DRY JavaScript with mixins |access-date=2015-09-16 |archive-url=https://web.archive.org/web/20150921074320/http://bob.yexley.net/dry-javascript-with-mixins/ |archive-date=2015-09-21 |url-status=dead }}</ref> |
||
< |
<syntaxhighlight lang="javascript"> |
||
'use strict'; |
|||
// This example may be contrived. |
|||
// It's an attempt to clean up the previous, broken example. |
|||
var Halfling = function (fName, lName) { |
|||
this.firstName = fName; |
|||
this.lastName = lName; |
|||
} |
|||
const Halfling = function (fName, lName) { |
|||
var NameMixin = { |
|||
this.firstName = fName; |
|||
fullName: function () { |
|||
this.lastName = lName; |
|||
return this.firstName + ' ' + this.lastName; |
|||
}, |
|||
rename: function(first, last) { |
|||
this.firstName = first; |
|||
this.lastName = last; |
|||
return this; |
|||
} |
|||
}; |
}; |
||
const mixin = { |
|||
var sam = new Halfling('Sam', 'Lowry'); |
|||
fullName() { |
|||
var frodo = new Halfling('Freeda', 'Baggs'); |
|||
return this.firstName + ' ' + this.lastName; |
|||
}, |
|||
rename(first, last) { |
|||
this.firstName = first; |
|||
this.lastName = last; |
|||
return this; |
|||
} |
|||
}; |
|||
// An extend function |
|||
const extend = (obj, mixin) => { |
|||
Object.keys(mixin).forEach(key => obj[key] = mixin[key]); |
|||
return obj; |
|||
}; |
|||
const sam = new Halfling('Sam', 'Loawry'); |
|||
const frodo = new Halfling('Freeda', 'Baggs'); |
|||
// Mixin the other methods |
// Mixin the other methods |
||
extend(Halfling.prototype, mixin); |
|||
console.log(sam.fullName()); // Sam Loawry |
|||
console.log(frodo.fullName()); // Freeda Baggs |
|||
// Now the Halfling objects have access to the NameMixin methods |
|||
sam.rename('Samwise', 'Gamgee'); |
sam.rename('Samwise', 'Gamgee'); |
||
frodo.rename('Frodo', 'Baggins'); |
frodo.rename('Frodo', 'Baggins'); |
||
</source> |
|||
console.log(sam.fullName()); // Samwise Gamgee |
|||
console.log(frodo.fullName()); // Frodo Baggins |
|||
</syntaxhighlight> |
|||
'''Mixin with using Object.assign()''' |
|||
<syntaxhighlight lang="javascript"> |
|||
'use strict'; |
|||
// Creating an object |
|||
const obj1 = { |
|||
name: 'Marcus Aurelius', |
|||
city: 'Rome', |
|||
born: '121-04-26' |
|||
}; |
|||
// Mixin 1 |
|||
const mix1 = { |
|||
toString() { |
|||
return `${this.name} was born in ${this.city} in ${this.born}`; |
|||
}, |
|||
age() { |
|||
const year = new Date().getFullYear(); |
|||
const born = new Date(this.born).getFullYear(); |
|||
return year - born; |
|||
} |
|||
}; |
|||
// Mixin 2 |
|||
const mix2 = { |
|||
toString() { |
|||
return `${this.name} - ${this.city} - ${this.born}`; |
|||
} |
|||
}; |
|||
// Adding the methods from mixins to the object using Object.assign() |
|||
Object.assign(obj1, mix1, mix2); |
|||
console.log(obj1.toString()); // Marcus Aurelius - Rome - 121-04-26 |
|||
console.log(`His age is ${obj1.age()} as of today`); // His age is 1897 as of today |
|||
</syntaxhighlight> |
|||
'''The pure function and delegation based ''Flight-Mixin Approach''''' |
'''The pure function and delegation based ''Flight-Mixin Approach''''' |
||
Line 220: | Line 277: | ||
Two function object based patterns already do the trick without the need of a third party's implementation of <code>extend</code>. |
Two function object based patterns already do the trick without the need of a third party's implementation of <code>extend</code>. |
||
< |
<syntaxhighlight lang="javascript"> |
||
'use strict'; |
|||
// Implementation |
// Implementation |
||
const EnumerableFirstLast = (function () { // function based module pattern. |
|||
const first = function () { |
|||
return this[0]; |
|||
}, |
}, |
||
last = function () { |
last = function () { |
||
return this[this.length - 1]; |
|||
}; |
|||
return function () { // function based Flight-Mixin mechanics ... |
|||
this.first = first; // ... referring to ... |
|||
this.last = last; // ... shared code. |
|||
}; |
}; |
||
return function () { // function based Flight-Mixin mechanics ... |
|||
this.first = first; // ... referring to ... |
|||
this.last = last; // ... shared code. |
|||
}; |
|||
}()); |
}()); |
||
Line 240: | Line 299: | ||
// Now you can do: |
// Now you can do: |
||
a = [1, 2, 3]; |
const a = [1, 2, 3]; |
||
a.first(); // 1 |
a.first(); // 1 |
||
a.last(); // 3 |
a.last(); // 3 |
||
</source> |
|||
</syntaxhighlight> |
|||
===In other languages=== |
===In other languages=== |
||
Line 249: | Line 309: | ||
==Interfaces and traits== |
==Interfaces and traits== |
||
Java 8 introduces a new feature in the form of default methods for interfaces.<ref>https://docs.oracle.com/javase/tutorial/java/IandI/defaultmethods.html</ref> Basically it allows a method to be defined in an interface with application in the scenario when a new method is to be added to an interface after the interface class programming setup is done. To add a new function to the interface means to implement the method at every class which uses the interface. Default methods help in this case where they can be introduced to an interface any time and have an implemented structure which is then used by the associated classes. Hence default methods |
Java 8 introduces a new feature in the form of default methods for interfaces.<ref>{{Cite web|url=https://docs.oracle.com/javase/tutorial/java/IandI/defaultmethods.html|title = Default Methods (The Java™ Tutorials > Learning the Java Language > Interfaces and Inheritance)}}</ref> Basically it allows a method to be defined in an interface with application in the scenario when a new method is to be added to an interface after the interface class programming setup is done. To add a new function to the interface means to implement the method at every class which uses the interface. Default methods help in this case where they can be introduced to an interface any time and have an implemented structure which is then used by the associated classes. Hence default methods add the ability to applying the mixin concept in Java. |
||
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 |
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. With Dart 2.7 and C# 3.0 came the introduction of extension methods which can be applied, not only to classe, but also to interfaces. Extension Methods provide additional functionality on an existing class without modifying the class. It then becomes possible to create a static helper class for specific functionality that defines the extension methods. Because the classes implement the interface (even if the actual interface doesn’t contain any methods or properties to implement) it will pick up all the extension methods also.<ref name=":2">{{Cite web |title=Implementing Mixins with C# Extension Methods |url=https://www.zorched.net/2008/01/03/implementing-mixins-with-c-extension-methods/ |access-date=2023-05-23 |website=Zorched / One-Line Fix |language=en}}</ref><ref name=":3">{{Cite web |date=2006-09-04 |title=I know the answer (it's 42) : Mixins and C# |url=http://blogs.msdn.com/abhinaba/archive/2006/01/06/510034.aspx |access-date=2023-05-23 |archive-url=https://web.archive.org/web/20060904095424/http://blogs.msdn.com/abhinaba/archive/2006/01/06/510034.aspx |archive-date=2006-09-04 }}</ref><ref>[http://erwyn.bloggingabout.net/2005/10/20/mixins-generics-and-extension-methods-in-c/ Mixins, generics and extension methods in C#]</ref> C# 8.0 adds the feature of default interface methods.<ref>{{Cite web |title=Extension methods |url=https://flutterbyexample.com/lesson/extension-methods/ |access-date=2023-05-23 |website=flutterbyexample.com |language=en}}</ref><ref>{{Cite web |date=2020-04-13 |title=Create mixin types using default interface methods {{!}} Microsoft Docs |url=https://docs.microsoft.com/en-us/dotnet/csharp/tutorials/mixins-with-default-interface-methods |access-date=2023-05-23 |archive-url=https://web.archive.org/web/20200413082731/https://docs.microsoft.com/en-us/dotnet/csharp/tutorials/mixins-with-default-interface-methods |archive-date=2020-04-13 }}</ref> |
||
[[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<ref> |
[[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<ref>{{Cite web |last=Seliger |first=Peter |date=2014-04-11 |title=Drehtür: The-many-Talents-of-JavaScript |url=http://peterseliger.blogspot.com/2014/04/the-many-talents-of-javascript.html |access-date=2023-05-23 |website=Drehtür}}</ref> supports [[Trait (computer programming)|Trait]] and mixin<ref>{{Cite web |last=Croll |first=Angus |date=2011-05-31 |title=A fresh look at JavaScript Mixins |url=https://javascriptweblog.wordpress.com/2011/05/31/a-fresh-look-at-javascript-mixins/ |access-date=2023-05-23 |website=JavaScript, JavaScript... |language=en}}</ref><ref>{{Cite web |title=javascript-code-reuse-patterns/source/components/composition at master · petsel/javascript-code-reuse-patterns |url=https://github.com/petsel/javascript-code-reuse-patterns |access-date=2023-05-23 |website=GitHub |language=en}}</ref> based object composition via function objects that implement additional behavior and then are delegated via <code>call</code> or <code>apply</code> to objects that are in need of such new functionality. |
||
===In Scala=== |
===In Scala=== |
||
Scala has a rich type system and Traits are a part of it which helps implement mixin behaviour. As their name reveals, Traits are usually used to represent a distinct feature or aspect that is normally orthogonal to the responsibility of a concrete type or at least of a certain instance.<ref>https://gleichmann.wordpress.com/2009/07/19/scala-in-practice-traits-as-mixins-motivation</ref> |
Scala has a rich type system and Traits are a part of it which helps implement mixin behaviour. As their name reveals, Traits are usually used to represent a distinct feature or aspect that is normally orthogonal to the responsibility of a concrete type or at least of a certain instance.<ref>{{Cite web|url=https://gleichmann.wordpress.com/2009/07/19/scala-in-practice-traits-as-mixins-motivation|title = Scala in practice: Traits as Mixins – Motivation|date = 19 July 2009}}</ref> |
||
For example, the ability to sing is modeled as such an orthogonal feature: it could be applied to Birds, Persons, etc. |
For example, the ability to sing is modeled as such an orthogonal feature: it could be applied to Birds, Persons, etc. |
||
< |
<syntaxhighlight lang="scala"> |
||
trait Singer{ |
trait Singer{ |
||
def sing { println(" singing … ") } |
def sing { println(" singing … ") } |
||
Line 265: | Line 325: | ||
} |
} |
||
class |
class Bird extends Singer |
||
</syntaxhighlight> |
|||
</source> |
|||
Here, Bird has mixed in all methods of the trait into its own definition as if class Bird had defined method sing() on its own. |
Here, Bird has mixed in all methods of the trait into its own definition as if class Bird had defined method sing() on its own. |
||
Line 272: | Line 332: | ||
As <code>extends</code> is also used to inherit from a super class, in case of a trait <code>extends</code> is used if no super class is inherited and only for mixin in the first trait. All following traits are mixed in using keyword <code>with</code>. |
As <code>extends</code> is also used to inherit from a super class, in case of a trait <code>extends</code> is used if no super class is inherited and only for mixin in the first trait. All following traits are mixed in using keyword <code>with</code>. |
||
< |
<syntaxhighlight lang="scala"> |
||
class Person |
class Person |
||
class Actor extends Person with Singer |
class Actor extends Person with Singer |
||
class Actor extends Singer with Performer |
class Actor extends Singer with Performer |
||
</syntaxhighlight> |
|||
</source> |
|||
Scala allows mixing in a trait (creating an anonymous type) when creating a new instance of a class. In the case of a Person class instance, not all instances can sing. This feature comes use then: |
Scala allows mixing in a trait (creating an [[anonymous type]]) when creating a new instance of a class. In the case of a Person class instance, not all instances can sing. This feature comes use then: |
||
< |
<syntaxhighlight lang="scala"> |
||
class Person{ |
class Person{ |
||
def tell { println (" Human ") } |
def tell { println (" Human ") } |
||
Line 288: | Line 348: | ||
val singingPerson = new Person with Singer |
val singingPerson = new Person with Singer |
||
singingPerson.sing |
singingPerson.sing |
||
</syntaxhighlight> |
|||
</source> |
|||
=== In Rust === |
|||
Rust makes extensive use of mixins via ''traits''. Traits, like in Scala, allow users to implement behaviours for a defined type. They are also used for [[Generic programming|generics]] and [[dynamic dispatch]], allowing types implementing a trait to be used interchangeably statically or dynamically at runtime.<ref>{{Cite web | url=https://doc.rust-lang.org/book/ch10-02-traits.html | title=Traits: Defining Shared Behavior - the Rust Programming Language }}</ref> |
|||
<syntaxhighlight lang="rust"> |
|||
// Allows for types to "speak" |
|||
trait Speak { |
|||
fn speak(); |
|||
// Rust allows implementors to define default implementations for functions defined in traits |
|||
fn greet() { |
|||
println!("Hi!") |
|||
} |
|||
} |
|||
struct Dog; |
|||
impl Speak for Dog { |
|||
fn speak() { |
|||
println!("Woof woof"); |
|||
} |
|||
} |
|||
struct Robot; |
|||
impl Speak for Robot { |
|||
fn speak() { |
|||
println!("Beep beep boop boop"); |
|||
} |
|||
// Here we override the definition of Speak::greet for Robot |
|||
fn greet() { |
|||
println!("Robot says howdy!") |
|||
} |
|||
} |
|||
</syntaxhighlight> |
|||
===In Swift=== |
===In Swift=== |
||
Mixin can be achieved in Swift by using a language feature called Default implementation in Protocol Extension. |
Mixin can be achieved in Swift by using a language feature called Default implementation in Protocol Extension. |
||
< |
<syntaxhighlight lang="swift" line="1"> |
||
protocol ErrorDisplayable { |
protocol ErrorDisplayable { |
||
func error(message:String) |
func error(message:String) |
||
Line 306: | Line 402: | ||
} |
} |
||
struct NetworkManager : ErrorDisplayable{ |
struct NetworkManager : ErrorDisplayable { |
||
func onError() { |
func onError() { |
||
error("Please check your internet Connection.") |
error("Please check your internet Connection.") |
||
} |
} |
||
} |
} |
||
</syntaxhighlight> |
|||
</source> |
|||
==See also== |
==See also== |
||
Line 317: | Line 413: | ||
* [[Decorator pattern]] |
* [[Decorator pattern]] |
||
* [[Policy-based design]] |
* [[Policy-based design]] |
||
* [[Trait (computer programming)|Trait]], a similar structure that |
* [[Trait (computer programming)|Trait]], a similar structure that does not require linear composition |
||
==References== |
==References== |
||
Line 324: | Line 420: | ||
==External links== |
==External links== |
||
* [http://c2.com/cgi/wiki?MixIn MixIn] at Portland Pattern Repository |
* [http://c2.com/cgi/wiki?MixIn MixIn] at Portland Pattern Repository |
||
* [http://www.macromedia.com/support/documentation/en/flex/1/mixin/index.html Mixins] in [[ActionScript]] |
* [https://web.archive.org/web/20050308114937/http://www.macromedia.com/support/documentation/en/flex/1/mixin/index.html Mixins] in [[ActionScript]] |
||
* [ |
* [https://www.dreamsongs.com/Files/ECOOP.pdf The Common Lisp Object System: An Overview] by [[Richard P. Gabriel]] and Linda DeMichiel provides a good introduction to the motivation for defining classes by means of generic functions. |
||
<!--Categories--> |
<!--Categories--> |
Revision as of 15:29, 24 June 2024
In object-oriented programming languages, a mixin (or mix-in)[1][2][3][4] is a class that contains methods for use by other classes without having to be the parent class of those other classes. How those other classes gain access to the mixin's methods depends on the language. 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[5] (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. This pattern is an example of enforcing the dependency inversion principle.
History
Mixins first appeared in Symbolics's 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:[1] 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.[2]
Definition
Mixins are a language concept that allows a programmer to inject some code into a class. Mixin programming is a style of software development, in which units of functionality are created in a class and then mixed in with other classes.[6]
A mixin class acts as the parent class, containing the desired functionality. A subclass can then inherit or simply reuse this functionality, but not as a means of specialization. Typically, the mixin will export the desired functionality to a child class, without creating a rigid, single "is a" relationship. Here lies the important difference between the concepts of mixins and inheritance, in that the child class can still inherit all the features of the parent class, but, the semantics about the child "being a kind of" the parent need not be necessarily applied.
Advantages
- It provides a mechanism for multiple inheritance by allowing one class to use common functionality from multiple classes, but without the complex semantics of multiple inheritance.[7]
- Code reusability: Mixins are useful when a programmer wants to share functionality between different classes. Instead of repeating the same code over and over again, the common functionality can simply be grouped into a mixin and then included into each class that requires it.[8]
- Mixins allow inheritance and use of only the desired features from the parent class, not necessarily all of the features from the parent class.[9]
Implementations
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 not 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 resulting values of each of the applicable methods of a generic function are arithmetically 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,[10] 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
Other than Flavors and CLOS (a part of Common Lisp), some languages that use mixins are:
- Ada (by extending an existing tagged record with arbitrary operations in a generic)
- C# (since C# 8.0, by means of default methods of interfaces)[11]
- Cobra
- ColdFusion (Class based using includes and Object based by assigning methods from one object to another at runtime)
- Curl (with Curl RTE)
- D (called "template mixins"; D also includes a "mixin" statement that compiles strings as code.)
- Dart
- Factor[12]
- Groovy
- Java (since Java 8, by means of default methods of interfaces)
- JavaScript Delegation - Functions as Roles (Traits and Mixins)
- Kotlin
- Less
- Magik
- MATLAB[13]
- OCaml[14]
- Perl (through roles in the Moose extension of the Perl 5 object system)
- PHP's "traits"
- Python
- Racket (mixins documentation)
- Raku
- Ruby
- Rust
- Sass (A stylesheet language)
- Scala[15]
- Smalltalk
- Swift
- SystemVerilog
- XOTcl/TclOO (object systems builtin to Tcl)[16]
- TypeScript (mixins documentation)
- Vala
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. For example, Visual Basic .NET and C# 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.
Examples
In Common Lisp
Common Lisp provides mixins in CLOS (Common Lisp Object System) similar to Flavors.
object-width
is a generic function with one argument that uses the +
method combination. This 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. There are no superclasses, and 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
In Python, an example of the mixin concept is found in the SocketServer
module,[17] which 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. Using the same method, a ThreadingUDPServer
can be created without having to duplicate the code in ThreadingMixIn
. 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 Ruby
Most of the Ruby world is based around mixins via Modules
. The concept of mixins is implemented in Ruby by the keyword include
to which we pass the name of the module as parameter.
Example:
class Student
include Comparable # The class Student inherits the Comparable module using the 'include' keyword
attr_accessor :name, :score
def initialize(name, score)
@name = name
@score = score
end
# Including the Comparable module requires the implementing class to define the <=> comparison operator
# Here's the comparison operator. We compare 2 student instances based on their scores.
def <=>(other)
@score <=> other.score
end
# Here's the good bit - I get access to <, <=, >,>= and other methods of the Comparable Interface for free.
end
s1 = Student.new("Peter", 100)
s2 = Student.new("Jason", 90)
s1 > s2 #true
s1 <= s2 #false
In JavaScript
The Object-Literal and extend
Approach
It is technically possible to add behavior to an object by binding functions to keys in the object. However, this lack of separation between state and behavior has drawbacks:
- It intermingles properties of the model domain with that of implementation domain.
- No sharing of common behavior. Metaobjects solve this problem by separating the domain specific properties of objects from their behaviour specific properties.[18]
An extend function is used to mix the behavior in:[19]
'use strict';
const Halfling = function (fName, lName) {
this.firstName = fName;
this.lastName = lName;
};
const mixin = {
fullName() {
return this.firstName + ' ' + this.lastName;
},
rename(first, last) {
this.firstName = first;
this.lastName = last;
return this;
}
};
// An extend function
const extend = (obj, mixin) => {
Object.keys(mixin).forEach(key => obj[key] = mixin[key]);
return obj;
};
const sam = new Halfling('Sam', 'Loawry');
const frodo = new Halfling('Freeda', 'Baggs');
// Mixin the other methods
extend(Halfling.prototype, mixin);
console.log(sam.fullName()); // Sam Loawry
console.log(frodo.fullName()); // Freeda Baggs
sam.rename('Samwise', 'Gamgee');
frodo.rename('Frodo', 'Baggins');
console.log(sam.fullName()); // Samwise Gamgee
console.log(frodo.fullName()); // Frodo Baggins
Mixin with using Object.assign()
'use strict';
// Creating an object
const obj1 = {
name: 'Marcus Aurelius',
city: 'Rome',
born: '121-04-26'
};
// Mixin 1
const mix1 = {
toString() {
return `${this.name} was born in ${this.city} in ${this.born}`;
},
age() {
const year = new Date().getFullYear();
const born = new Date(this.born).getFullYear();
return year - born;
}
};
// Mixin 2
const mix2 = {
toString() {
return `${this.name} - ${this.city} - ${this.born}`;
}
};
// Adding the methods from mixins to the object using Object.assign()
Object.assign(obj1, mix1, mix2);
console.log(obj1.toString()); // Marcus Aurelius - Rome - 121-04-26
console.log(`His age is ${obj1.age()} as of today`); // His age is 1897 as of today
The pure function and delegation based Flight-Mixin Approach
Even though the firstly described approach is mostly widespread the next one is closer to what JavaScript's language core fundamentally offers - Delegation.
Two function object based patterns already do the trick without the need of a third party's implementation of extend
.
'use strict';
// Implementation
const EnumerableFirstLast = (function () { // function based module pattern.
const first = function () {
return this[0];
},
last = function () {
return this[this.length - 1];
};
return function () { // function based Flight-Mixin mechanics ...
this.first = first; // ... referring to ...
this.last = last; // ... shared code.
};
}());
// Application - explicit delegation:
// applying [first] and [last] enumerable behavior onto [Array]'s [prototype].
EnumerableFirstLast.call(Array.prototype);
// Now you can do:
const a = [1, 2, 3];
a.first(); // 1
a.last(); // 3
In other languages
In the Curl web-content language, multiple inheritance is used as classes with no instances may implement methods. Common mixins include all skinnable ControlUI
s 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
Java 8 introduces a new feature in the form of default methods for interfaces.[20] Basically it allows a method to be defined in an interface with application in the scenario when a new method is to be added to an interface after the interface class programming setup is done. To add a new function to the interface means to implement the method at every class which uses the interface. Default methods help in this case where they can be introduced to an interface any time and have an implemented structure which is then used by the associated classes. Hence default methods add the ability to applying the mixin concept in Java.
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. With Dart 2.7 and C# 3.0 came the introduction of extension methods which can be applied, not only to classe, but also to interfaces. Extension Methods provide additional functionality on an existing class without modifying the class. It then becomes possible to create a static helper class for specific functionality that defines the extension methods. Because the classes implement the interface (even if the actual interface doesn’t contain any methods or properties to implement) it will pick up all the extension methods also.[3][4][21] C# 8.0 adds the feature of default interface methods.[22][23]
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[24] supports Trait and mixin[25][26] 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.
In Scala
Scala has a rich type system and Traits are a part of it which helps implement mixin behaviour. As their name reveals, Traits are usually used to represent a distinct feature or aspect that is normally orthogonal to the responsibility of a concrete type or at least of a certain instance.[27] For example, the ability to sing is modeled as such an orthogonal feature: it could be applied to Birds, Persons, etc.
trait Singer{
def sing { println(" singing … ") }
//more methods
}
class Bird extends Singer
Here, Bird has mixed in all methods of the trait into its own definition as if class Bird had defined method sing() on its own.
As extends
is also used to inherit from a super class, in case of a trait extends
is used if no super class is inherited and only for mixin in the first trait. All following traits are mixed in using keyword with
.
class Person
class Actor extends Person with Singer
class Actor extends Singer with Performer
Scala allows mixing in a trait (creating an anonymous type) when creating a new instance of a class. In the case of a Person class instance, not all instances can sing. This feature comes use then:
class Person{
def tell { println (" Human ") }
//more methods
}
val singingPerson = new Person with Singer
singingPerson.sing
In Rust
Rust makes extensive use of mixins via traits. Traits, like in Scala, allow users to implement behaviours for a defined type. They are also used for generics and dynamic dispatch, allowing types implementing a trait to be used interchangeably statically or dynamically at runtime.[28]
// Allows for types to "speak"
trait Speak {
fn speak();
// Rust allows implementors to define default implementations for functions defined in traits
fn greet() {
println!("Hi!")
}
}
struct Dog;
impl Speak for Dog {
fn speak() {
println!("Woof woof");
}
}
struct Robot;
impl Speak for Robot {
fn speak() {
println!("Beep beep boop boop");
}
// Here we override the definition of Speak::greet for Robot
fn greet() {
println!("Robot says howdy!")
}
}
In Swift
Mixin can be achieved in Swift by using a language feature called Default implementation in Protocol Extension.
protocol ErrorDisplayable {
func error(message:String)
}
extension ErrorDisplayable {
func error(message:String) {
// Do what it needs to show an error
//...
print(message)
}
}
struct NetworkManager : ErrorDisplayable {
func onError() {
error("Please check your internet Connection.")
}
}
See also
- Abstract type
- Decorator pattern
- Policy-based design
- Trait, a similar structure that does not require linear composition
References
- ^ a b "Using Mix-ins with Python | Linux Journal". www.linuxjournal.com. Retrieved 2023-05-23.
- ^ a b AOL.COM, Bapopik at (3 August 2002). "Mix-Ins (Steve's ice cream, Boston, 1975)". Retrieved 2023-05-23.
- ^ a b "Implementing Mixins with C# Extension Methods". Zorched / One-Line Fix. Retrieved 2023-05-23.
- ^ a b "I know the answer (it's 42) : Mixins and C#". 2006-09-04. Archived from the original on 2006-09-04. Retrieved 2023-05-23.
- ^ Boyland, John; Giuseppe Castagna (26 June 1996). "Type-Safe Compilation of Covariant Specialization: A Practical Case". In Pierre Cointe (ed.). ECOOP '96, Object-oriented Programming: 10th European Conference. Springer. pp. 16–17. ISBN 9783540614395. Retrieved 17 January 2014.
- ^ "Mix In". wiki.c2.com. Retrieved 2023-05-23.
- ^ "Working with Mixins in Ruby". 8 July 2015.
- ^ "Re-use in OO: Inheritance, Composition and Mixins".
- ^ "Moving beyond mixins » Justin Leitgeb". Archived from the original on 2015-09-25. Retrieved 2015-09-16.
- ^ "Mixin-based Inheritance" (PDF).
- ^ Bill Wagner. "Create mixin types using default interface methods". docs.microsoft.com. Retrieved 2022-04-18.
- ^ 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
- ^ "Classes - MATLAB & Simulink - MathWorks India".
- ^ Alain Frisch (2013-06-14). "Mixin objects". LexiFi. Retrieved 2022-03-29.
- ^ "Mixin Class Composition". École polytechnique fédérale de Lausanne. Retrieved 16 May 2014.
- ^ "XOTcl - Tutorial". media.wu-wien.ac.at. Retrieved 2023-05-23.
- ^ "cpython: 2cb530243943 Lib/socketserver.py". hg.python.org. Retrieved 2023-05-23.
- ^ "Mixins, Forwarding, and Delegation in JavaScript".
- ^ "DRY JavaScript with mixins". Archived from the original on 2015-09-21. Retrieved 2015-09-16.
- ^ "Default Methods (The Java™ Tutorials > Learning the Java Language > Interfaces and Inheritance)".
- ^ Mixins, generics and extension methods in C#
- ^ "Extension methods". flutterbyexample.com. Retrieved 2023-05-23.
- ^ "Create mixin types using default interface methods | Microsoft Docs". 2020-04-13. Archived from the original on 2020-04-13. Retrieved 2023-05-23.
- ^ Seliger, Peter (2014-04-11). "Drehtür: The-many-Talents-of-JavaScript". Drehtür. Retrieved 2023-05-23.
- ^ Croll, Angus (2011-05-31). "A fresh look at JavaScript Mixins". JavaScript, JavaScript... Retrieved 2023-05-23.
- ^ "javascript-code-reuse-patterns/source/components/composition at master · petsel/javascript-code-reuse-patterns". GitHub. Retrieved 2023-05-23.
- ^ "Scala in practice: Traits as Mixins – Motivation". 19 July 2009.
- ^ "Traits: Defining Shared Behavior - the Rust Programming Language".
External links
- MixIn at Portland Pattern Repository
- Mixins in ActionScript
- The Common Lisp Object System: An Overview by Richard P. Gabriel and Linda DeMichiel provides a good introduction to the motivation for defining classes by means of generic functions.