kebo

(Codable に限らず) init で動的検査するだけだと，extension で init を増やされたら簡単に破綻してしまうので，willSet とかでも検査し出すとそれは var でも問題なくなるのでは？と思いました． (edited)

意図的に壊しにいくのと、意図せずに壊れてしまうのは区別できると思うので、前者で壊れるのは許容してもいいんじゃないでしょうか。 extension では既存の init を呼び出すというルールで書いていれば壊れないはずなので