C/C++における引数の型強制（Argument Coercion）とは？仕組みとサンプルコードで解説

本記事では、C言語およびC++における「引数の型強制（Argument Coercion）」について解説します。引数の型強制とは、関数に渡された引数の型を、コンパイラがある型から別の型へ自動的に（暗黙的に）変換する仕組みのことです。

この変換は「引数の昇格ルール（argument promotion rule）」に従って行われます。つまり、より小さいデータ型の引数は、より大きいデータ型へと変換されますが、その逆の変換は行われません。なぜなら、大きなデータ型から小さなデータ型へ変換すると、データの一部が失われる（桁あふれや精度の低下が発生する）恐れがあるためです。

暗黙的な型変換がどのように行われるかは、次のようなピラミッド構造で表すことができます。下位の型から上位の型へ順に変換されていきます。

サンプルコード

以下の例では、double型の引数を2つ受け取る関数 myAdd を定義しています。整数値を渡した場合でも、引数の型強制によって自動的にdouble型へ変換され、正しく計算されることが確認できます。

#include<iostream>
using namespace std;

double myAdd(double a, double b) {
    return a + b;
}

int main() {
    cout << "double型の加算結果: " << myAdd(5.3, 6.9) << endl;
    cout << "int型の加算結果: " << myAdd(6, 5) << endl;
    return 0;
}

実行結果

double型の加算結果: 12.2
int型の加算結果: 11

このように、myAdd(6, 5) のようにint型の値を渡しても、コンパイラが自動的にdouble型へ昇格してから関数を呼び出すため、6 + 5 = 11 という正しい結果が得られます。引数の型強制を理解しておくと、オーバーロードされた関数の呼び出し解決や、予期しない型変換によるバグの防止にも役立ちます。