A が Optional<A> のサブタイプ

項目種別

訂正

登場した回

第69回

伝えた回

分類

オプショナル型 (Optional)サブタイプ多相

記載日

Jan 25, 2022 3:12 PM

関連資料

勉強会の中で Optional<A> が A の サブタイプ と話しましたが、実際は逆でした。

具体的には、たとえば Optional<A> 型の変数に A のインスタンスを格納できます。これはたとえば Base 型の変数にそのサブタイプである Sub 型のインスタンスを入れられるのと同等です。

struct A {}
class Base {}
class Sub : Base {}

let v1: A? = A()
let v2: Base = Sub()