Swift Optionale und Gleichheitsoperator

Question

Suche nach einem Doc-Verweis oder einem Namen oder einer Verknüpfung zu diesem bestimmten Verhalten, die der optionalen Bindung ähnelt, aber in diesem Teil der Dokumentation nicht behandelt wird.

ich einen optional mit dem == Operator testen kann, und Test sowohl gegen nil und seinen tatsächlichen Wert, ohne ein explizites Abwickeln zu tun:

var toggle: Bool? = nil 
if (toggle == true || toggle == nil) { 
    // do something 
} 

Dies kompiliert und funktioniert, wie Sie es wollen würden, aber Was hier passiert ist, dass ich toggle! nicht explizit auspacken musste; die == hat es sicher für mich gemacht.

Es ist bequem, aber ich gestehe, ein wenig überrascht zu sein, als ich es bemerkte. Ist das nur ein Verhalten der Standard-Implementierung ==? Oder ist etwas anderes in der Sprache hier passiert? Danke für die Einsicht.

Answer 1

Swift hat eine Gleichheits-Operator nimmt zwei optionals Werte (eines gleichzusetzen Basistyp):

public func ==<T : Equatable>(lhs: T?, rhs: T?) -> Bool 

Die Implementierung kann auf Optional.swift finden:

public func == <T: Equatable>(lhs: T?, rhs: T?) -> Bool { 
    switch (lhs, rhs) { 
    case let (l?, r?): 
    return l == r 
    case (nil, nil): 
    return true 
    default: 
    return false 
    } 
} 

und es tut, was würde man expect: Die Operanden sind gleich, wenn sie beide nil sind, oder wenn sie beide nicht nil sind und die unverpackten Werte gleich sind.

Ähnliche Vergleichsoperatoren < usw. unter optionals haben in Swift 3 entfernt worden ist, vergleichen SE-0121 Remove Optional Comparison Operators:

Entfernen Sie die Versionen von <, < =,> und> = welche akzeptieren optionale Operanden.

Varianten von == und! =, Die optionale Operanden akzeptieren, sind immer noch nützlich, und ihre Ergebnisse sind nicht überraschend, so dass sie bleiben werden.

So funktioniert das wie erwartet:

let b: Bool? = nil 
print(b == true) // prints "false" 

Aber wie matt darauf hingewiesen, kann dies nicht mit implizit ausgepackt optionals getan werden, hier der linke Operand ausgepackt werden:

let b: Bool! = nil 
print(b == true) // crashes