Быстрые опционы и оператор равенства

Question

Ищете ссылку на документ или имя или ссылку на это поведение, подобное факультативной привязке, но не обсуждаются в этой части документов.

я могу проверить опциональный с оператором == и испытание как против nil и его реальной стоимости, не делая какие-либо конкретные развёртки:

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

Это компилирует и работает, как вы хотите, но что произошло здесь, так что мне не пришлось явно разворачивать toggle!; == благополучно сделал это для меня.

Это удобно, но я признаюсь, что немного удивлен, когда заметил это. Является ли это просто поведением реализации по умолчанию ==? Или что-то еще на этом языке происходит здесь? Спасибо за понимание.

Answer 1

Swift имеет оператор равенства принимает два УСТРОЙСТВА значения (из Equatable базового типа):

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

Реализация можно найти на Optional.swift:

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 
    } 
} 

и делает то, что один будет expect: Операнды равны, если они равны nil, или если они оба не равны nil, а развернутые значения равны.

Подобных операторы сравнения < и т.д. принимая OPTIONALS был снятого в Swift 3, сравнить SE-0121 Remove Optional Comparison Operators:

Удалить версии <, < =,> и> =, которые принимают дополнительные операнды.

Варианты == и! =, Которые принимают необязательные операнды, по-прежнему полезны, и их результаты неудивительны, поэтому они останутся.

Так что это работает, как ожидалось:

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

Но, как матовые отметил, что это не может быть сделано с неявным разворачивал УСТРОЙСТВО, здесь левый операнд будет распакованным:

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