【C++学習｜豆知識】C++で型の性質をスマートに判定！std::numeric_limitsで「符号の有無」をチェックする方法

未分類

2026.06.10

1. 導入

C++でプログラムを書いている際、「この変数はマイナス値を扱えるのか？」と迷うことはありませんか？特にテンプレートプログラミングや、クロスプラットフォーム開発で異なる環境を扱う場合、型の性質をハードコードするのは危険です。今回紹介するstd::numeric_limits::is_signedを使えば、コンパイル時にその型が符号付き（マイナスを扱える）かどうかを安全かつ簡潔に判定できます。

2. 基礎知識

C++には、符号付き（signed）と符号なし（unsigned）の整数型が存在します。
・符号付き（int, long, shortなど）: 負の数から正の数までを表現できます。
・符号なし（unsigned int, size_tなど）: 0以上の正の数のみを表現でき、その分、扱える正の数の範囲が広がります。

std::numeric_limitsは、ヘッダで提供されるテンプレートクラスで、その型の最小値や最大値、精度など「型の性質」を定数として取得するための標準的な手段です。

3. 実装/解決策

std::numeric_limits::is_signedは、bool型のコンパイル時定数です。これを利用することで、if文やstatic_assertと組み合わせて、型に応じた柔軟なロジックを実装できます。

4. サンプルプログラム

以下のコードは、指定された型が符号付きかどうかを判定し、コンソールに出力するプログラムです。

include <iostream>
include <limits>

template <typename T>
void check_signed() {
    // is_signedを使用して、型が符号付きかどうかを判定します
    if (std::numeric_limits<T>::is_signed) {
        std::cout << "この型は符号付き（マイナス値を扱える）です。" << std::endl;
    } else {
        std::cout << "この型は符号なし（0以上のみ）です。" << std::endl;
    }
}

int main() {
    std::cout << "int型の判定: ";
    check_signed<int>();

    std::cout << "unsigned int型の判定: ";
    check_signed<unsigned int>();

    return 0;
}

5. 応用・注意点

・コンパイル時判定の活用: C++17以降であれば、if constexpr文と組み合わせることで、符号の有無によって完全に異なる処理をコンパイル時に分岐させることが可能です。
・static_assertでの利用: 特定の関数が「符号なし型」のみを引数として受け付けたい場合、static_assert(!std::numeric_limits<T>::is_signed, “符号なし型を指定してください”); と記述することで、誤った型が渡された際にコンパイルエラーを発生させることができます。
・浮動小数点型への注意: floatやdoubleなどの浮動小数点型についても、is_signedはtrueを返します。あくまで「マイナス値を扱えるか」という論理的な性質である点に留意してください。