1.3 指定された整数型が1の補数表現か否かを判定する。

2 の補数表現のときと理屈は同じです。-1 の下位 2 ビットが 10 (= 2)であれば 1 の補数表現です。

template<class T>
struct is_1s_complement
{
  static const bool value = (T(-1) & 3) == 2;
};