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