如何理解inline标识函数可被多翻译单元#include不触发多重定义错误的表述？

对inline关键字表述的准确理解 #

"inline关键字的主要用途并非请求函数内联，而是标识该函数可被多个翻译单元#include，不会引发多重定义错误"

这个表述是C/C++标准中对inline关键字属性的准确总结，具体可以从以下几个层面理解：

• 「请求内联」是inline的次要、可被忽略的属性
  该关键字诞生初期确实是给编译器的优化建议，要求编译器将函数体直接展开到调用位置，省去函数调用的栈帧开销。但这个建议不具备强制约束力：编译器会根据优化等级、函数复杂度（比如包含递归、循环、代码量过大）自主决定是否执行内联，哪怕你没有加inline修饰，高优化等级下编译器也可能自动对简单函数做内联处理。
• 「允许多重定义」是inline的核心、具备强制约束力的属性
  C/C++的编译模型中，每个.cpp文件和它引用的所有头文件展开后构成一个独立的翻译单元，不同翻译单元独立编译，最后由链接器合并符号。常规非静态函数如果定义在头文件中，被多个.cpp引用后，每个翻译单元都会生成该函数的定义符号，链接时就会触发多重定义错误。
  被inline修饰的函数则不受这个规则限制：标准明确允许相同的inline函数定义出现在多个翻译单元中，链接器会自动选择其中一份定义保留，丢弃其余重复定义，不会抛出错误。
  举个简单的例子：

  // 头文件test.h
  inline int sum(int x, int y) {
      return x + y;
  }
  

  以上代码如果去掉inline修饰，被两个及以上.cpp文件引用后链接必然报错，加了inline则完全符合标准要求。
• 使用inline的必要约束
  • 所有翻译单元中出现的同一个inline函数的定义必须完全一致，否则属于未定义行为，可能出现无法预期的运行错误
  • inline函数的定义必须放在所有引用它的翻译单元都能直接访问的位置，通常就是直接写在头文件中，不能仅在头文件声明、单独放在某个.cpp中实现，否则其他翻译单元找不到定义会编译报错。
• 和内联优化的关系补充
  现代编译器的内联优化几乎不依赖标准inline关键字的提示，如果有强制内联的需求，一般会使用编译器扩展的专用关键字，比如GCC/Clang的__attribute__((always_inline))、MSVC的__forceinline。

内容的提问来源于stack exchange，提问作者dreakzts