>>854
そのテンプレート関数に与えるクラスが複数のテンプレート引数を持つテンプレートクラスで
複数のうちの一部だけを定めた部分特殊化もあれば、
Traitsらしく「整数のように振る舞える型ならば」のような条件を満たした場合だけの特殊化もあるだろうが。