C++のstd::is_arithmeticで数値型を判定する方法：テンプレートメタプログラミングの基礎

C++プログラミングにおいて、テンプレートを用いた汎用的なコードを記述する機会は非常に多いものです。

しかし、テンプレート引数にあらゆる型を受け入れてしまうと、意図しない型が渡された際にコンパイルエラーの内容が複雑になりがちです。

このような課題を解決するために導入されたのが、標準ライブラリの<type_traits>ヘッダーに含まれる型特性（Type Traits）の機能です。

その中でも、std::is_arithmeticは、指定された型が「数値型」であるかどうかを判定するための重要な役割を担っています。

本記事では、このstd::is_arithmeticの基本的な使い方から、テンプレートメタプログラミングにおける実践的な応用方法までを詳しく紹介します。

std::is_arithmeticとは何か

std::is_arithmeticは、C++11から導入された型特性の一つで、ある型が算術型であるかどうかをコンパイル時に判定します。

算術型とは、大きく分けて「整数型」と「浮動小数点型」の2つのカテゴリを合わせたものを指します。

プログラムの中で型を限定したアルゴリズムを実装したい場合、この特性を利用することで型の安全性を高めることができます。

具体的には、テンプレート引数として渡された型Tが数値として計算可能かどうかをチェックする際に重宝します。

std::is_arithmeticの内部構造

内部的には、std::is_arithmeticは非常にシンプルな構造をしています。

それは、「std::is_integral<T>」と「std::is_floating_point<T>」のどちらかがtrueであれば、std::is_arithmetic<T>もtrueになるという仕組みです。

つまり、整数か浮動小数点数のいずれかであれば「算術型」として認識されることになります。

この性質を理解しておくことで、より細かい型判定が必要な場面でどの特性を使うべきかの判断が容易になります。

基本的な使い方

まずは、std::is_arithmeticを使用して、さまざまな型がどのように判定されるかを確認してみましょう。

判定結果は、メンバ定数である::valueを参照することで、bool値として取得できます。

以下のサンプルコードでは、標準的な型に対する判定結果を出力しています。

#include <iostream>
#include <type_traits>

int main() {
    // 整数型の判定
    std::cout << std::boolalpha;
    std::cout <"int: " << std::is_arithmetic<int>::value << std::endl;

    // 浮動小数点型の判定
    std::cout << "double: " << std::is_arithmetic<double>::value << std::endl;

    // 文字型（charも整数型の一部として扱われる）
    std::cout << "char: " << std::is_arithmetic<char>::value << std::endl;

    // ポインタ型（数値ではないためfalse）
    std::cout << "int*: " << std::is_arithmetic<int*>::value << std::endl;

    return 0;
}

int: true
double: true
char: true
int*: false

実行結果からわかるように、intやdoubleだけでなく、char型も算術型としてtrueを返します。

これは、C++においてcharが整数型（integral type）として定義されているためです。

一方で、数値を指している可能性があっても、ポインタ型は算術型には含まれないという点に注意が必要です。

C++17以降の簡略記法

C++17からは、変数のテンプレート版であるstd::is_arithmetic_v<T>が導入されました。

これを利用することで、::valueを記述することなく、より簡潔に判定結果を得ることができます。

コードの可読性を高めるために、現代的なC++開発ではこちらの記法を使うことが一般的です。

#include <type_traits>

// C++17以降の書き方
constexpr bool result = std::is_arithmetic_v<int>;

算術型として判定される型の一覧

std::is_arithmeticがtrueを返す型を整理しておきましょう。

基本的には、コンピュータが直接算術演算を行えるプリミティブな型が対象となります。

注意すべき点は、bool型が算術型に含まれるという点です。

論理値であるboolは内部的に0または1として扱われるため、C++の定義上は整数型に含まれます。

また、enum（列挙型）は数値として扱うことができますが、std::is_arithmeticではfalseと判定されます。

列挙型を判定したい場合は、別途std::is_enumを使用する必要があります。

テンプレートメタプログラミングでの応用

std::is_arithmeticの真価は、テンプレート関数やクラスの制約を課す場面で発揮されます。

ここでは、代表的な3つの手法を用いた実装例を見ていきましょう。

static_assertによるコンパイル時チェック

最も簡単な応用方法は、static_assertを使用して、意図しない型が渡された場合にコンパイルを失敗させることです。

これにより、実行時にエラーが発生するのではなく、開発段階で誤りに気づくことができます。

