制約と言う人達は trait を理解していない
C++03からやり直すべき