默认参数只能出现在函数声明处（如头文件），定义中重复指定会触发编译错误；类内声明允许，类外定义不可重复；模板函数默认参数须在声明行给出；避免头文件被多次包含或重载歧义。
函数声明和定义都写了默认参数，编译器直接报错
这是最常见的情况：你在头文件（比如 utils.h）里声明函数时给了默认值，又在源文件（utils.cpp）里定义时又写了同一参数的默认值。C++ 标准禁止这样——默认参数只能出现在**声明处**（通常是头文件里的函数声明），定义里必须省略。
错误示例：
// utils.h void log_message(const std::string& msg, int level = 1);
// utils.cpp
void log_message(const std::string& msg, int level = 1) { // ❌ 这里再写 = 1 就触发 "default argument given for parameter"
std::cout << "[" << level << "] " << msg << "\n";
}
- 把定义里的
= 1全部删掉，只保留声明中的那一份 - 如果头文件是被多个源文件包含的，确保只有它一处提供默认值，否则链接期可能不报错但行为不可靠
- 类内成员函数声明中写默认值是允许的（因为类定义本身既是声明也是“接口描述”），但类外定义（
MyClass::func()）依然不能重复写
头文件被多次包含，导致默认参数被重复看见
虽然用了 #pragma once 或 #ifndef，但如果某个头文件 A 包含了 B，B 又包含 A（隐式循环包含），或者通过不同路径被间接包含两次，就可能导致同一个函数声明被 parse 两遍，编译器误判为“重复指定”。这时错误信息可能指向你没动过的那行，让人困惑。
- 用编译器预处理选项验证（如
g++ -E foo.cpp）查看实际展开后的代码，确认该声明是否真出现了两次 - 检查所有包含路径，尤其注意第三方库头文件是否悄悄 re-export 了你的头文件
- 把默认参数挪到 inline 函数定义里（仅限 C++17 起支持在 inline 函数定义中写默认参数），但这会失去分离声明/定义的灵活性，慎用
模板函数在头文件中定义，默认参数位置不对
模板函数通常必须定义在头文件里，这时候容易误以为“既然定义在这儿，我就得在这儿给默认值”。但规则没变：默认参数仍属于声明范畴。如果你把模板函数写成“先声明、后定义”两段式，又都在头文件里，就极易踩坑。
C++ Code Review Master
下载
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
立即学习“C++免费学习笔记（深入）”；
错误写法：
template <typename T>
void process(T value); // 声明
template <typename T>
void process(T value = T{}) { ... } // ❌ 定义时才给默认值，且和声明不匹配
- 要么把默认参数放在声明行（即第一行），定义时完全不写参数默认值
- 要么干脆不写单独声明，直接用定义式声明：
template <typename T> void process(T value = T{}) { ... } - 注意
T{}对某些类型（如没有默认构造的类）会编译失败，别盲目套用
重载函数之间默认参数引发歧义
不是直接报这个错，但容易混淆：比如你有两个重载函数，一个带默认值，另一个参数个数相同，编译器可能在匹配时卡住，然后报错信息绕回到“default argument given...”，其实是重载解析失败的副作用。
- 检查是否无意中写了两个签名高度相似的函数，例如
foo(int x)和foo(int x = 0)—— 这本身就是非法重载 - 用
static_assert或 SFINAE 检查模板参数约束，比依赖默认参数更清晰 - 宁可多写一个 wrapper 函数，也不要靠默认参数去“模拟”重载逻辑
真正麻烦的是跨翻译单元的隐式重复——比如一个静态库和主程序各自编译了一份带默认参数的声明，而它们版本不一致。这种问题不会在编译时报“default argument given”，但运行时行为会出人意料。所以默认参数一定要钉死在公开头文件里，且严禁在实现文件或匿名命名空间中重新声明。
