暗黙的アンラップ型はクロージャの引数として宣言できない？

Question

Swift初心者です。XcodeのPlaygroundで以下のコードを書くと、

error: using '!' is not allowed here; perhaps '?' was intended?

といったエラーになります。

暗黙的アンラップ型(String!)はクロージャの引数として宣言できないのでしょうか？

func testMethod(testClosure: ((String!) -> Void)) {
  testClosure("hello")
}

testMethod(testClosure: {(str: String!) -> Void in
  print(str)
})

Comments

[hoshi-takanori]

できないというエラーですね。そもそもする意味が分からないし…。

[miyaken912]

Swift初心者ですがエラーの内容は分かるので、なぜする意味がないのか教えていただければありがたいです。

Answer 1

https://www.swift.org/blog/iuo/
の記事が参考になると思いますが、暗黙的アンラップ型(!)は、以前はImplicitlyUnwrappedOptional型と定義されていましたが、現在(Swift4.2以降)はImplicitlyUnwrappedOption型は廃止されており、型としてはOptional型と同じもので、そこに特別な属性(必要に応じて自動的にアンラップされる属性)が与えられたものと定義されています。

そして、自動アンラップ属性付きオプショナル型(!)を使用できる場所は、型を記述するところならどこでも使えるのではなく、使える場所が決まっています。
具体的には、上記の記事の「Using ! on Types Rather Than Declarations」のところに書かれていますが、

• プロパティ宣言
• 関数宣言の引数
• 関数宣言の戻り値

でのみ使用できるとされており、

let fn: (Int!) -> Int! = // error: not a function declaration!

上記のようなクロージャの引数や戻り値は関数ではないので使用することはできないと明記されています。

なぜ ! が使用できる場所が限定されているのかは、私自身は深い知見を持ち合わせていませんが、もともと暗黙的アンラップはObjective-Cをベースとして作られたUIKitをうまく使えるようするために作られたのもので、Swiftとしてはあまり推奨しない機能なので、使用できる場面を限定しようとする意図があるのだろうと推測しています。

Comments

[miyaken912]

丁寧なご説明ありがとうございます！

「もともと暗黙的アンラップはObjective-Cをベースとして作られたUIKitをうまく使えるようするために作られたのもので、Swiftとしてはあまり推奨しない機能」との説明とてもしっくりきました。
Swiftを触り始めたばかりで暗黙的アンラップ型の使い所が分からず戸惑っていましたが、元々UIKitをうまく使えるようにするためのものと聞いて腹落ちしました。
どうもありがとうございます！