幽霊型(Phantom Type)というのがあります。この名前はHaskell由来なのですが、C++でも使います。 私が以前作った「浮動小数点数と整数のstrong typedef」でも使っているのですが、以下のような、「型パラメータの宣言には現れるが、定義では使用されない型」…