中身がnilかチェックをするはずのif letにnilが代入される

Question

以下の関数convInt()は引数に文字列を代入し空文字ならエラーを投げ、整数に直せる場合はその整数自身を返し、整数に直せない場合はnilを返すというものです。
質問の箇所はfor文内のif let文です。if letは代入される値がnilでなければ代入し処理を実行する、というものだと思っているのですがif文をブロック内の処理とするfor文で使われている定数sに格納された配列内の"str"を関数convIntの引数として実行され定数xに代入される場合、nilが返されるので代入できないと思うのですが、正常に代入されif let文内の処理も実行されています。なぜnilが返されるはず関数をxに代入する事ができたのでしょうか？
enum FooError:ErrorType {
case Ooal
}
func convInt(s:String) throws -> Int? {
if s == "" {
throw FooError.Ooal
}
return Int(s)
}

for s in ["1", "str", ""] {
if let x = try? convInt(s) {
print(x)
} else {
print("Failure")
}
}

Answer 1

if letは代入される値がnilでなければ代入し処理を実行する

そうですね
では代入されている値は何ですか?
try? convInt(s)ですね。
try? vは正常パスならv、例外だったらnilを返します。
v:Vだったとした場合、try? vはV?を返します。

つまり、try? convInt(s)の戻り値の型はInt??です。
なので、
if let x = try? convInt(s)において、xの型はInt??です。

さて、
Int?のnilとInt??のnilは別物です。
それぞれ、Optional<Int>.None と Optional<Optional<Int>>.Noneです。

convInt("str")はOptional<Int>.Noneを返しますが、
これは、Optional<Optional<Int>>的には存在する値(Some)なので、
if letでx:Int??に代入可能です。

Comments

[Blue0999]

丁寧に説明して頂きとても助かりました！
if letはnilを代入しないがnil?は別物だという事ですね。

[t_obara]

問題点がやっとわかった。
print(try? convInt(s))
をすると分かりやすいです。
http://qiita.com/koher/items/c6f446bad54442a28bf4
このページが参考になります。

Answer 2

nil と 空（””）とは異なりますよ

Comments

[Blue0999]

ご回答ありがとうございます。
もう一度playgroundで試してみたのですがやっぱり関数convInt()の引数に文字列"str"を与えた場合nilが返されているように思えてしまうのですが…
enum FooError:ErrorType {
case Ooal
}
func convInt(s:String) throws -> Int? {
if s == "" {
throw FooError.Ooal
}
return Int(s)
}

print(try convInt("str")) // 出力 nil

[t_obara]

質問の意図が分かりました。

return Int(s)が処理されていて、
Intに数値以外("[+-]?[0-9a-zA-Z]+")の文字列を指定すればnilになるのが仕様だからです。

[Rumi_Igarashi]

横からすみません
これ。不思議ですね。
質問者さんがおっしゃっているのは
"str"の場合にもprint(x) が通ってしまうということですよね？

for s in ["1", "str", ""] {
let test = try? convInt(s)
if let x = test {
print(x)
} else {
print("Failure")
}
}
で通しましたが、やはりprint(x) 通ります、
try? convInt(s)で int?? が返されて、if let x = test
にてxにnil?が入ってきてしまいますね。
二重にoptional型になっているとif letでも入ってきてしまうのかもしれませね・・・

[Blue0999]

tomohiro_obaraさん、わかりづらい質問になってしまってすみませんでした。

[Blue0999]

Rumi_Igarashiさん、不思議ですよね。確かに二重のoptional型になっているとif letに入ってしまうのかもしれません。