Paradigm | Multi-paradigm: protocol-oriented, object-oriented, functional, imperative, block structured, declarative, concurrent |
---|---|
Designed by | Chris Lattner, Doug Gregor, John McCall, Ted Kremenek, Joe Groff, and Apple Inc. [1] |
Developer | Apple Inc. and open-source contributors |
First appeared | June 2, 2014 [2] |
Stable release | |
Preview release | 6.0 |
Typing discipline | Static, strong, inferred |
Memory management | Automatic Reference Counting |
OS | Apple's operating systems (Darwin, iOS, iPadOS, macOS, tvOS, visionOS, watchOS), Linux, Windows, Android, z/OS |
License | Apache License 2.0 (Swift 2.2 and later) Proprietary (up to Swift 2.2) [4] [5] |
Filename extensions | .swift, .SWIFT |
Website | |
Influenced by | |
Objective-C, [6] Rust, Haskell, Ruby, Python, C#, CLU, [7] D [8] | |
Influenced | |
Rust, [9] V (Vlang) [10] |
Swift is a high-level general-purpose, multi-paradigm, compiled programming language created by Chris Lattner in 2010 for Apple Inc. and maintained by the open-source community. Swift compiles to machine code and uses an LLVM-based compiler. Swift was first released in June 2014 [11] and the Swift toolchain has shipped in Xcode since Xcode version 6, released in September 2014.
Apple intended Swift to support many core concepts associated with Objective-C, notably dynamic dispatch, widespread late binding, extensible programming, and similar features, but in a "safer" way, making it easier to catch software bugs; Swift has features addressing some common programming errors like null pointer dereferencing and provides syntactic sugar to help avoid the pyramid of doom. Swift supports the concept of protocol extensibility, an extensibility system that can be applied to types, structs and classes, which Apple promotes as a real change in programming paradigms they term "protocol-oriented programming" [12] (similar to traits and type classes). [13]
Swift was introduced at Apple's 2014 Worldwide Developers Conference (WWDC). [14] It underwent an upgrade to version 1.2 during 2014 and a major upgrade to Swift 2 at WWDC 2015. It was initially a proprietary language, but version 2.2 was made open-source software under the Apache License 2.0 on December 3, 2015, for Apple's platforms and Linux. [15] [16]
Through version 3.0 the syntax of Swift went through significant evolution, with the core team making source stability a focus in later versions. [17] [18] In the first quarter of 2018 Swift surpassed Objective-C in measured popularity. [19]
Swift 4.0, released in 2017, introduced several changes to some built-in classes and structures. Code written with previous versions of Swift can be updated using the migration functionality built into Xcode. Swift 5, released in March 2019, introduced a stable binary interface on Apple platforms, allowing the Swift runtime to be incorporated into Apple operating systems. It is source compatible with Swift 4. [20]
Swift 5.1 was officially released in September 2019. Swift 5.1 builds on the previous version of Swift 5 by extending the stable features of the language to compile-time with the introduction of module stability. The introduction of module stability makes it possible to create and share binary frameworks that will work with future releases of Swift. [21]
Swift 5.5, officially announced by Apple at the 2021 WWDC, significantly expands language support for concurrency and asynchronous code, notably introducing a unique version of the actor model. [22]
Swift 5.9, was released in September 2023 and includes a macro system, generic parameter packs, and ownership features like the new consume
operator. [23]
Swift 5.10, was released in March 2024. This version improves the language's concurrency model, allowing for full data isolation to prevent data races. It is also the last release before Swift 6. [24] Version 5.10 is currently available for macOS, Windows and for Linux. [25]
Swift 6 was released in September 2024. [26]
Development of Swift started in July 2010 by Chris Lattner, with the eventual collaboration of many other programmers at Apple. Swift was motivated by the need for a replacement for Apple's earlier programming language Objective-C, which had been largely unchanged since the early 1980s and lacked modern language features. Swift took language ideas "from Objective-C, Rust, Haskell, Ruby, Python, C#, CLU, and far too many others to list". [7] On June 2, 2014, the Apple Worldwide Developers Conference (WWDC) application became the first publicly released app written with Swift. [27] A beta version of the programming language was released to registered Apple developers at the conference, but the company did not promise that the final version of Swift would be source code compatible with the test version. Apple planned to make source code converters available if needed for the full release. [27]
The Swift Programming Language, a free 500-page manual, was also released at WWDC, and is available on the Apple Books Store and the official website. [28]
Swift reached the 1.0 milestone on September 9, 2014, with the Gold Master of Xcode 6.0 for iOS. [29] Swift 1.1 was released on October 22, 2014, alongside the launch of Xcode 6.1. [30] Swift 1.2 was released on April 8, 2015, along with Xcode 6.3. [31] Swift 2.0 was announced at WWDC 2015, and was made available for publishing apps in the App Store on September 21, 2015. [32] Swift 3.0 was released on September 13, 2016. [33] Swift 4.0 was released on September 19, 2017. [34] Swift 4.1 was released on March 29, 2018. [35]
Swift won first place for Most Loved Programming Language in the Stack Overflow Developer Survey 2015 [36] and second place in 2016. [37]
On December 3, 2015, the Swift language, supporting libraries, debugger, and package manager were open-sourced under the Apache 2.0 license with a Runtime Library Exception, [38] and Swift.org was created to host the project. The source code is hosted on GitHub, where it is easy for anyone to get the code, build it themselves, and even create pull requests to contribute code back to the project.
In December 2015, IBM announced its Swift Sandbox website, which allows developers to write Swift code in one pane and display output in another. [39] [40] [41] The Swift Sandbox was deprecated in January 2018. [42]
During the WWDC 2016, Apple announced an iPad exclusive app, named Swift Playgrounds, intended to teach people how to code in Swift. The app is presented in a 3D video game-like interface which provides feedback when lines of code are placed in a certain order and executed. [43] [44] [45]
In January 2017, Chris Lattner announced his departure from Apple for a new position with Tesla Motors, with the Swift project lead role going to team veteran Ted Kremenek. [46] [47]
During WWDC 2019, Apple announced SwiftUI with Xcode 11, which provides a framework for declarative UI structure design across all Apple platforms. [48]
Official downloads of the SDK and toolchain for the Ubuntu distribution of Linux have been available since Swift 2.2, with more distros added since Swift 5.2.4, CentOS and Amazon Linux. [49] There is an unofficial SDK and native toolchain package for Android too. [50] [51]
The platforms Swift supports are Apple's operating systems (Darwin, iOS, iPadOS, macOS, tvOS, watchOS), Linux, Windows, and Android. [52] [53]
A key aspect of Swift's design is its ability to interoperate with the huge body of existing Objective-C code developed for Apple products over the previous decades, such as Cocoa and the Cocoa Touch frameworks. On Apple platforms, [54] it links with the Objective-C runtime library, which allows C, Objective-C, C++ and Swift code to run within one program. [55]
Swift version | Release date | macOS | Linux | Windows |
---|---|---|---|---|
1.0 | September 9, 2014 | Yes | No | No |
1.1 | October 22, 2014 | Yes | No | No |
1.2 | April 8, 2015 | Yes | No | No |
2.0 | September 21, 2015 | Yes | No | No |
2.1 | October 20, 2015 | Yes | No | No |
2.2 | March 21, 2016 | Yes | Yes | No |
2.2.1 | May 3, 2016 | Yes | Yes | No |
3.0 | September 13, 2016 | Yes | Yes | No |
3.0.1 | October 28, 2016 | Yes | Yes | No |
3.0.2 | December 13, 2016 | Yes | Yes | No |
3.1 | March 27, 2017 | Yes | Yes | No |
3.1.1 | April 21, 2017 | Yes | Yes | No |
4.0 | September 19, 2017 | Yes | Yes | No |
4.0.2 | November 1, 2017 | Yes | Yes | No |
4.0.3 | December 5, 2017 | Yes | Yes | No |
4.1 | March 29, 2018 | Yes | Yes | No |
4.1.1 | May 4, 2018 | No | Yes | No |
4.1.2 | May 31, 2018 | Yes | Yes | No |
4.1.3 | July 27, 2018 | No | Yes | No |
4.2 | September 17, 2018 | Yes | Yes | No |
4.2.1 | October 30, 2018 | Yes | Yes | No |
4.2.2 | February 4, 2019 | No | Yes | No |
4.2.3 | February 28, 2019 | No | Yes | No |
4.2.4 | March 29, 2019 | No | Yes | No |
5.0 [56] | March 25, 2019 | Yes | Yes | No |
5.0.1 | April 18, 2019 | Yes | Yes | No |
5.0.2 | July 15, 2019 | No | Yes | No |
5.0.3 | August 30, 2019 | No | Yes | No |
5.1 | September 10, 2019 | Yes | Yes | No |
5.1.1 | October 11, 2019 | No | Yes | No |
5.1.2 | November 7, 2019 | Yes | Yes | No |
5.1.3 | December 13, 2019 | Yes | Yes | No |
5.1.4 | January 31, 2020 | No | Yes | No |
5.1.5 | March 9, 2020 | No | Yes | No |
5.2 | March 24, 2020 | Yes | Yes | No |
5.2.1 | March 30, 2020 | No | Yes | No |
5.2.2 | April 15, 2020 | Yes | Yes | No |
5.2.3 | April 29, 2020 | No | Yes | No |
5.2.4 | May 20, 2020 | Yes | Yes | No |
5.2.5 | August 5, 2020 | No | Yes | No |
5.3 | September 16, 2020 | Yes | Yes | Yes [57] |
5.3.1 | November 13, 2020 | Yes | Yes | Yes |
5.3.2 | December 15, 2020 | Yes | Yes | Yes |
5.3.3 | January 25, 2021 | No | Yes | Yes |
5.4 [58] | April 26, 2021 | Yes | Yes | Yes |
5.4.1 | May 25, 2021 | No | Yes | Yes |
5.4.2 | June 28, 2021 | Yes | Yes | Yes |
5.4.3 | September 9, 2021 | No | Yes | Yes |
5.5 | September 20, 2021 | Yes | Yes | Yes |
5.5.1 | October 27, 2021 | Yes | Yes | Yes |
5.5.2 | December 14, 2021 | Yes | Yes | Yes |
5.5.3 | February 9, 2022 | No | Yes | Yes |
5.6 [59] | March 14, 2022 | Yes | Yes | Yes |
5.6.1 [60] | April 9, 2022 | No | Yes | Yes |
5.6.2 [61] | June 15, 2022 | No | Yes | Yes |
5.6.3 [62] | September 2, 2022 | No | Yes | Yes |
5.7 [63] | September 12, 2022 | Yes | Yes | Yes |
5.7.1 [64] | November 1, 2022 | Yes | Yes | Yes |
5.8 [65] | March 30, 2023 | Yes | Yes | Yes |
5.8.1 [66] | June 1, 2023 | Yes | Yes | Yes |
5.9 [67] | September 18, 2023 | Yes | Yes | Yes |
5.9.1 [68] | October 19, 2023 | Yes | Yes | Yes |
5.9.2 [69] | December 11, 2023 | Yes | Yes | Yes |
5.10 [24] | March 5, 2024 | Yes | Yes | Yes |
5.10.1 [70] | June 5, 2024 | Yes | Yes | Yes |
6.0 [71] | September 16, 2024 | Yes | Yes | Yes |
This section may be too technical for most readers to understand.(June 2018) |
Swift is a general purpose programming language that employs modern programming-language theory concepts and strives to present a simple, yet powerful syntax. Swift incorporates innovations and conventions from various programming languages, with notable inspiration from Objective-C, which it replaced as the primary development language on Apple Platforms.
Swift was designed to be safe and friendly to new programmers while not sacrificing speed. By default Swift manages all memory automatically and ensures variables are always initialized before use. Array accesses are checked for out-of-bounds errors and integer operations are checked for overflow. Parameter names allow creating clear APIs. Protocols define interfaces that types may adopt, while extensions allow developers to add more function to existing types. Swift enables object-oriented programming with the support for classes, subtyping, and method overriding. Optionals allow nil values to be handled explicitly and safely. Concurrent programs can be written using async/await syntax and actors isolate shared mutable state in order to eliminate data races. [72] [73]
Swift's syntax is similar to C-style languages. Code begins executing in the global scope by default. [74] Alternatively, the @main
attribute can be applied a structure, class, or enumeration declaration to indicate that it contains the program's entry point. [75]
Swift's "Hello, World!" program is:
print("Hello, world!")
The print(_:separator:terminator:)
function used here is included in Swift's standard library, which is available to all programs without the need to import external modules. Statements in Swift don't have to end with a semicolon, however semicolons are required to separate multiple statements written on the same line. Single-line comments begin with //
and continue until the end of the current line. Multiline comments are contained by /*
and */
characters. Constants are declared with the let
keyword and variables with the var
keyword. Values must be initialized before they are read. Values may infer their type based on the type of the provided initial value. If the initial value is set after the value's declaration, a type must be declared explicitly. [74]
lethighScoreThreshold=1000// A constant with type Int. The type was inferred based on the provided value.varcurrentScore=980// A variable with type Int.currentScore=1200// The value of variables can change over time.letplayerMessage:String// A constant with explicit type String.ifcurrentScore>highScoreThreshold{playerMessage="You are a top player!"}else{playerMessage="Better luck next time."}print(playerMessage)// Prints "You are a top player!"
Control flow in Swift is managed with if-else, guard, and switch statements, along with while and for-in loops. The if
statements take a Boolean parameter and execute the body of the if
statement if the condition is true, otherwise it executes the optional else
body. if-let
syntax provides syntactic sugar for checking for the existence of an optional value and unwrapping it at the same time.
letsomeNumber=42ifsomeNumber%2==0{// Use the remainder operator to find the remainder of someNumber divided by 2.print("\(someNumber) is even.")}else{print("\(someNumber) is odd.")}// Prints "42 is even."
Functions are defined with the
keyword. Function parameters may have names which allow function calls to read like phrases. An underscore before the parameter name allows the argument label to be omitted from the call site. Tuples can be used by functions to return multiple pieces of data at once.func
funcconstructGreeting(forname:String)->String{return"Hello \(name)!"}letgreeting=constructGreeting(for:"Craig")print(greeting)// Prints "Hello Craig!"
Functions, and anonymous functions known as closures, can be assigned to properties and passed around the program like any other value.
funcdivideByTwo(_aNum:Int)->Int{returnaNum/2}funcmultiplyByTwo(_aNum:Int)->Int{returnaNum*2}letmathOperation=multiplyByTwoprint(mathOperation(21))// Prints "42"
statements require that the given condition is true before continuing on past the guard
statement, otherwise the body of the provided guard
clause is run. The else
clause must exit control of the code block in which the else
statement appears. guard
statements are useful for ensuring that certain requirements are met before continuing on with program execution. In particular they can be used to create an unwrapped version of an optional value that is guaranteed to be non-nil for the remainder of the enclosing scope.guard
funcdivide(numerator:Int?,byDenominatordenominator:Int)->Int?{guarddenominator!=0else{print("Can't divide by 0.")returnnil}guardletnumeratorelse{print("The provided numerator is nil.")returnnil}returnnumerator/denominator}letresult=divide(numerator:3,byDenominator:0)print("Division result is: \(result)")// Prints:// "Can't divide by 0."// "Division result is: nil."
switch
statements compare a value with multiple potential values and then executes an associated code block. switch
statements must be made exhaustive, either by including cases for all possible values or by including a default
case which is run when the provided value doesn't match any of the other cases. switch
cases do not implicitly fall through, although they may explicitly do so with the fallthrough
keyword. Pattern matching can be used in various ways inside switch
statements. Here is an example of an integer being matched against a number of potential ranges:
letsomeNumber=42switchsomeNumber{case..<0:print("\(someNumber) negative.")case0:print("\(someNumber) is 0.")case1...9:print("\(someNumber) greater than 0, but less than 10.")default:print("\(someNumber) is greater than 9.")}// Prints "42 is greater than 9."
for-in
loops iterate over a sequence of values:
letnames=["Will","Anna","Bart"]fornameinnames{print(name)}// Prints:// Will// Anna// Bart
while
loops iterate as long as the given Boolean condition evaluates to true
:
// Add together all the numbers from 1 to 5.vari=1varresult=0whilei<=5{// The loop performs its body as long as i is less than or equal to 5. result+=i// Add i to the current result.i+=1// Increment i by 1.}print(result)// Prints "15"
Swift supports closures, which are self-contained blocks of functionality that can be passed around and used in code, [76] and can also be used as anonymous functions. Here are some examples:
// Closure type, defined by its input and output values, can be specified outside the closure:letclosure1:(Int,Int)->Int={arg1,arg2inreturnarg1+arg2}// …or inside it:letclosure2={(arg1:Int,arg2:Int)->Intinreturnarg1+arg2}// In most cases, closure's return type can be inferred automatically by the compiler.letclosure3={arg1:Int,arg2:Intinreturnarg1+arg2}
Closures can be assigned to variables and constants, and can be passed into other functions or closures as parameters. Single-expression closures may drop the return
keyword.
Swift also has a trailing closure syntax, which allows the closure to be written after the end of the function call instead of within the function's parameter list. Parentheses can be omitted altogether if the closure is the function's only parameter:
// This function takes a closure which receives no input parameters and returns an integer,// evaluates it, and uses the closure's return value (an Int) as the function's return value.funcfoo(closurebar:()->Int)->Int{returnbar()}// Without trailing closure syntax:foo(closure:{return1})// With trailing closure syntax, and implicit return:foo{1}
Starting from version 5.3, Swift supports multiple trailing closures: [77]
// This function passes the return of the first closure as the parameter of the second,// and returns the second closure's result:funcfoo(bar:()->Int,baz:(Int)->Int)->Int{returnbaz(bar())}// With no trailing closures:foo(bar:{return1},baz:{xinreturnx+1})// With 1 trailing closure:foo(bar:{return1}){xinreturnx+1}// With 2 trailing closures (only the first closure's argument name is omitted):foo{return1}baz:{xinreturnx+1}
Swift will provide shorthand argument names for inline closures, removing the need to explicitly name all of the closures parameters. [78] Arguments can be referred to with the names $0, $1, $2, and so on:
letnames=["Josephine","Steve","Chris","Barbara"]// filter calls the given closure for each value in names. // Values with a character count less than 6 are kept, the others are dropped.letshortNames=names.filter{$0.count<6}print(shortNames)// Prints "["Steve", "Chris"]"
Closures may capture values from their surrounding scope. The closure will refer to this captured value for as long as the closure exists:
funcmakeMultiplier(withMultiplemultiple:Int)->(Int)->(Int){// Create and return a closure that takes in an Int and returns the input multiplied by the value of multiple.return{$0*multiple}}letmultiplier=makeMultiplier(withMultiple:3)print(multiplier(3))// Prints "9"print(multiplier(10))// Prints "30"
The Swift standard library includes unicode-compliant String
and Character
types. String values can be initialized with a String literal, a sequence of characters surrounded by double quotation marks. Strings can be concatenated with the +
operator:
varsomeString="Hello,"someString+=" world!"
String interpolation allows for the creation of a new string from other values and expressions. Values written between parentheses preceded by a \
will be inserted into the enclosing string literal: [79]
varcurrentScore=980print("Your score is \(currentScore).")// Prints "Your score is 980."
A for-in loop can be used to iterate over the characters contained in a string:
forcharacterin"Swift"{print(character)}// S// w// i// f// t
When the Foundation framework is imported Swift invisibly bridges the String type to NSString, the String class commonly used in Objective-C.
In Swift, callable objects are defined using callAsFunction
. [80]
structCallableStruct{varvalue:IntfunccallAsFunction(_number:Int,scale:Int){print(scale*(number+value))}}letcallable=CallableStruct(value:100)callable(4,scale:2)callable.callAsFunction(4,scale:2)// Both function calls print 208.
Swift supports five access control levels for symbols: open
, public
, internal
, fileprivate
, and private
. Unlike many object-oriented languages, these access controls ignore inheritance hierarchies: private
indicates that a symbol is accessible only in the immediate scope, fileprivate
indicates it is accessible only from within the file, internal
indicates it is accessible within the containing module, public
indicates it is accessible from any module, and open
(only for classes and their methods) indicates that the class may be subclassed outside of the module. [81]
An important feature in Swift is option types, which allow references or values to operate in a manner similar to the common pattern in C, where a pointer may either refer to a specific value or no value at all. This implies that non-optional types cannot result in a null-pointer error; the compiler can ensure this is not possible.
Optional types are created with the Optional
enum. To make an Integer that is nullable, one would use a declaration similar to var optionalInteger: Optional<Int>
. As in C#, [82] Swift also includes syntactic sugar for this, allowing one to indicate a variable is optional by placing a question mark after the type name, var optionalInteger: Int?
. [83] Variables or constants that are marked optional either have a value of the underlying type or are nil
. Optional types wrap the base type, resulting in a different instance. String
and String?
are fundamentally different types, the former is of type String
while the latter is an Optional
that may be holding some String
value.
To access the value inside, assuming it is not nil, it must be unwrapped to expose the instance inside. This is performed with the !
operator:
letmyValue=anOptionalInstance!.someMethod()
In this case, the !
operator unwraps anOptionalInstance
to expose the instance inside, allowing the method call to be made on it. If anOptionalInstance
is nil, a null-pointer error occurs, terminating the program. This is known as force unwrapping. Optionals may be safely unwrapped using optional chaining which first tests whether the instance is nil, and then unwrap it if it is non-null:
letmyValue=anOptionalInstance?.someMethod()
In this case the runtime calls someMethod
only if anOptionalInstance
is not nil, suppressing the error. A ?
must be placed after every optional property. If any of these properties are nil the entire expression evaluates as nil. The origin of the term chaining comes from the more common case where several method calls/getters are chained together. For instance:
letaTenant=aBuilding.tenantList[5]lettheirLease=aTenant.leaseDetailsletleaseStart=theirLease?.startDate
can be reduced to:
letleaseStart=aBuilding.tenantList[5].leaseDetails?.startDate
Swift's use of optionals allows the compiler to use static dispatch because the unwrapping action is called on a defined instance (the wrapper), versus occurring in a runtime dispatch system.
In many object-oriented languages, objects are represented internally in two parts. The object is stored as a block of data placed on the heap, while the name (or "handle") to that object is represented by a pointer. Objects are passed between methods by copying the value of the pointer, allowing the same underlying data on the heap to be accessed by anyone with a copy. In contrast, basic types like integers and floating-point values are represented directly; the handle contains the data, not a pointer to it, and that data is passed directly to methods by copying. These styles of access are termed pass-by-reference in the case of objects, and pass-by-value for basic types.
Both concepts have their advantages and disadvantages. Objects are useful when the data is large, like the description of a window or the contents of a document. In these cases, access to that data is provided by copying a 32- or 64-bit value, versus copying an entire data structure. However, smaller values like integers are the same size as pointers (typically both are one word), so there is no advantage to passing a pointer, versus passing the value.
Swift offers built-in support for objects using either pass-by-reference or pass-by-value semantics, the former using the class
declaration and the latter using struct
. Structs in Swift have almost all the same features as classes: methods, implementing protocols and using the extension mechanisms. For this reason, Apple terms all data generically as instances, versus objects or values. Structs do not support inheritance, however. [84]
The programmer is free to choose which semantics are more appropriate for each data structure in the application. Larger structures like windows would be defined as classes, allowing them to be passed around as pointers. Smaller structures, like a 2D point, can be defined as structs, which will be pass-by-value and allow direct access to their internal data with no indirection or reference counting. The performance improvement inherent to the pass-by-value concept is such that Swift uses these types for almost all common data types, including Int
and Double
, and types normally represented by objects, like String
and Array
. [84] Using value types can result in significant performance improvements in user applications as well. [85]
Array
, Dictionary
, and Set
all utilize copy on write so that their data are copied only if and when the program attempts to change a value in them. This means that the various accessors have what is in effect a pointer to the same data storage. So while the data is physically stored as one instance in memory, at the level of the application, these values are separate and physical separation is enforced by copy on write only if needed. [86]
Extensions add new functionality to an existing type, without the need to subclass or even have access to the original source code. Extensions can add new methods, initializers, computed properties, subscripts, and protocol conformances. [87] An example might be to add a spell checker to the base String
type, which means all instances of String
in the program gain the ability to spell-check. The system is also widely used as an organizational technique, allowing related code to be gathered into library-like extensions.
Extensions are declared with the extension
keyword.
structRectangle{letwidth:Doubleletheight:Double}extensionRectangle{vararea:Double{returnheight*width}}
Protocols promise that a particular type implements a set of methods or properties, meaning that other instances in the system can call those methods on any instance implementing that protocol. This is often used in modern object-oriented languages as a substitute for multiple inheritance, although the feature sets are not entirely similar.
In Objective-C, and most other languages implementing the protocol concept, it is up to the programmer to ensure that the required methods are implemented in each class. [88] Swift adds the ability to add these methods using extensions, and to use generic programming (generics) to implement them. Combined, these allow protocols to be written once and support a wide variety of instances. Also, the extension mechanism can be used to add protocol conformance to an object that does not list that protocol in its definition. [89]
For example, a protocol might be declared called Printable
, which ensures that instances that conform to the protocol implement a description
property and a printDetails()
method requirement:
// Define a protocol named PrintableprotocolPrintable{vardescription:String{get}// A read-only property requirementfuncprintDetails()// A method requirement}
This protocol can now be adopted by other types:
// Adopt the Printable protocol in a classclassMyClass:Printable{vardescription:String{return"An instance of MyClass"}funcprintDetails(){print(description)}}
Extensions can be used to add protocol conformance to types. Protocols themselves can also be extended to provide default implementations of their requirements. Adopters may define their own implementations, or they may use the default implementation:
extensionPrintable{// All Printable instances will receive this implementation, or they may define their own.funcprintDetails(){print(description)}}// Bool now conforms to Printable, and inherits the printDetails() implementation above.extensionBool:Printable{vardescription:String{return"An instance of Bool with value: \(self)"}}
In Swift, like many modern languages supporting interfaces, protocols can be used as types, which means variables and methods can be defined by protocol instead of their specific type:
funcgetSomethingPrintable()->anyPrintable{returntrue}varsomeSortOfPrintableInstance=getSomethingPrintable()print(someSortOfPrintableInstance.description)// Prints "An instance of Bool with value: true"
It does not matter what concrete type of someSortOfPrintableInstance
is, the compiler will ensure that it conforms to the protocol and thus this code is safe. This syntax also means that collections can be based on protocols also, like let printableArray = [any Printable]
.
Both extensions and protocols are used extensively in Swift's standard library; in Swift 5.9, approximately 1.2 percent of all symbols within the standard library were protocols, and another 12.3 percent were protocol requirements or default implementations. [90] For instance, Swift uses extensions to add the Equatable
protocol to many of their basic types, like Strings and Arrays, allowing them to be compared with the ==
operator. The Equatable
protocol also defines this default implementation:
func!=<T:Equatable>(lhs:T,rhs:T)->Bool
This function defines a method that works on any instance conforming to Equatable
, providing a not equals operator. Any instance, class or struct, automatically gains this implementation simply by conforming to Equatable
. [91]
Protocols, extensions, and generics can be combined to create sophisticated APIs. For example, constraints allow types to conditionally adopt protocols or methods based on the characteristics of the adopting type. A common use case may be adding a method on collection types only when the elements contained within the collection are Equatable
:
extensionArraywhereElement:Equatable{// allEqual will be available only on instances of Array that contain Equatable elements. funcallEqual()->Bool{forelementinself{ifelement!=self.first{returnfalse}}returntrue}}
Swift 5.5 introduced structured concurrency into the language. [92] Structured concurrency uses Async/await syntax similar to Kotlin, JavaScript, and Rust. An async function is defined with the async
keyword after the parameter list. When calling an async function the await
keyword must be written before the function to indicate that execution will potentially suspend while calling function. While a function is suspended the program may run some other concurrent function in the same program. This syntax allows programs to clearly call out potential suspension points and avoid a version of the Pyramid of doom (programming) caused by the previously widespread use of closure callbacks. [93]
funcdownloadText(name:String)async->String{letresult=// ... some asynchronous downloading code ...returnresult}lettext=awaitdownloadText("text1")
The async let
syntax allows multiple functions to run in parallel. await
is again used to mark the point at which the program will suspend to wait for the completion of the async
functions called earlier.
// Each of these calls to downloadText will run in parallel.asynclettext1=downloadText(name:"text1")asynclettext2=downloadText(name:"text2")asynclettext3=downloadText(name:"text3")lettextToPrint=await[text1,text2,text3]// Suspends until all three downloadText calls have returned.print(textToPrint)
Tasks and TaskGroups can be created explicitly to create a dynamic number of child tasks during runtime:
lettaskHandle=Task{awaitdownloadText(name:"someText")}letresult=awaittaskHandle.value
Swift uses the Actor model to isolate mutable state, allowing different tasks to mutate shared state in a safe manner. Actors are declared with the actor
keyword and are reference types, like classes. Only one task may access the mutable state of an actor at the same time. Actors may access and mutate their own internal state freely, but code running in separate tasks must mark each access with the await
keyword to indicate that the code may suspend until other tasks finish accessing the actor's state.
actorDirectory{varnames:[String]=[]funcadd(name:String){names.append(name)}}letdirectory=Directory()// Code suspends until other tasks finish accessing the actor.awaitdirectory.add(name:"Tucker")print(awaitdirectory.names)
On Apple systems, Swift uses the same runtime as the extant Objective-C system, but requires iOS 7 or macOS 10.9 or higher. It also depends on Grand Central Dispatch. [94] Swift and Objective-C code can be used in one program, and by extension, C and C++ also. Beginning in Swift 5.9, C++ code can be used directly from Swift code. [95] In the case of Objective-C, Swift has considerable access to the object model, and can be used to subclass, extend and use Objective-C code to provide protocol support. [96] The converse is not true: a Swift class cannot be subclassed in Objective-C. [97]
To aid development of such programs, and the re-use of extant code, Xcode 6 and higher offers a semi-automated system that builds and maintains a bridging header to expose Objective-C code to Swift. This takes the form of an additional header file that simply defines or imports all of the Objective-C symbols that are needed by the project's Swift code. At that point, Swift can refer to the types, functions, and variables declared in those imports as though they were written in Swift. Objective-C code can also use Swift code directly, by importing an automatically maintained header file with Objective-C declarations of the project's Swift symbols. For instance, an Objective-C file in a mixed project called "MyApp" could access Swift classes or functions with the code #import "MyApp-Swift.h"
. Not all symbols are available through this mechanism, however—use of Swift-specific features like generic types, non-object optional types, sophisticated enums, or even Unicode identifiers may render a symbol inaccessible from Objective-C. [98]
Swift also has limited support for attributes, metadata that is read by the development environment, and is not necessarily part of the compiled code. Like Objective-C, attributes use the @
syntax, but the currently available set is small. One example is the @IBOutlet
attribute, which marks a given value in the code as an outlet, available for use within Interface Builder (IB). An outlet is a device that binds the value of the on-screen display to an object in code.
On non-Apple systems, Swift does not depend on an Objective-C runtime or other Apple system libraries; a set of Swift "Corelib" implementations replace them. These include a "swift-corelibs-foundation" to stand in for the Foundation Kit, a "swift-corelibs-libdispatch" to stand in for the Grand Central Dispatch, and an "swift-corelibs-xctest" to stand in for the XCTest APIs from Xcode. [99]
As of 2019, with Xcode 11, Apple has also added a major new UI paradigm called SwiftUI. SwiftUI replaces the older Interface Builder paradigm with a new declarative development paradigm. [100]
Swift uses Automatic Reference Counting (ARC) to manage memory. Every instance of a class or closure maintains a reference count which keeps a running tally of the number of references the program is holding on to. When this count reaches 0 the instance is deallocated. This automatic deallocation removes the need for a garbage collector as instances are deallocated as soon as they are no longer needed.
A strong reference cycle can occur if two instances each strongly reference each other (e.g. A references B, B references A). Since neither instances reference count can ever reach zero neither is ever deallocated, resulting in a memory leak. Swift provides the keywords weak
and unowned
to prevent strong reference cycles. These keywords allow an instance to be referenced without incrementing its reference count. weak
references must be optional variables, since they can change and become nil
. [101] Attempting to access an unowned
value that has already been deallocated results in a runtime error.
A closure within a class can also create a strong reference cycle by capturing self references. Self references to be treated as weak or unowned can be indicated using a capture list.
classPerson{letname:Stringweakvarhome:Home?// Defined as a weak reference in order to break the reference cycle. weak references do not increment the reference count of the instance that they refer to.init(name:String){self.name=name}deinit{print("De-initialized \(name)")}}classHome{letaddress:Stringvarowner:Person?init(address:String,owner:Person?){self.address=addressself.owner=owner}deinit{print("De-initialized \(address)")}}varstacy:Person?=Person(name:"Stacy")varhouse21b:Home?=Home(address:"21b Baker Street",owner:stacy)stacy?.home=house21b// stacy and house42b now refer to each other.stacy=nil// The reference count for stacy is now 1, because house21b is still holding a reference to it. house21b=nil// house21b's reference count drops to 0, which in turn drops stacy's count to 0 because house21b was the last instance holding a strong reference to stacy.// Prints:// De-initialized 21b Baker Street// De-initialized Stacy
A key element of the Swift system is its ability to be cleanly debugged and run within the development environment, using a read–eval–print loop (REPL), giving it interactive properties more in common with the scripting abilities of Python than traditional system programming languages. The REPL is further enhanced with playgrounds, interactive views running within the Xcode environment or Playgrounds app that respond to code or debugger changes on-the-fly. [102] Playgrounds allow programmers to add in Swift code along with markdown documentation. Programmers can step through code and add breakpoints using LLDB either in a console or an IDE like Xcode.
Swift is considered a C family programming language and is similar to C in various ways:
+
have slightly different behavior. For example, in Swift, +
traps on overflow, whereas &+
is used to denote the C-like behavior of wrapping on overflow.===
, is provided to check if two data elements refer to the same object.while
, if
, and switch
are similar, but have extended functions, e.g., a switch
that takes non-integer cases, while
and if
supporting pattern matching and conditionally unwrapping optionals, for
uses the foriin1...10
syntax.It also has similarities to Objective-C:
Int, UInt, Float, Double
self
in class methods is the class the method was called on.for
...in
enumeration syntax.Differences from Objective-C include:
;
), though these must be used to allow more than one statement on one line.i = 0
instead of i == 0
(which throws a compile-time error).break
statements in switch
blocks. Individual cases do not fall through to the next case unless the fallthrough
statement is used.&+
, &-
, &*
, &/
and &%
. The properties min
and max
are defined in Swift for all integer types and can be used to safely check for potential overflows, versus relying on constants defined for each type in external libraries.if
and while
, which allows for the omission of braces around the statement, is unsupported.for (int i = 0; i < c; i++)
, which is prone to off-by-one errors, is unsupported (from Swift 3 onward). [104] i++
, --i
...) are unsupported (from Swift 3 onward), more so since C-style for
statements are also unsupported from Swift 3 onward. [105] Because Swift can run on Linux, it is sometimes also used as a server-side language. [106] Some web frameworks have already been developed, such as IBM's Kitura (now discontinued), Perfect and Vapor.
An official "Server APIs" work group has also been started by Apple, [107] with members of the Swift developer community playing a central role. [108]
A second free implementation of Swift that targets Cocoa, Microsoft's Common Language Infrastructure (.NET Framework, now .NET), and the Java and Android platform exists as part of the Elements Compiler from RemObjects Software. [109]
Subsets of Swift have been ported to additional platforms, such as Arduino [110] and Mac OS 9. [111]
OCaml is a general-purpose, high-level, multi-paradigm programming language which extends the Caml dialect of ML with object-oriented features. OCaml was created in 1996 by Xavier Leroy, Jérôme Vouillon, Damien Doligez, Didier Rémy, Ascánder Suárez, and others.
Cocoa is Apple's native object-oriented application programming interface (API) for its desktop operating system macOS.
In programming languages, a closure, also lexical closure or function closure, is a technique for implementing lexically scoped name binding in a language with first-class functions. Operationally, a closure is a record storing a function together with an environment. The environment is a mapping associating each free variable of the function with the value or reference to which the name was bound when the closure was created. Unlike a plain function, a closure allows the function to access those captured variables through the closure's copies of their values or references, even when the function is invoked outside their scope.
F# is a general-purpose, high-level, strongly typed, multi-paradigm programming language that encompasses functional, imperative, and object-oriented programming methods. It is most often used as a cross-platform Common Language Infrastructure (CLI) language on .NET, but can also generate JavaScript and graphics processing unit (GPU) code.
D, also known as dlang, is a multi-paradigm system programming language created by Walter Bright at Digital Mars and released in 2001. Andrei Alexandrescu joined the design and development effort in 2007. Though it originated as a re-engineering of C++, D is now a very different language. As it has developed, it has drawn inspiration from other high-level programming languages. Notably, it has been influenced by Java, Python, Ruby, C#, and Eiffel.
In mathematics and computer science, a higher-order function (HOF) is a function that does at least one of the following:
In computer programming, a function object is a construct allowing an object to be invoked or called as if it were an ordinary function, usually with the same syntax. In some languages, particularly C++, function objects are often called functors.
In compiler construction, name mangling is a technique used to solve various problems caused by the need to resolve unique names for programming entities in many modern programming languages.
RubyCocoa is a macOS framework that provides a bridge between the Ruby and the Objective-C programming languages, allowing the user to manipulate Objective-C objects from Ruby, and vice versa. It makes it possible to write a Cocoa application completely in Ruby as well as to write an application that mixes Ruby and Objective-C code. An Apple project called MacRuby was under development to replace RubyCocoa in 2008. A proprietary spin-off called RubyMotion was subsequently released in 2012, available for iOS, macOS and Android.
In computer programming, an entry point is the place in a program where the execution of a program begins, and where the program has access to command line arguments.
The syntax of the Python programming language is the set of rules that defines how a Python program will be written and interpreted. The Python language has many similarities to Perl, C, and Java. However, there are some definite differences between the languages. It supports multiple programming paradigms, including structured, object-oriented programming, and functional programming, and boasts a dynamic type system and automatic memory management.
In computer programming, an anonymous function is a function definition that is not bound to an identifier. Anonymous functions are often arguments being passed to higher-order functions or used for constructing the result of a higher-order function that needs to return a function. If the function is only used once, or a limited number of times, an anonymous function may be syntactically lighter than using a named function. Anonymous functions are ubiquitous in functional programming languages and other languages with first-class functions, where they fulfil the same role for the function type as literals do for other data types.
Vala is an object-oriented programming language with a self-hosting compiler that generates C code and uses the GObject system.
The syntax and semantics of PHP, a programming language, form a set of rules that define how a PHP program can be written and interpreted.
In computer programming, variable shadowing occurs when a variable declared within a certain scope has the same name as a variable declared in an outer scope. At the level of identifiers, this is known as name masking. This outer variable is said to be shadowed by the inner variable, while the inner identifier is said to mask the outer identifier. This can lead to confusion, as it may be unclear which variable subsequent uses of the shadowed variable name refer to, which depends on the name resolution rules of the language.
Go is a statically typed, compiled high-level general purpose programming language. It was designed at Google in 2009 by Robert Griesemer, Rob Pike, and Ken Thompson. It is syntactically similar to C, but also has memory safety, garbage collection, structural typing, and CSP-style concurrency. It is often referred to as Golang because of its former domain name, golang.org
, but its proper name is Go.
Automatic Reference Counting (ARC) is a memory management feature of the Clang compiler providing automatic reference counting for the Objective-C and Swift programming languages. At compile time, it inserts into the object code messages retain
and release
which increase and decrease the reference count at run time, marking for deallocation those objects when the number of references to them reaches zero.
Objective-C is a high-level general-purpose, object-oriented programming language that adds Smalltalk-style message passing (messaging) to the C programming language. Originally developed by Brad Cox and Tom Love in the early 1980s, it was selected by NeXT for its NeXTSTEP operating system. Due to Apple macOS’s direct lineage from NeXTSTEP, Objective-C was the standard language used, supported, and promoted by Apple for developing macOS and iOS applications from 1997, when Apple purchased NeXT until the introduction of the Swift language in 2014.
Nim is a general-purpose, multi-paradigm, statically typed, compiled high-level system programming language, designed and developed by a team around Andreas Rumpf. Nim is designed to be "efficient, expressive, and elegant", supporting metaprogramming, functional, message passing, procedural, and object-oriented programming styles by providing several features such as compile time code generation, algebraic data types, a foreign function interface (FFI) with C, C++, Objective-C, and JavaScript, and supporting compiling to those same languages as intermediate representations.
{{cite web}}
: Missing or empty |title=
(help)Swift is proprietary and closed: It is entirely controlled by Apple and there is no open source implementation.
You can imagine that many of us want it to be open source and part of LLVM, but the discussion hasn't happened yet, and won't for some time.
The Swift language is the product of tireless effort from a team of language experts, documentation gurus, compiler optimization ninjas, and an incredibly important internal dogfooding group who provided feedback to help refine and battle-test ideas. Of course, it also greatly benefited from the experiences hard-won by many other languages in the field, drawing ideas from Objective-C, Rust, Haskell, Ruby, Python, C#, CLU, and far too many others to list.
I started work on the Swift Programming Language in July of 2010. I implemented much of the basic language structure, with only a few people knowing of its existence. A few other (amazing) people started contributing in earnest late in 2011, and it became a major focus for the Apple Developer Tools group in July 2013 [...] drawing ideas from Objective-C, Rust, Haskell, Ruby, Python, C#, CLU, and far too many others to list.
{{cite web}}
: |last=
has generic name (help){{cite web}}
: |last=
has generic name (help)