型特性の違いがクラスメンバしかないケースでの処理の切り替えで、SFINAE使えないしタグディスパッチは汚いしと悩んでたら、同僚がDetection idiomを教えてくれてコードがすっきりした。void_tを見てるとc++の奇妙さと懐の深さを感じる。