第一反应是编译器在重载解析阶段找不到匹配签名，而非函数未定义；典型原因包括隐式转换失败、const/引用限定符不匹配、模板推导失败等。
函数调用参数类型不匹配的典型表现
看到 no matching function for call to，第一反应不是函数没定义，而是编译器在重载解析阶段彻底找不到能接住你这次调用的签名。它连“候选函数”都列不出来，或者列出来的全被一一否决——常见于参数类型隐式转换失败、const 限定符冲突、引用绑定失败等场景。
比如你写了 foo(42)，但唯一声明的是 void foo(int&)：字面量 42 是右值，不能绑定到非常量左值引用，编译器直接放弃所有重载，报这个错，而不是说“找不到 foo”。
检查 const 和引用限定符是否对齐
这是最隐蔽也最高频的坑。尤其当函数参数是引用或成员函数带 const 限定时，差一个 const 就完全不匹配。
- 传入临时对象或字面量，但参数是
T&（非常量左值引用）→ 改成const T&或T&& - 调用对象是
const实例，但成员函数没加const限定 → 在成员函数声明末尾补const - 函数返回
const T&，你试图用它初始化T&→ 接收变量也得是const T&
示例：std::vector<int> v; const auto& x = v.at(0);</int> 没问题；但写成 auto& x = v.at(0); 就可能触发该错误——因为 at() 的 const 版本返回 const T&，非 const 版本才返回 T&，而 v 是非 const 对象，但编译器仍可能因重载决议失败而报错。
留意模板实参推导失败和显式实例化遗漏
模板函数不报“未定义”，而报“no matching function”，往往是因为推导卡住了：参数类型无法统一、模板形参约束不满足、或你忘了显式指定模板实参。
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
- 用
auto推导的 lambda 传给模板函数时，类型不透明 → 改用函数对象或显式转型 - 调用
std::make_shared<t>(args...)</t>，但T构造函数是explicit且参数类型不精确匹配 → 显式构造T再传入，或改用std::shared_ptr<t>(new T{...})</t> - 自定义模板函数，忘记提供
template<typename t></typename>前缀，或特化没写全 → 检查声明与定义是否一致，特化是否在正确命名空间
错误常出现在 std::sort(first, last, comp)：若 comp 是 lambda，且捕获了局部变量，其类型无法被模板推导为可复制/可移动，就可能触发该错误。
启用 -fpermissive 或查看完整错误上下文定位真实原因
Clang/GCC 默认只显示最顶层的“no matching function”，但实际可能有几十个候选函数被拒绝。用 -fpermissive（GCC）或 -Xclang -fdiagnostics-show-note-include-stack（Clang）能展开详细拒绝原因，比如 “candidate expects ‘const std::string&’, but argument is ‘char[6]’”。
更直接的做法是：把出错那行注释掉，把参数单独提成变量并加 decltype 打印类型，确认你传进去的到底是什么：
auto arg = "hello"; std::cout <p>很多问题其实出在字符串字面量类型、容器迭代器 category、或 <code>std::move</code> 忘加——这些细节一旦错位，编译器不会帮你妥协，只会彻底放弃匹配。</p>
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
