__attribute__((always_inline))可能无效，因函数含递归、变参、alloca或未开优化（需-o2+）；必须与inline共用且置于声明/定义前，否则被忽略或报错。
为什么 __attribute__((always_inline)) 有时没效果
编译器不一定会听你的。即使加了 __attribute__((always_inline))，GCC/Clang 仍可能拒绝内联——比如函数含递归、含可变参数（...）、含 alloca、或目标架构不支持（如某些 Thumb 指令集限制）。更常见的是：你没开优化（-O2 或更高），而 GCC 默认 -O0 下会直接忽略该属性。
验证是否生效最直接的方式是看汇编输出：g++ -O2 -S foo.cpp，然后检查生成的 .s 文件里有没有对应函数的独立符号（如 _Z3barv），如果没有、且调用点被展开成指令序列，才算真正内联了。
__attribute__((always_inline)) 的正确写法和位置
它必须紧贴在函数声明或定义**前面**，不能放在返回类型后、也不能放在函数体后。C++11 起推荐用标准语法 [[gnu::always_inline]]，兼容性更好。
- ✅ 正确（定义处）：
[[gnu::always_inline]] inline int add(int a, int b) { return a + b; } - ✅ 正确（声明处，头文件中）：
[[gnu::always_inline]] inline int calc();
- ❌ 错误（放错位置）：
int [[gnu::always_inline]] func(); // 编译报错
- ❌ 错误（漏掉
inline）：[[gnu::always_inline]] void foo(); // GCC 会警告：attribute ignored
和 inline 关键字的关系
inline 是 C++ 标准关键字，表示“可内联”意图，并影响链接规则（允许在多个 TU 中定义）；__attribute__((always_inline)) 是 GCC/Clang 扩展，是更强的强制提示。两者要一起用：
- 只写
inline→ 编译器自由决定是否内联 - 只写
__attribute__((always_inline))→ 编译器报错或静默忽略（取决于版本） - 必须同时写
inline+ 属性 → 才可能触发强制行为
注意：MSVC 用 __forceinline，不是属性，语法不同，跨平台代码需宏封装。
容易被忽略的副作用和调试陷阱
强制内联会让调试变得困难：GDB 可能无法在该函数设断点，单步时直接跳过函数体；栈帧里也看不到它，影响 backtrace 可读性。发布版没问题，但开发期建议只对明确热路径上的小函数（如访问器、简单计算）使用。
另一个坑是模板函数：属性必须加在具体实例化上，或加在模板声明上（此时所有实例都受约束）。如果只加在某个特化版本上，其他特化不受影响。
还有——别对含静态局部变量的函数用这个属性。内联后每个调用点都可能生成一份静态变量副本（实际不会，但语义易混淆），且违反 ODR；编译器通常会拒绝对这类函数内联。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
