内联函数同名局部变量问题：objdump分析存储位置

嘿，这个问题戳中了C99内联函数和编译器优化的几个关键点，咱们一步步理清楚：

1. 为什么myfunc没有独立的代码段？ #

C99里的static inline函数有个核心特性：编译器会优先选择内联展开它，而不是生成独立的函数体。加上static限定后，这个函数只在当前编译单元可见，编译器完全可以把函数代码直接插入到每一处调用的地方，不需要单独生成一个叫myfunc的函数段——除非你做了迫使编译器生成独立函数的操作（比如取这个函数的地址）。所以用objdump找不到它的独立段，是完全正常的编译优化结果。

2. 为什么static局部变量找不到存储位置？ #

当函数被内联展开后，这个同名的static局部变量的命运取决于编译器的优化策略：

• 如果你的变量使用逻辑很简单（比如只赋值一次就读取，没有跨调用的状态保留需求），编译器大概率会直接把它优化成常量、寄存器变量，甚至直接把计算结果硬编码到代码里，根本不需要在内存里分配存储位置；
• 如果变量需要保留跨调用的状态，编译器会为每个调用这个函数的编译单元生成一个独立的静态存储实例，但这个符号会被编译器做修饰（比如加上函数名后缀，变成类似myfunc.AAAABBBB的名字），而且默认情况下objdump可能不显示这类局部静态符号，你可以试试objdump -t或者nm -S来查看所有符号，包括局部的。

另外，全局变量AAAABBBB和函数内的static局部变量作用域完全隔离，一个是全局/文件级，一个是函数内的静态作用域，所以编译时不会有命名冲突，这也是符合C标准的。

3. 改成非static局部变量为什么也没影响？ #

非static局部变量本来就是属于调用栈的栈帧（或者被优化到寄存器里），当函数被内联展开后，这些变量会直接合并到调用它的那个函数的栈帧里，不会有独立的全局存储符号。如果优化等级较高，编译器甚至会直接消除这些变量，把计算逻辑直接嵌入到代码中，自然也找不到对应的存储位置。

怎么验证这些结论？ #

如果你想看到独立的函数段和变量，可以试试这几个方法：

• 关闭内联优化：编译时加上-fno-inline参数，强迫编译器生成独立的myfunc函数体；
• 降低优化等级：用-O0编译，减少编译器的激进优化，保留更多的原始代码结构；
• 取函数地址：在代码里加一行void (*func_ptr)() = myfunc;，这时候编译器必须生成独立的函数体，因为需要获取函数的内存地址。

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