共计 1641 个字符，预计需要花费 5 分钟才能阅读完成。
新手常踩的坑
刚开始学习 C ++ 时，函数相关的错误几乎人人都会遇到。最常见的情况包括：
-
未声明就调用：在函数定义之前调用它，编译器会报错找不到标识符。这跟 C 语言不同，C++ 要求函数必须先声明后使用。
-
重复定义：在多个.cpp 文件中定义了同名函数，链接时会报重复定义错误。这个问题的根源在于违反了 ODR（单一定义规则）。
-
参数类型不匹配：比如函数声明接收 int，调用时传入 double，有时能编译通过但可能丢失精度，这种隐式转换很危险。
-
头文件循环引用：A.h 包含 B.h，B.h 又包含 A.h，导致编译失败。这是项目结构设计不合理导致的。
C 与 C ++ 的函数处理差异
C++ 比 C 复杂得多，一个重要区别是 名称修饰(name mangling)。C++ 为了支持函数重载，编译器会把函数名、参数类型等信息组合生成一个唯一的内部名称。举个例子：
// C 语言
void foo(int); // 编译后符号可能是 _foo
// C++
void foo(int); // 可能是 _foo_i
void foo(double); // 可能是 _foo_d这解释了为什么 C ++ 可以函数重载而 C 不行。但这也带来了兼容性问题，如果用 C ++ 调用 C 库函数，需要用 extern "C" 禁止名称修饰。
完整代码示例
头文件声明（example.h）
#pragma once
#include <cassert>
// 声明一个带默认参数和 noexcept 的函数
int compute(int x, int y = 10) noexcept;
// 模板声明
template<typename T>
T max(T a, T b);源文件定义（example.cpp）
#include "example.h"
// 函数定义
int compute(int x, int y) noexcept {assert(y != 0); // 参数校验
return x / y;
}
// 模板实现
template<typename T>
T max(T a, T b) {return a > b ? a : b;}
// 显式实例化常用类型
template int max<int>(int, int);
template double max<double>(double, double);调用示例（main.cpp）
#include "example.h"
#include <iostream>
int main() {
// 调用普通函数
std::cout << compute(100) << std::endl; // 使用默认参数
// 调用模板函数
std::cout << max(1, 2) << std::endl;
std::cout << max(3.14, 2.71) << std::endl;
return 0;
}进阶话题
inline 函数
inline 建议编译器将函数体直接插入调用处，避免函数调用开销。适用于：
- 小型函数（1- 3 行）
- 频繁调用的函数
- 头文件中定义的函数（否则可能违反 ODR）
static 函数
static 函数只在当前编译单元可见，不会与其他文件的同名函数冲突。适用于：
- 工具函数
- 不希望被外部调用的内部函数
ODR 规则
ODR 要求在整个程序中，任何函数、变量等只能有一个定义。违反 ODR 会导致未定义行为。模板和 inline 函数是例外，它们可以在多个编译单元重复定义（但必须完全相同）。
三大典型陷阱
- 宏定义影响函数签名
#define int long long
int foo(int x); // 实际变成 long long foo(long long x)- 动态库的导出符号
Windows 平台需要用 __declspec(dllexport) 显式导出函数，否则其他模块无法调用。
- 头文件中的函数定义
在头文件中定义非 inline 函数会导致重复定义错误，除非用 static 限定。
思考题
为什么模板的实现通常要放在头文件中？这是因为模板在编译时需要看到完整定义才能实例化。如果像普通函数那样声明和定义分离，链接时会找不到具体的实例化版本。
希望通过这篇文章，你能掌握 C ++ 函数的核心要点，避开那些新手常踩的坑。记住好的函数设计是模块化编程的基础，值得花时间深入理解。
