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

負の整数値の内部表現が2の補数かどうかを調べるメタ関数を作ってみましょう。これは実はそんなに難しくありません。

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

template<class T>

struct is_2s_complement

{

static const bool value = (T(-1) & 3) == 3;

};

-1の下位2ビットを調べてやればすぐに分かります。-1の下位2ビットが11（= 3）であれば2の補数表現です。

C++14以降であれば、次のようにしておけば多少は使い勝手がよくなります。

template <class T>
constexpr bool is_2s_complement_v = is_2s_complement<T>::value;

template <class T>

constexpr bool is_2s_complement_v = is_2s_complement<T>::value;

ところで、現実には2の補数表現以外の処理系に遭遇する可能性はほとんどありません。こういうのもあるということで参考にしていただければ幸いです。

この記事を書いている人

1967年生まれ大阪市在住。株式会社きじねこ代表取締役。著書に『C/C++プログラミングの「迷信」と「誤解」』、『プログラマーのためのソースコードを読む技術』、『組込み現場の「C++」プログラミング明日から使える徹底入門』（いずれも技術評論社）がある。

この記事を書いている人