template <typename T>
void process_numeric_data(T data) {
    static_assert(std::is_arithmetic_v<T>, "T must be an arithmetic type.");
    // 数値型であることを前提とした処理
}

この関数にstd::stringなどを渡そうとすると、「T must be an arithmetic type.」というメッセージとともにコンパイルエラーが発生します。

std::enable_ifによる関数のオーバーロード

C++11やC++14では、std::enable_ifを用いて、数値型の場合のみ関数を有効化する手法が多用されてきました。

これはSFINAE（Substitution Failure Is Not An Error）という仕組みを利用したものです。

#include <iostream>
#include <type_traits>

// Tが数値型の場合のみ有効な関数
template <typename T>
typename std::enable_if<std::is_arithmetic<T>::value, T>::type
multiply_by_two(T value) {
    return value * 2;
}

int main() {
    std::cout << multiply_by_two(10) << std::endl;      // OK
    std::cout << multiply_by_two(3.14) << std::endl;    // OK
    // multiply_by_two("hello"); // コンパイルエラー
    return 0;
}

この手法を使うと、特定の型に対してのみ関数を提供し、それ以外の場合は「その関数は存在しない」ものとして扱うことができます。

if constexprによる条件分岐

C++17で導入されたif constexprを使用すると、テンプレート内での条件分岐をより直感的に記述できます。

実行時のオーバーヘッドなしに、型に応じた最適な処理を記述することが可能です。

template <typename T>
void print_info(T value) {
    if constexpr (std::is_arithmetic_v<T>) {
        std::cout << "Numeric value: " << value << std::endl;
    } else {
        std::cout << "Non-numeric value." << std::endl;
    }
}

このコードでは、Tが数値型であれば最初のブロックが、そうでなければelseブロックがコンパイルされます。

不要な側のコードはコンパイル対象から外れるため、型に依存した関数呼び出しが含まれていてもエラーになりません。

C++20 Conceptsによる進化

現代的なC++20においては、std::is_arithmeticを直接使う機会に代わって「コンセプト（Concepts）」が使われるようになっています。

コンセプトを使用すると、よりシンプルかつ読みやすい文法で型制約を記述できます。

標準ライブラリにはstd::integralやstd::floating_pointといったコンセプトが用意されています。

残念ながら、std::is_arithmeticと完全に一致する単一のコンセプトは標準にはありませんが、論理和（||）を使って簡単に定義できます。

#include <concepts>

template <typename T>
requires std::integral<T> || std::floating_point<T>
void modern_func(T value) {
    // 処理
}

このように、テンプレート引数の直前に制約を書くことができるため、関数の意図が非常に明確になります。

これから新しいプロジェクトを開始する場合は、std::is_arithmeticをベースにしつつも、C++20のコンセプトを活用することを検討してください。

注意点とTips

std::is_arithmeticを使用する際に、いくつか気をつけておくべきポイントがあります。

一つ目は、参照型に関する扱いです。

int&やconst int&をstd::is_arithmeticに渡すと、結果はfalseになります。

型が参照であるかどうかに関わらず数値判定を行いたい場合は、std::remove_referenceやstd::decayを使用して参照を取り除く必要があります。

#include <type_traits>

using T = int&;
// そのままではfalse
bool check1 = std::is_arithmetic_v<T>; 

// 参照を取り除けばtrue
bool check2 = std::is_arithmetic_v<std::remove_reference_t<T>>;

二つ目は、自作の数値クラス（例えば多倍長整数クラスや複素数クラスなど）の扱いです。

std::is_arithmeticはあくまで「組み込み型」を判定するためのものです。

ユーザーが定義したクラスに対しては、たとえ演算子オーバーロードによって数値のように振る舞えたとしてもfalseを返します。

汎用的なライブラリを設計する際は、この点に留意して制約を設計する必要があります。

まとめ

std::is_arithmeticは、C++のテンプレートメタプログラミングにおいて基礎となる重要なツールです。

整数型と浮動小数点型をまとめて判定できるため、数値計算を伴う汎用的な関数の安全性を確保するのに役立ちます。

C++11から続く伝統的な手法から、C++17のif constexpr、そしてC++20のコンセプトへと、その使い方は進化し続けています。

型の情報をコンパイル時に賢く利用することで、バグが少なく効率的なコードを書くことが可能になります。

まずはstatic_assertによる簡単なチェックから導入し、徐々に高度な型特性の活用に挑戦してみてください。

C++の型システムの強力さを引き出すための第一歩として、std::is_arithmeticをマスターしましょう。