内联与ODR ¶

与头文件分工相关：C++头文件 · 类内函数与友元：运算符重载

Abstract

inline 在 C++ 里主要有两层含义：

教学与工程上应把 inline 首先当作 ODR/头文件机制，而不是「加速开关」。

ODR：单一定义规则 ¶

ODR（One Definition Rule，单一定义规则）要求：整个程序中，每个非 inline 的变量、函数、类等最多只能有一份定义。

头文件会被多个 .cpp / .cc 反复 #include，每个翻译单元都会复制头里的内容。若在头里写：

// bad.h
int Factorial(int n) {
  return n <= 1 ? 1 : n * Factorial(n - 1);
}

每个包含 bad.h 的源文件都会生成一份 Factorial 定义 → 链接阶段报 multiple definition。

解决办法（二选一）：

// good.h
inline int Factorial(int n) {
  return n <= 1 ? 1 : n * Factorial(n - 1);
}

多个翻译单元可以各含一份相同的 inline 定义，链接器合并为一份实体。

位置	建议
`.h` / `.hh` 里的函数实现	使用 `inline`（或类内成员定义，见下）
仅在一个 `.cc` 中的实现	一般不要 `inline`；头文件只保留声明

在类（或 struct）内部定义的成员函数，自动具有 inline 性质：

struct Foo {
  int Get() const { return x_; }  // 隐式 inline
private:
  int x_{};
};

若在类外写定义且定义仍在头文件中，需显式 inline：

struct Foo {
  int Get() const;
};
inline int Foo::Get() const { return x_; }

与运算符重载中在类内定义的 friend operator== 同理：类内定义 → 隐式 inline，通常不必再写 inline。

C++17 之前，命名空间作用域的变量若在头文件中定义，也容易触发 ODR 冲突。

C++17 起可对变量使用 inline：

inline constexpr int kMaxRetries = 3;

这样多个源文件 include 同一头文件时，仍只有一份变量实体。

没有 inline 时（头文件中）：

const int kVersion = 1;  // 每个 .cc 可能各有一份 → 链接 duplicate symbol

二者常一起出现，职责不同：

关键字	主要作用
`constexpr`	在满足条件时于编译期求值；可用于常量表达式上下文
`inline`	允许多个翻译单元共享同一定义（ODR）

inline constexpr size_t kBufferSize = 4096;

Tip

类内的 static constexpr 整型成员有时仅在类内初始化即可；类类型的常量对象（如自定义 struct）在头文件中定义时，C++17 起通常需要 inline（或改为 static inline / 仅在 .cc 定义）。

头文件中常被多个翻译单元包含的全局常量：

inline constexpr IPv4Address kIPv4Any{{0, 0, 0, 0}};
inline constexpr Subnet kIPv4EmptySubnet{kIPv4Any, 0};

若去掉 inline，每个 .cc include 该头后可能各生成一份 kIPv4Any，链接失败。

是否做内联展开由编译器决定；inline 关键字的首要用途是 ODR / 链接，不是性能保证。

早期常用宏在头文件中「仿函数」以避免链接错误，但缺少类型与作用域检查。现代 C++ 更推荐：

inline int Max(int a, int b) { return a > b ? a : b; }

需要编译期常量时，配合 constexpr 使用，而不是宏。

inline namespace v2 {
  void Foo();
}

用于版本/ABI 与名称查找（例如标准库实现中的 inline namespace std::__1），与「函数内联优化」不是同一概念。日常写业务代码时较少手写。