>>855
>そのテンプレート関数に与えるクラスが複数のテンプレート引数を持つテンプレートクラスで
>複数のうちの一部だけを定めた部分特殊化もあれば、
オーバーロードで何の問題もない

>Traitsらしく「整数のように振る舞える型ならば」のような条件を満たした場合だけの特殊化もあるだろうが。
こういうことの話をしてないことは流れからわかるだろ