initとoverride initの間で、型パラメータがcontravarianceでないといけないよという話です。

8:40 AM

required convenience initが出てきたのは、

.init で呼び出せない required でない init の場合はどういう問題があるの？

これにたいする回答です。

8:41 AM

<metatype>.init で呼び出すことはできないけど、別のinitからself.init で呼び出すことはできるので、

8:41 AM

そこで動的ディスパッチが発生するので、関数型の互換性を保ってオーバライドされてないといけない。 (edited)