Javaの可変長引数（Varargs）におけるメソッドオーバーロードの曖昧性エラーとは？原因と回避策を解説

Javaで可変長引数（varargs）を使用する際には、メソッドの呼び出しが「あいまい（ambiguous）」になってしまうケースがあります。これは、渡された引数に対して、オーバーロードされた複数のメソッドがどちらも有効な呼び出し候補となり得るために起こる現象です。この場合、コンパイラはどちらのメソッドを呼び出すべきか判断できず、コンパイルエラーが発生します。

コード例

public class Demo {
    static void my_fun(double ... my_Val){
        System.out.print("fun(double ...): " + "Number of args: " + my_Val.length );
        for(double x : my_Val)
        System.out.print(x + " ");
        System.out.println();
    }
    static void my_fun(boolean ... my_Val){
        System.out.print("fun(boolean ...) " + "The number of arguments: " + my_Val.length);
        for(boolean x : my_Val)
        System.out.print(x + " ");
        System.out.println();
    }
    public static void main(String args[]){
        my_fun(11.56, 34.78, 99.09, 56.66);
        System.out.println("Function 1 has been successfully called");
        my_fun(true, false, true, false);
        System.out.println("Function 2 has been successfully called");
        my_fun();
        System.out.println("Function 3 has been successfully called");
    }
}

実行結果

Demo.java:23: error: reference to my_fun is ambiguous
my_fun();
^
both method my_fun(double...) in Demo and method my_fun(boolean...) in Demo match
1 error

コードの解説

この例では、Demoというクラスの中に、可変個のdouble型の値を受け取るmy_funメソッドを定義しています。受け取った値はforループを使ってコンソールに出力されます。さらに、同じ名前のメソッドが、今度は可変個のboolean型の値を受け取る形でオーバーロードされています。こちらも同様に、forループで引数の内容を表示します。

mainメソッドでは、まずmy_funを浮動小数点値を渡して呼び出し、次にboolean値を渡して呼び出しています。この2つの呼び出しはそれぞれ正しく対応するメソッドが特定できるため、問題なく実行されます。しかし、3つ目の呼び出しでは一切引数を渡していません。

なぜエラーが発生するのか

引数なしでmy_fun()と呼び出すと、double型の可変長引数を持つメソッドとboolean型の可変長引数を持つメソッドの両方が呼び出し候補として一致してしまいます。Javaの仕様では、空の引数リストはどちらのvarargsパラメータにもマッチするため、コンパイラはどちらを選択すべきか決定できず、「reference to my_fun is ambiguous（my_funへの参照があいまいです）」というコンパイルエラーを報告します。

曖昧さを回避する方法

この種のコンパイルエラーを防ぐには、以下のような対策が有効です。

• 引数なし版を明示的に定義する： 引数を取らない同名のメソッドを別途オーバーロードとして用意しておけば、引数なしの呼び出しはそちらに解決されます。
• 呼び出し側で型を明示する： my_fun(new double[]{}) のように、呼び出し時に配列を明示的に生成すれば、どちらのメソッドを呼ぶか一意に決まります。
• 設計を見直す： 型だけが異なるvarargsメソッドのオーバーロードは曖昧さの温床になります。メソッド名を分けるなど、可読性の高い設計を心がけましょう。

varargsは便利な機能である一方、オーバーロードとの組み合わせでは予期しない曖昧性を生むことがあります。コンパイラがメソッドを一意に特定できない状況を作らないよう、引数の構成を慎重に設計することが重要です。