多分、キャストできるかどうかの判定を全要素がキャスト可能かで判定しているのがややこしい原因で

2:50 AM

インスタンスとしての型で考えてないんだと思います。

2:50 AM

でもそれって変な気がする・・・

2:52 AM

let cats: [Cat] = [Cat()] let animals: [Animal] = cats 一瞬、↑みたいなケースで cats は animals にコピーされないからインスタンスの型という概念が成り立たないかと思ったけど、コピーされないのはあくまでバッファであって、インスタンス自体の領域は別だからやっぱりインスタンスの型で判断できる気がする。

2:52 AM

あー、でもそうすると animals から cats に as で戻せなくなるのか。 (edited)

2:53 AM

戻せなくてもいい気がするけどなぁ。

2:53 AM

Optional の is や as もややこしくなるな・・・。