Зачем разворачивать переменную, которая не может быть равна нулю?

Question

Новый Свифт и увидел код из Standford открытого курса программирования Swift, как показано ниже:

if pending != nil { 
    acccumulator = pending!.binaryFunction(pending!.firstOperand,acccumulator) 
    pending = nil 
} 

Как я узнаю о разворачивании, pending, в этом случае обеспечиваются не равным нулем внутри if блока, то зачем Я использую ! для разворачивания при его использовании?

Answer 1

Поскольку проверка if не влияет на код внутри блока. В этом примере, вы должны вместо этого использовать let, например, так:

if let nonNilPending = pending { 
    acccumulator = nonNilPending.binaryFunction(nonNilPending.firstOperand,acccumulator) 
    pending = nil 
} 

Таким образом, вы избежите силы-разворачивает.

Answer 2

Даже если вы знаете, что pending не является nil, его тип остается необязательным. Компилятор не рассматривает его по-разному в разных контекстах (то есть внутри и снаружи if), поэтому вам нужно использовать оператор ! в обоих местах.

Компания Swift предлагает вам механизм для проверки на наличие nil и разворот в один проход с помощью if let construct, который представляет собой удобную альтернативу принудительной разворачиванию.

Answer 3

Потому что, даже если вы находитесь в этом блоке if, компилятор не знает, что переменная «разворачивается». Кроме того, использование разворота силы - плохая идея. Вам лучше было бы разворачивать переменную в условном выражении, а затем использовать константу, которую вы ее установили. Например:

if let unwrappedPending = pending { 
    accumulator = unwrappedPending.binaryFunction(...) 
    pending = nil 
} 

, установив дополнительный pending к постоянной, вы условно разворачивая его. Затем вы можете использовать константу с безопасностью, зная, что константа не равна нулю, и вам не нужно использовать !