1.4 指定された整数型が「符号ビット＋絶対値」か否かを判定する。

これも 2 の補数表現のときと理屈は同じです。-1 の下位 2 ビットが 01 (= 1)であれば「符号ビット＋絶対値」です。

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