列挙型で済むようなのなら列挙型を使って静的型検査時で安全にするって出来るけど、それより複雑だと同じように安全を保てず、定数なのに実行時に例外が出る事になっちゃうじゃん？＞＜
なるべく静的に検査したいって発想を基準に考えるとかなりの妥協になっちゃうので、複雑な条件を定義してユーザー定義のリテラルを作って静的検査出来る仕組みがあったらいいのにって＞＜