C++でオーバーロードできない関数のケースを徹底解説

はじめに

C++では、同じ名前でも引数の型や個数が異なる複数の関数を定義できる「関数オーバーロード」という強力な機能が用意されています。しかし、すべての場合でオーバーロードが成立するわけではなく、条件によってはコンパイルエラーになります。本記事では、C++において関数をオーバーロードできない代表的なケースを、具体的なコード例とともにわかりやすく解説します。

1. 戻り値の型だけが異なる場合

関数のシグネチャ(引数の型と個数)が完全に同一で、戻り値の型のみが異なる場合、オーバーロードすることはできません。戻り値の型はオーバーロード解決の判断材料にならないためです。

int my_func() {
    return 5;
}
char my_func() {  // コンパイルエラー
    return 'd';
}

2. 同じクラス内で名前・引数リストが同一のメンバ関数の場合

クラス内で、関数名とパラメータリストが同じメンバ関数を複数定義することはできません。特に注意が必要なのは、staticメンバ関数と非staticメンバ関数の組み合わせです。この2つも引数リストとしては同等とみなされるため、オーバーロードにはなりません。

class My_Class {
    static void func(int x) {
        // 何らかの処理
    }
    void func(int x) {  // コンパイルエラー
        // 何らかの処理
    }
};

3. ポインタ(*)と配列([])の違いだけの場合

パラメータ宣言がポインタ「*」と配列「[]」でしか違わない場合、両者は同じ型として扱われるため、オーバーロードできません。これは、関数の引数として渡された配列が自動的にポインタへ減衰(decay)するためです。

int my_func(int *arr) {
    // 何らかの処理
}
int my_func(int arr[]) {  // コンパイルエラー
    // 何らかの処理
}

4. const修飾子やvolatile修飾子の有無だけが違う場合

値渡しのパラメータにおいて、constやvolatile修飾子の有無だけで異なる場合も、シグネチャは同一とみなされます。そのため、以下のような定義はオーバーロードになりません。

int my_func(int x) {
    // 何らかの処理
}
int my_func(const int x) {  // コンパイルエラー
    // 何らかの処理
}

なお、これは値渡しの場合に限られます。参照渡し(int& と const int&)やポインタ(int* と const int*)の場合は、それぞれ別のシグネチャとして認識され、正しくオーバーロードできます。

5. デフォルト引数だけが異なる場合

デフォルト引数の有無や値の違いだけでは、関数のシグネチャは変わりません。したがって、以下のコードは呼び出しが曖昧になるため、オーバーロードとして成立しません。

int my_func(int a, int b) {
    // 何らかの処理
}
int my_func(int a, int b = 50) {  // コンパイルエラー
    // 何らかの処理
}

例えば my_func(10) のように呼び出すと、どちらの関数を呼べばよいか判別できず、コンパイルエラーとなります。

まとめ

C++の関数オーバーロードは、引数リストの型・個数・順序に実質的な違いがある場合にのみ成立します。戻り値の型、static/非staticの違い、ポインタと配列の表記差、値渡しでのconst/volatile修飾、デフォルト引数の有無などは、いずれもシグネチャの区別には使えません。これらのルールを理解しておくことで、意図しないコンパイルエラーや曖昧な呼び出しを未然に防ぐことができます。