未调用event_to_string时，静态全局缓冲区s_buf是否会被分配？如何避免？

背景说明 #

我正在为事件结构体编写一个仅用于调试的字符串工具头文件event_string_util.h，文件中仅暴露一个函数：

const char* event_to_string(const event* e);

为了避免动态内存分配以及要求调用者手动释放字符串，我在event_string_util.c中使用了一个静态全局缓冲区，所有其他事件字符串转换函数都设置为静态链接：

// string buffer to return, NOT THREAD SAFE
static char s_buf[300];

具体的事件转换函数会将格式化后的字符串写入该缓冲区，并返回缓冲区地址，例如键盘事件的转换函数：

const char* keyboard_event_to_string(const keyboard_event* e) {
    const char* type_str;
    switch (e->type) {
        case EVENT_KEYBOARD_KEY_PRESSED: type_str = "EVENT_KEYBOARD_KEY_PRESSED"; break;
        case EVENT_KEYBOARD_KEY_RELEASED: type_str = "EVENT_KEYBOARD_KEY_RELEASED"; break;
        default:
            assert(0);
            type_str = "UNKNOWN KEYBOARD EVENT";
            break;
    }
    snprintf(s_buf, sizeof(s_buf), "%s: key %s", type_str, keysym_to_string(e->key_sim));
    return s_buf;
}

之前了解到编译器不得优化移除全局对象的相关说法，因此产生以下疑问：

1. 如果代码中从未调用event_to_string(&e)，且编译器已移除所有相关未使用函数，s_buf是否仍会被分配内存？
2. 之前以为只有编译成静态库才会移除该缓冲区，实际情况是怎样的？
3. 如何做到在未调用event_to_string时避免分配该缓冲区？

问题解答 #

1. s_buf是否会被分配？ #

• 编译为可执行文件时：现代编译器（如GCC、Clang）配合链接器的垃圾回收（GC）机制，只要能确定s_buf没有被任何存活的代码引用（所有相关函数都被移除），就会将这个静态全局缓冲区从最终可执行文件中剔除，不会占用运行时内存。因为静态全局变量的作用域仅限当前编译单元，无引用时会被当作无用代码处理。
• 编译为静态库时：静态库本质是目标文件的集合，链接器在链接静态库时只会提取被用到的目标文件或符号。如果从未调用event_to_string，包含s_buf的目标文件不会被链接进最终可执行，自然不会分配内存。只有当该目标文件中还有其他被引用的符号时，s_buf才可能被保留，但你的场景中所有相关函数都是静态的，只要没调用event_to_string，整个编译单元的内容都会被跳过。

2. 如何避免未调用时分配缓冲区？ #

有两种实用方案：

• 将缓冲区改为函数内静态变量：把s_buf从全局作用域移到具体的转换函数内部，例如修改keyboard_event_to_string：

  const char* keyboard_event_to_string(const keyboard_event* e) {
      static char s_buf[300]; // 移至函数内
      const char* type_str;
      switch (e->type) {
          case EVENT_KEYBOARD_KEY_PRESSED: type_str = "EVENT_KEYBOARD_KEY_PRESSED"; break;
          case EVENT_KEYBOARD_KEY_RELEASED: type_str = "EVENT_KEYBOARD_KEY_RELEASED"; break;
          default:
              assert(0);
              type_str = "UNKNOWN KEYBOARD EVENT";
              break;
      }
      snprintf(s_buf, sizeof(s_buf), "%s: key %s", type_str, keysym_to_string(e->key_sim));
      return s_buf;
  }
  

  这样只有当第一次调用该函数时，s_buf才会被分配内存；如果从未调用，该变量不会占用任何空间，同时保留了原有的“无需动态分配、返回指针长期有效”的特性。
• 使用条件编译开关：给整个调试工具模块加上编译开关，例如：

  #ifdef DEBUG
  // event_string_util.h 和 event_string_util.c 中的所有代码
  #endif
  

  这样在非调试编译时，整个模块的代码都不会被编译，自然不会有s_buf的内存分配。

内容的提问来源于stack exchange，提问作者Caio Vinícius