编译时收集所有静态C字符串的地址是否可行？

方案1：编译器段属性+宏包装（最推荐） #

这个方法不需要额外工具，能在运行时直接收集所有编译期确定的静态字符串地址，核心思路是把目标字符串的地址放到一个自定义的内存段里，然后在main()中遍历这个段。

先看实现代码：

#include <stdarg.h>
#include <stdio.h>

// 定义一个自定义内存段，专门存放静态字符串的地址
#define STRING_STORAGE_SECTION __attribute__((section(".collected_strings")))

// 用typedef简化指针类型
typedef const char* StaticStringPtr;

// 把原foo函数改名，用宏包装成新的foo
void real_foo(const char* bar, ...) {
    va_list args;
    va_start(args, bar);
    // 这里保留原foo的业务逻辑，比如打印参数
    printf("foo called with: %s\n", bar);
    va_end(args);
}

// 宏包装：如果传入的是字符串字面量（const char*类型），就把它的地址存入自定义段
#define foo(...) do { \
    _Generic((__VA_ARGS__), \
        const char*: ({ \
            static StaticStringPtr STRING_STORAGE_SECTION _str_addr = (__VA_ARGS__); \
            (void)_str_addr; /* 避免未使用变量警告 */ \
        }) \
    ); \
    real_foo(__VA_ARGS__, ##__VA_ARGS__); \
} while(0)

// 链接器会自动生成这两个符号，指向自定义段的起始和结束位置
extern StaticStringPtr __start_collected_strings;
extern StaticStringPtr __stop_collected_strings;

int main() {
    // 遍历自定义段，收集所有静态字符串地址
    printf("\nCollected static string addresses:\n");
    for (StaticStringPtr* p = &__start_collected_strings; p < &__stop_collected_strings; p++) {
        printf("Address: %p | Content: %s\n", *p, *p);
    }

    // 测试调用
    foo("abc");          // 会被收集，是静态字面量
    const char* var = "def";
    foo(var);            // 不会被收集，是变量（即使它指向静态字符串）
    foo("ghi");          // 会被收集

    return 0;
}

原理说明： #

• 用__attribute__((section))（GCC/Clang）把静态变量放到指定段，MSVC可以用__declspec(allocate(".collected_strings"))替代。
• _Generic用来匹配第一个参数的类型，只有字符串字面量会触发把地址存入段的逻辑。
• 链接器会把所有编译单元中该段的变量连续排列，通过__start_xxx和__stop_xxx就能遍历整个段的内容。

方案2：编译时注解+工具链解析 #

如果不想修改原代码的调用方式，可以用编译器的注解扩展（比如Clang的__attribute__((annotate))）给字符串字面量打标记，然后用LLVM工具（如llvm-readobj）解析目标文件，提取这些标记的字符串地址，最后把地址注入到main()中。

不过这个方法需要额外的构建步骤，适合大型项目且不想改动原有调用逻辑的场景。

方案3：静态代码分析+自动生成代码 #

写一个脚本（比如用Python结合Clang AST解析库），扫描所有调用foo()的代码，识别出传入字符串字面量的调用，自动生成一个包含这些地址的数组，然后在main()中直接引用这个数组。

这个方法是离线的，每次代码变更需要重新运行脚本，但完全不影响原有代码结构。

注意事项： #

• 字符串字面量可能被编译器合并（比如两个相同的"abc"会指向同一个地址），所以收集到的地址会自动去重。
• 方案1需要确保所有foo()的调用都使用宏包装，如果原有代码有直接调用foo()的情况，需要全部替换成宏。
• 跨编译单元的调用也能被收集，因为自定义段是全局的，链接器会合并所有编译单元的该段内容。

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