Extensions
Extensions add new functionality to an existing class, structure, enumeration, or protocol type. This includes the ability to extend types for which you do not have access to the original source code (known as retroactive modeling). Extensions are similar to categories in Objective-C. (Unlike Objective-C categories, Swift extensions do not have names.)
Extensions in Swift can:
Add computed instance properties and computed type properties
Define instance methods and type methods
Provide new initializers
Define subscripts
Define and use new nested types
Make an existing type conform to a protocol
In Swift, you can even extend a protocol to provide implementations of its requirements or add additional functionality that conforming types can take advantage of. For more details, see Protocol Extensions.
Extension Syntax
Declare extensions with the extension keyword:
extensionSomeType{// new functionality to add to SomeType goes here}
An extension can extend an existing type to make it adopt one or more protocols. Where this is the case, the protocol names are written in exactly the same way as for a class or structure:
extensionSomeType:SomeProtocol,AnotherProtocol{// implementation of protocol requirements goes here}
Adding protocol conformance in this way is described in Adding Protocol Conformance with an Extension.
Computed Properties
Extensions can add computed instance properties and computed type properties to existing types. This example adds five computed instance properties to Swift’s built-in Double type, to provide basic support for working with distance units:
extensionDouble{varkm:Double{returnself*1_000.0}varm:Double{returnself}varcm:Double{returnself/100.0}varmm:Double{returnself/1_000.0}varft:Double{returnself/3.28084}}letoneInch=25.4.mmprint("One inch is\(oneInch)meters")// Prints "One inch is 0.0254 meters"letthreeFeet=3.ftprint("Three feet is\(threeFeet)meters")// Prints "Three feet is 0.914399970739201 meters"
These computed properties express that a Double value should be considered as a certain unit of length. Although they are implemented as computed properties, the names of these properties can be appended to a floating-point literal value with dot syntax, as a way to use that literal value to perform distance conversions.
In this example, a Double value of 1.0 is considered to represent “one meter”. This is why the m computed property returns self—the expression 1.m is considered to calculate a Double value of 1.0.
Other units require some conversion to be expressed as a value measured in meters. One kilometer is the same as 1,000 meters, so the km computed property multiplies the value by 1_000.00 to convert into a number expressed in meters. Similarly, there are 3.28084 feet in a meter, and so the ft computed property divides the underlying Double value by 3.28084, to convert it from feet to meters.
These properties are read-only computed properties, and so they are expressed without the get keyword, for brevity. Their return value is of type Double, and can be used within mathematical calculations wherever a Double is accepted:
letaMarathon=42.km+195.mprint("A marathon is\(aMarathon)meters long")// Prints "A marathon is 42195.0 meters long"
Initializers
Extensions can add new initializers to existing types. This enables you to extend other types to accept your own custom types as initializer parameters, or to provide additional initialization options that were not included as part of the type’s original implementation.
Extensions can add new convenience initializers to a class, but they cannot add new designated initializers or deinitializers to a class. Designated initializers and deinitializers must always be provided by the original class implementation.
The example below defines a custom Rect structure to represent a geometric rectangle. The example also defines two supporting structures called Size and Point, both of which provide default values of 0.0 for all of their properties:
structSize{varwidth=0.0,height=0.0}structPoint{varx=0.0,y=0.0}structRect{varorigin=Point()varsize=Size()}
Because the Rect structure provides default values for all of its properties, it receives a default initializer and a memberwise initializer automatically, as described in Default Initializers. These initializers can be used to create new Rect instances:
letdefaultRect=Rect()letmemberwiseRect=Rect(origin:Point(x:2.0,y:2.0),size:Size(width:5.0,height:5.0))
You can extend the Rect structure to provide an additional initializer that takes a specific center point and size:
extensionRect{init(center:Point,size:Size) {letoriginX=center.x- (size.width/2)letoriginY=center.y- (size.height/2)self.init(origin:Point(x:originX,y:originY),size:size)}}
This new initializer starts by calculating an appropriate origin point based on the provided center point and size value. The initializer then calls the structure’s automatic memberwise initializer init(origin:size:), which stores the new origin and size values in the appropriate properties:
letcenterRect=Rect(center:Point(x:4.0,y:4.0),size:Size(width:3.0,height:3.0))// centerRect's origin is (2.5, 2.5) and its size is (3.0, 3.0)
Methods
Extensions can add new instance methods and type methods to existing types. The following example adds a new instance method called repetitions to the Int type:
extensionInt{funcrepetitions(task: () ->Void) {for_in0..<self{task()}}}
The repetitions(_:) method takes a single argument of type () -> Void, which indicates a function that has no parameters and does not return a value.
After defining this extension, you can call the repetitions(_:) method on any integer number to perform a task that many number of times:
3.repetitions({print("Hello!")})// Hello!// Hello!// Hello!
Use trailing closure syntax to make the call more succinct:
3.repetitions{print("Goodbye!")}// Goodbye!// Goodbye!// Goodbye!
Mutating Instance Methods
Instance methods added with an extension can also modify (or mutate) the instance itself. Structure and enumeration methods that modify self or its properties must mark the instance method as mutating, just like mutating methods from an original implementation.
The example below adds a new mutating method called square to Swift’s Int type, which squares the original value:
extensionInt{mutatingfuncsquare() {self=self*self}}varsomeInt=3someInt.square()// someInt is now 9
Subscripts
Extensions can add new subscripts to an existing type. This example adds an integer subscript to Swift’s built-in Int type. This subscript [n] returns the decimal digit n places in from the right of the number:
123456789[0]returns9123456789[1]returns8
…and so on:
extensionInt{subscript(digitIndex:Int) ->Int{vardecimalBase=1for_in0..<digitIndex{decimalBase*=10}return(self/decimalBase) %10}}746381295[0]// returns 5746381295[1]// returns 9746381295[2]// returns 2746381295[8]// returns 7
If the Int value does not have enough digits for the requested index, the subscript implementation returns 0, as if the number had been padded with zeros to the left:
746381295[9]// returns 0, as if you had requested:0746381295[9]
Nested Types
Extensions can add new nested types to existing classes, structures and enumerations:
extensionInt{enumKind{caseNegative,Zero,Positive}varkind:Kind{switchself{case0:return.Zerocaseletxwherex>0:return.Positivedefault:return.Negative}}}
This example adds a new nested enumeration to Int. This enumeration, called Kind, expresses the kind of number that a particular integer represents. Specifically, it expresses whether the number is negative, zero, or positive.
This example also adds a new computed instance property to Int, called kind, which returns the appropriate Kind enumeration case for that integer.
The nested enumeration can now be used with any Int value:
funcprintIntegerKinds(numbers: [Int]) {fornumberinnumbers{switchnumber.kind{case.Negative:print("- ",terminator:"")case.Zero:print("0 ",terminator:"")case.Positive:print("+ ",terminator:"")}}print("")}printIntegerKinds([3,19, -27,0, -6,0,7])// Prints "+ + - 0 - 0 +"
This function, printIntegerKinds, takes an input array of Int values and iterates over those values in turn. For each integer in the array, the function considers the kind computed property for that integer, and prints an appropriate description.