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