Какая разница в опционалах в Swift?

Question

[MoXyLe]

Не могу понять разницу между опционалами и неявно извлечёнными опционалами

Answer 1

[Антон Жилин]

Implicitly Unwrapped Optional, в целом, ведут себя как Optional. На самом деле, они преобразовываются к Optional при каждом удобном случае:

let x: Int! = 42
let y = x   // y has type Int?

Есть два отличия: во-первых, можно привести IUO к non-optional типу:

func f(_ arg: Int) { print(arg) }

let x: Int! = 42

let y: Int = x
let z = x as Int
f(x)

Во-вторых, можно вызывать на такой переменной методы самого объекта. Если в IUO содержится nil, то приложение упадёт с соответствующим сообщением:

struct Dog {
    func bark() { print("Woof!") }
}

let d: Dog! = Dog()
d.bark()

Применяются IUO, в основном для отложенной инициализации:

class Foo {
    var x: Int!

    init() {
        // I can't setup x at this point :(
        x = nil
    }

    func setup(x newValue: Int) { x = newValue }

    func foo() {
        // I promise that setupX() will be called before
        // I will deal with x as if it was always present
        print(x * 2)
    }
}

Замечу, что, начиная со Swift 3, IUO - это вовсе не тип, а лишь атрибут переменной, который разрешает неявные преобразования с ней. "Под капотом" всё выглядит как-то так:

let x: Int! = 42
@implicitlyUnwrapped let x: Optional<Int> = .some(42)