>>66
なおさらtype_traitsで条件に合わなければコンパイルを失敗させればよい