上級

error: no matching function for call to '...'（テンプレートの型推論失敗）の原因と直し方

テンプレート関数の2つの引数に異なる型を渡したときに出るエラーです。同じ型パラメータTを2箇所で使うテンプレートは、呼び出し時にすべての箇所で矛盾なく同じ型が推論できなければコンパイルできません。

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

main.cpp:7:21: error: no matching function for call to 'add(int, const char [2])'

main.cpp

ファイル名

7

行番号

21

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

no matching function for call to 'add(int, const char [2])'

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

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

 1  #include <iostream>
 2  template <typename T>
 3  T add(T a, T b) {
 4      return a + b;
 5  }
 6  int main() {
 7      std::cout << add(3, "5") << std::endl;
                             ^
 8      return 0;
 9  }

 1  #include <iostream>
 2  template <typename T>
 3  T maxOf(T a, T b) {
 4      return a > b ? a : b;
 5  }
 6  int main() {
 7      std::cout << maxOf(10, 3.5) << std::endl;
                                ^
 8      return 0;
 9  }

 1  #include <iostream>
 2  template <typename T>
 3  T multiply(T a, T b) {
 4      return a * b;
 5  }
 6  int main() {
 7      std::cout << multiply(4, '2') << std::endl;
                                  ^
 8      return 0;
 9  }

よくある誤解

「テンプレートは何でも受け付けてくれる万能な関数」というのは誤解です。テンプレートは呼び出しごとに具体的な型を1つに確定できて初めてコンパイルが通ります。引数ごとに異なる型を渡すと、コンパイラはTを1つに決められず型推論に失敗します。

まとめ

error: no matching function for call to '...'（テンプレートの型推論失敗）の原因と直し方は上級でつまずきやすい項目です。上の3パターンを実際に手で直すと、エラーメッセージのどこを読めばよいかが掴めます。

演習をはじめる

関連するエラー

• error: call of overloaded '...' is ambiguous の原因と直し方同じ名前の関数が複数のオーバーロードを持ち、渡した引数の型からどちらを呼ぶべきかコンパイラが一意に決められないときに出るエラーです。
• terminate called after throwing an instance of '...' の原因と直し方throwで投げた例外をどこのtry-catchでも捕まえられず、プログラム全体が異常終了してしまうバグです。