class Animal {} class Cat: Animal {} var cats: Array<Cat> = [Cat(), Cat()] var animals: Array<Animal> = cats // 実体はCatのArrayのはずなのにAnimalを格納できる!? animals[0] = Animal() これを見ると型安全性がぶっ壊れてるんじゃないかと思ってしまいますが、そうではありません。SwiftのArrayにとってこれは安全な挙動です。 Covariantなコレクション (A) のように、 Cat が Animal の派生型なら Array<Cat> も Array<Animal> の派生型となるとき、 Array は Covariant(共変) であると言います[*1]。 Array<Cat> に Animal オブジェクトが格納できてしまうように、ミュ
![SwiftのArrayがミュータブルでもCovariantな理由 - Qiita](https://cdn-ak-scissors.b.st-hatena.com/image/square/882f808fa13ed4f7acabd2d2e31dfb35011481db/height=288;version=1;width=512/https%3A%2F%2Fqiita-user-contents.imgix.net%2Fhttps%253A%252F%252Fcdn.qiita.com%252Fassets%252Fpublic%252Farticle-ogp-background-412672c5f0600ab9a64263b751f1bc81.png%3Fixlib%3Drb-4.0.0%26w%3D1200%26mark64%3DaHR0cHM6Ly9xaWl0YS11c2VyLWNvbnRlbnRzLmltZ2l4Lm5ldC9-dGV4dD9peGxpYj1yYi00LjAuMCZ3PTk3MiZoPTM3OCZ0eHQ9U3dpZnQlRTMlODElQUVBcnJheSVFMyU4MSU4QyVFMyU4MyU5RiVFMyU4MyVBNSVFMyU4MyVCQyVFMyU4MiVCRiVFMyU4MyU5NiVFMyU4MyVBQiVFMyU4MSVBNyVFMyU4MiU4MkNvdmFyaWFudCVFMyU4MSVBQSVFNyU5MCU4NiVFNyU5NCVCMSZ0eHQtYWxpZ249bGVmdCUyQ3RvcCZ0eHQtY29sb3I9JTIzMjEyMTIxJnR4dC1mb250PUhpcmFnaW5vJTIwU2FucyUyMFc2JnR4dC1zaXplPTU2JnM9NmIxNTVkNTYxMjllZThlMjc5YTM4YjU0ZTQ5MjAzNmQ%26mark-x%3D142%26mark-y%3D57%26blend64%3DaHR0cHM6Ly9xaWl0YS11c2VyLWNvbnRlbnRzLmltZ2l4Lm5ldC9-dGV4dD9peGxpYj1yYi00LjAuMCZoPTc2Jnc9NzcwJnR4dD0lNDBrb2hlciZ0eHQtY29sb3I9JTIzMjEyMTIxJnR4dC1mb250PUhpcmFnaW5vJTIwU2FucyUyMFc2JnR4dC1zaXplPTM2JnR4dC1hbGlnbj1sZWZ0JTJDdG9wJnM9Y2E4ZTI5ZjNiMGVmZDMwMGM5ZDVjMjZjZTVkNWVkZTA%26blend-x%3D142%26blend-y%3D436%26blend-mode%3Dnormal%26txt64%3DaW4gUW9uY2VwdCwgSW5jLg%26txt-width%3D770%26txt-clip%3Dend%252Cellipsis%26txt-color%3D%2523212121%26txt-font%3DHiragino%2520Sans%2520W6%26txt-size%3D36%26txt-x%3D156%26txt-y%3D536%26s%3D367745e88b7869c0f3d696a255d56c48)