以前 int16_t に対する += とかでもハマったんだが、 符号を反転させる単項演算子 - とかでも int への格上げが起きるようで template <typename T> T my_abs(T n) { return ((n >= 0) ? n : -n); } みたいなコードは T が signed char とかのときはコンパイルが通らない</typename>…