Protocol oriented programming , like functional programming is an important concept in swift . I am learning protocols in swift and I am…
original source : https://medium.com/@abhimuralidharan/all-about-protocols-in-swift-11a72d6ea354
A protocol defines a blueprint of methods, properties, and other requirements that suit a particular task or piece of functionality. The protocol can then be adopted by a class, structure, or enumeration to provide an actual implementation of those requirements. Any type that satisfies the requirements of a protocol is said to conform to that protocol.
So, keeping it simple, a protocol says a struct , class or enum that if you want to be THAT, do THIS, this and THis. Example: if you want to be a human, you have to EAT, SLEEP, and Take REST.
Protocol Syntax
Classes , structs, enums can adopt these protocol by placing protocol’s name after the type’s name, separated by a colon, as part of their definition. Multiple protocols can be listed, and are separated by commas:
If a class has a superclass, list the superclass name before any protocols it adopts, followed by a comma:
You might have already seen UIViewControllers implementing UITableviewdatasource and delegate protocols.
class ViewController: UIViewController, UITableViewDataSource, UITableViewDelegate { }
Although, the best practice is to group this in a separate extension of ViewController and implement the protocols.
class ViewController: UIViewController {} extension ViewController: UITableViewDataSource, UITableViewDelegate { //implement protocol methods ands variables here.. }
Adding Property Requirements
A protocol can have properties as well as methods that a class, enum or struct conforming to this protocol can implement.
A protocol declaration only specifies the required property name and type. It doesn’t say anything about whether the property should be a stored one or a computed one.
A protocol also specifies whether each property must be gettable or gettable and settable.
Property requirements are always declared as variable properties, prefixed with the var keyword.
Gettable and settable properties are indicated by writing { get set }after their type declaration, and gettable properties are indicated by writing { get }.
Note:
A { get set } property cannot be a constant stored property. It should be a computed property and both get and set should be implemented.
A { get } property can be any kind of property, and it is valid for the property to be also settable if required.
Stored and computed properties are usually associated with instances of a particular type. However, properties can also be associated with the type itself. Such properties are known as type properties.
Always prefix type property requirements with the static keyword when you define them in a protocol. This rule pertains even though type property requirements can be prefixed with the class or static keyword when implemented by a class:
What does confirming to a protocol means?
As explained earlier, a protocol says that you need to do few things in order to become something.
Example: if you want to become a bird, you should fly . Or you should confirm to Flyable protocol.
Consider the following example:
Here, we declared a protocol named FullyNamed . It has a gettable stored property called fullName of type string .
Now, we are defining a struct called Person and we are saying that the struct confirms to the FullyNamed protocol. This means that we should implement the fullName string variable inside the struct defined. Otherwise it will throw an error on us.
We can also define the fullName property as a computed property.
Method Requirements
As mentioned earlier, protocols can have methods as well.
A protocol can have type methods or instance methods.
Methods are declared in exactly the same way as for normal instance and type methods, but without curly braces or a method body.
Variadic parameters are allowed.
Default values are not allowed.
As with type property requirements, you always prefix type method requirements with the static keyword when they are defined in a protocol. This is true even though type method requirements are prefixed with the class or static keyword when implemented by a class:
Consider the following example. These are self explanatory I believe:
Note: In the above class implementation. someStaticMethod(variadicParam:)method is defined as a class method. In the protocol declaration, it is defined as static method.
(참고사항 tumblr #swift #mutating #enum: Structures and enumerations are value types. By default, the properties of a value type cannot be modified from within its instance methods.)
Protocols with mutating methods
source: Article
Mutating methods are methods that we use on value types like structs and enums. These methods are allowed to modify the instance it belongs to and any properties of that instance. A small example:
Consider a simple struct Rectangle:
Coming back to mutating method requirements:
If you define a protocol instance method requirement that is intended to mutate instances of any type that adopts the protocol, mark the method with the mutating keyword as part of the protocol’s definition.
If you mark a protocol instance method requirement as mutating, you do not need to write the mutatingkeyword when writing an implementation of that method for a class. The mutating keyword is only used by structures and enumerations.
Consider an enum and class implementing a protocol with mutating function:
(protocol정의부분에서 mutating으로 설정한경우 이 protocol을 따르는 structures, enumerations 에서는 반드시 mutating을 써주어야 하지만 class의 경우는 생략가능하다는 이야기)
Initializer Requirements
Protocols can have specific initializers like normal methods which the confirming types can implement.
Class Implementations of Protocol Initializer Requirements
You can implement a protocol initializer requirement on a conforming class as either a designated initializer or a convenience initializer. In both cases, you must mark the initializer implementation with the requiredmodifier:
If a subclass overrides a designated initializer from a superclass, and also implements a matching initializer requirement from a protocol, mark the initializer implementation with both the required and overridemodifiers:
protocol SomeProtocol { init() } class SomeSuperClass { init() { // initializer implementation goes here } } class SomeSubClass: SomeSuperClass, SomeProtocol { // "required" from SomeProtocol conformance; "override" from SomeSuperClass required override init() { // initializer implementation goes here } }
Failable Initializer Requirements
Protocols can have failable initializers. A failable initializer requirement can be satisfied by a failable or nonfailable initializer on a conforming type. A nonfailable initializer requirement can be satisfied by a nonfailable initializer or an implicitly unwrapped failable initializer.
(참고사항 init? 이런 형태의 initializer를 말하며 initialization하는 과정에서 에러발생하면 instance가 생기지 않게된다. )
(예시)
// Init #1c - Designated init?(identifier: String, reusable: Bool) { let identifierComponents = identifier.components(separatedBy: "-") guard identifierComponents.count == 2 else { return nil } self.reusable = reusable self.model = identifierComponents[0] self.serialNumber = identifierComponents[1] }
(참고링크 https://www.raywenderlich.com/121603/swift-tutorial-initialization-part-2 )
Protocols as Types
Protocol is a type. You can use it in many places like:
As a parameter type or return type in a function, method, or initializer
As the type of a constant, variable, or property
As the type of items in an array, dictionary, or other container
Because protocols are types, begin their names with a capital letter to match the names of other types in Swift (such as Int, String, and Double).
Delegation
Delegation is a design pattern that enables a class or structure to hand off (or delegate) some of its responsibilities to an instance of another type. Delegation pattern can also be used as a callback kind of mechanism.
The following code is self explanatory for a swift developer with intermediate level of knowledge. If you have any doubt , please comment below.
Adding Protocol Conformance with an Extension
You can extend an existing type to adopt and conform to a new protocol, even if you do not have access to the source code for the existing type. Extensions can add new properties, methods, and subscripts to an existing type, and are therefore able to add any requirements that a protocol may demand.
Declaring Protocol Adoption with an Extension
If a type already conforms to all of the requirements of a protocol, but has not yet stated that it adopts that protocol, you can make it adopt the protocol with an empty extension:
Types do not automatically adopt a protocol just by satisfying its requirements. They must always explicitly declare their adoption of the protocol.
Consider the class Animal. It has an optional Int? computed property called age . This makes the class confirming to the protocol Growable . So inorder to use the class anywhere where the required type should confirm to the protocol, use a simple empty extension of Animal class confirming to the Growable protocol.
Collections of Protocol Types
Protocols can be used as a type to be stored in collection types like array or dictionary.
Since, Animal and Human confirms to the Growable protocol, they can be stored in an array of type Growable .
Protocol Inheritance
A protocol can inherit one or more other protocols. The syntax of protocol inheritance is similar to class inheritance.
Suppose there is a struct conforming to the Inheriting protocol, it should also confirm and satisfy all the other protocols that Inheriting protocol inherits from.
Class-Only Protocols
You can limit protocol adoption to class types (and not structures or enumerations) by adding the AnyObject or class protocol to a protocol’s inheritance list.
In the example above, SomeClassOnlyProtocol can only be adopted by class types. It is a compile-time error to write a structure or enumeration definition that tries to adopt SomeClassOnlyProtocol.
If a non — class type tries to confirm to this protocol, the compiler will show error like:
error: non-class type ‘XXXXXXXX’ cannot conform to class protocol “YYYYYY.”
Protocol Composition
(protocol은 type이며 composited protocol은 두개protocol이 합쳐진 type이다.)
Sometimes it is required for a type to confirm to multiple protocols. Image a function which accepts a parameter which should confirm to multiple protocols.
You can combine multiple protocols into a single requirement with a protocol composition. Protocol compositions behave like you defined a temporary local protocol that has the combined requirements of all protocols in the composition. Protocol compositions don’t define any new protocol types.
In swift 3 & 4, protocol compositions have the form SomeProtocol & AnotherProtocol. You can list as many protocols as you need to, separating them by ampersands (&). In addition to its list of protocols, in swift 4, a protocol composition can also contain one class type, which lets you specify a required superclass. This is not possible in swift 3.
Note: Swift 3 syntax for protocol composition is same. But it doesn’t allow us to add Class name along with the protocols using & sign. The playground is throwing error when I tried to add the Animal class in the composition list.
Checking for Protocol Conformance
You can use the is and as operators described in Type Casting to check for protocol conformance, and to cast to a specific protocol. Checking for and casting to a protocol follows exactly the same syntax as checking for and casting to a type:
The is operator returns true if an instance conforms to a protocol and returns false if it does not.
The as? version of the downcast operator returns an optional value of the protocol’s type, and this value is nil if the instance does not conform to that protocol.
The as! version of the downcast operator forces the downcast to the protocol type and triggers a runtime error if the downcast does not succeed.
Optional Protocol Requirements
Protocol can have optional methods and properties.These requirements do not have to be implemented by types that conform to the protocol.
Optional requirements are prefixed by the optional modifier as part of the protocol’s definition. Optional requirements are available so that you can write code that interoperates with Objective-C. Both the protocol and the optional requirement must be marked with the @objc attribute. Note that @objc protocols can be adopted only by classes that inherit from Objective-C classes or other @objcclasses. They can’t be adopted by structures or enumerations.
First, we add @objc keyword in front of the protocol keyword. Then we add the @objc optional keyword in front of our optional method/variable.
When you use a method or property in an optional requirement, its type automatically becomes an optional.
Protocol Extensions
(보통 protocol의 실행 부분은 실제 이를 implementation하는 하위 class,structure,enumeration에서 이루어지나 protocol extension을 이용하면 기본 implementation을 지정할수 있다. )
Protocols can be extended to provide method and property implementations to conforming types. This allows you to define behavior on protocols themselves, rather than in each type’s individual conformance or in a global function.
Providing Default Implementations using protocol Extensions
Protocol extension can be used for providing default implementation within the protocol itself as explained in the previous section.
Important: If a conforming type provides its own implementation of a required method or property, that implementation will be used instead of the one provided by the extension. (protocol extension에서 지정된 내용은 하부 class,structure,enumeration에서 지정된 내용으로 override된다는 내용)
Adding Constraints to Protocol Extensions
(protocol extension지정시 conforming types 즉 implementing하는 하위 class, structure,enumeration이 특정 protocol인경우에만 extension이 되게하는 방법)
When you define a protocol extension, you can specify constraints that conforming types must satisfy before the methods and properties of the extension are available. You write these constraints after the name of the protocol you’re extending using a generic where clause.
In the above example, it says that the Array collection can implement the Equatableprotocol only when its elements are themselves Equatable .
