中級

error: call of overloaded '...' is ambiguous の原因と直し方

同じ名前の関数が複数のオーバーロードを持ち、渡した引数の型からどちらを呼ぶべきかコンパイラが一意に決められないときに出るエラーです。

エラーメッセージの読み方

main.cpp:5:9: error: call of overloaded 'show(int)' is ambiguous

main.cpp

ファイル名

5

行番号

9

列番号 — この位置でg++が構文解析に失敗しました

call of overloaded 'show(int)' is ambiguous

内容 — 期待していたもの、または受け付けられなかったもの

このエラーが出る典型パターン

 1  #include <iostream>
 2  void show(long x) { std::cout << "long:" << x << std::endl; }
 3  void show(unsigned long x) { std::cout << "unsigned long:" << x << std::endl; }
 4  int main() {
 5      show(5  );
              ^
 6      return 0;
 7  }

 1  #include <iostream>
 2  void report(long x) { std::cout << "long:" << x << std::endl; }
 3  void report(unsigned long x) { std::cout << "unsigned long:" << x << std::endl; }
 4  int main() {
 5      report(10  );
                 ^
 6      return 0;
 7  }

 1  #include <iostream>
 2  void log_(long x) { std::cout << "long:" << x << std::endl; }
 3  void log_(unsigned long x) { std::cout << "unsigned long:" << x << std::endl; }
 4  int main() {
 5      log_(1  );
              ^
 6      return 0;
 7  }

 1  #include <iostream>
 2  void display(long x) { std::cout << "long:" << x << std::endl; }
 3  void display(unsigned long x) { std::cout << "unsigned long:" << x << std::endl; }
 4  int main() {
 5      display(3  );
                 ^
 6      return 0;
 7  }

 1  #include <iostream>
 2  void trace(long x) { std::cout << "long:" << x << std::endl; }
 3  void trace(unsigned long x) { std::cout << "unsigned long:" << x << std::endl; }
 4  int main() {
 5      trace(9  );
               ^
 6      return 0;
 7  }

よくある誤解

「型が近ければコンパイラがうまく選んでくれる」というのは誤解です。C++のオーバーロード解決は複数の候補が同じ変換ランクで並んだ場合、どちらか片方を勝手に選ぶのではなく、エラーとして人間に判断を委ねます。

実務での勘所

曖昧になる典型例は、f(int)とf(double)の両方がある状態でf(1.0f)(float型の引数)を呼んだ場合です。floatからdoubleへの変換(浮動小数点昇格)と、floatからintへの変換(浮動小数点から整数への変換)は、C++のオーバーロード解決の規則上どちらも同じ順位の「標準変換」とみなされ、片方が明確に優れているとは判定されません。同じ順位の候補が複数残った時点で、コンパイラは推測で決めることを拒否し、人間に明示的なキャストで意図を示すよう求めます。

演習をはじめる

関連するエラー

• 引数なしコンストラクタが無いときのエラーの原因引数ありのコンストラクタだけを自分で定義したクラスに対して、引数なしでインスタンスを作ろうとしたときに出るエラーです。
• error: invalid conversion from 'int*' to 'int' の原因と直し方アドレス演算子&で得たポインタを、参照や普通の変数と混同して代入しようとしたときに出るエラーです。