如何使用volatile函数阻止编译器优化移除int *p相关代码

你现在的写法完全达不到阻止优化的效果，核心问题有两个：

• volatile void的写法没有任何实际作用：volatile修饰函数返回值时，仅对非void的返回值生效，标记返回值为volatile限定类型，对void返回值的函数来说这个限定是无意义的，不会给函数附加"存在副作用"的属性。
• 你的important_function是空函数，编译器开启优化时做过程间分析，可以明确判定这个函数不会读写传入指针指向的内存、没有任何可观测行为，自然会把malloc、循环赋值这些没有实际用途的代码全部删除。

另外你原代码还有个隐藏bug：malloc(argc)分配的字节数等于argc的数值，但你要存的是int类型的元素，实际需要的字节数是argc * sizeof(int)，原写法会造成堆内存越界写入。

要让编译器保留和p相关的分配、赋值逻辑，同时不影响其他代码的优化，核心原则是：让编译器无法证明对p指向内存的写入不会产生可观测行为，同时不要引入多余的运行时开销。

方案1：拆分编译单元（最通用，无编译器依赖） #

这是基准测试场景最常用的标准写法，不需要依赖编译器扩展：

1. 在测试主文件里仅声明标记函数，不写实现：

   #include <stdlib.h>
   // 注意：不要在当前文件内写这个函数的实现
   void mark_memory_used(const int *p, int len);
   
   int main(int argc, char **argv){
       int *p = malloc(argc * sizeof(int));
       for (int i=0; i < argc; i++){
           p[i] = i;
       }
       mark_memory_used(p, argc);
       free(p);
       return 0;
   }
   

2. 新建一个单独的源文件实现标记函数，编译时和主文件一起链接，不要对这个文件开启跨过程链接时优化(LTO)，也可以直接把这个文件预编译成目标文件再链接：

   void mark_memory_used(const int *p, int len) {
       // 用volatile变量接收读取的值，确保读取操作不会被优化
       static volatile int sink;
       int sum = 0;
       for (int i = 0; i < len; i++) {
           sum += p[i];
       }
       sink = sum;
   }
   

编译器在编译主文件时看不到mark_memory_used的内部实现，会默认这个函数可能访问传入指针指向的所有内存，因此不会删除malloc、循环赋值的逻辑；同时除了和p相关的必要操作外，其余代码依然可以正常被优化，不会引入额外开销。

方案2：单文件实现（利用编译器屏障，零额外开销） #

如果不想拆分编译单元，可以用编译器支持的空内联汇编屏障，不需要生成任何额外运行时指令就能阻止优化，GCC、Clang、新版MSVC都支持该写法：

#include <stdlib.h>

static inline void mark_memory_used(const void *p) {
    // 空汇编块：把p作为输入传给汇编段，标记memory被修改
    // 不会生成任何实际指令，仅告诉编译器此处可能访问任意内存
    asm volatile("" : : "r"(p) : "memory");
}

int main(int argc, char **argv){
    int *p = malloc(argc * sizeof(int));
    for (int i=0; i < argc; i++){
        p[i] = i;
    }
    mark_memory_used(p);
    free(p);
    return 0;
}

这个写法的运行时开销为0，不会生成任何额外指令，同时能严格保证屏障之前所有对内存的写入都不会被优化删除。

不要尝试用volatile修饰函数本身、或者修饰指针参数来达到目的：C语言标准里没有"volatile函数"的语义，仅靠类型限定无法阻止编译器做过程间分析删除无副作用的代码。只有当编译器无法证明某段内存的访问没有可观测效果时，才会保留对应的内存操作逻辑。

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