項目種別
訂正
登場した回
伝えた回
記載日
Feb 20, 2022 8:35 AM
関連資料
勉強会の中で、イニシャライザーの 反変性 を考えていたときに、それまでに話していた A と B の関係性から、イニシャライザーを関数型として見立てたときの () -> A? と () -> A との関係性を読み解こうとしていました。
これらの型はもはや B とは無関係で、登場する A? と A の関係性から判断しないといけない状況になっています。
そしてこのとき A は A? のサブタイプのため、() -> A が () -> A? のサブタイプとなっていることから共変関係にあるものと思われます。
func action() -> Int {
return 0
}
let f: () -> Int? = action