class NullType {}; NullTypeは、「私は意味のない型」だと明示的にするもので 型リストの終端や、「型が存在しない」という情報として使われるインスタンスの作成はできません struct EmptyType {}; EmptyTypeは継承もできる正当な型で、 テンプレートのデ…