如何告知C++编译器指针可达的对象已被修改？

针对你提出的场景——编译器因内联可见性认为buf未被修改，需要让后续访问强制从内存读取的需求，以下是可行方案：

一、标准C方案（C20及以上）：利用std::atomic_ref #

不需要修改buf的原始类型，通过临时原子引用强制编译器放弃缓存优化，每次访问都从内存读取：

#include <atomic>

char buf[1024] = {'\0'};
read(0, buf, 1024);

// 访问buf前用atomic_ref包装，强制内存同步
std::atomic_ref<char> buf_atomic(buf[0]);
char first_char = buf_atomic.load(std::memory_order_relaxed);

// 若要批量访问数组，可循环包装或直接覆盖整个数组范围
std::atomic_ref<char> buf_range(buf[0], 1024);

std::memory_order_relaxed仅用于禁用编译器缓存，不会引入多线程同步的额外开销，完全满足“无额外代码”的要求。

二、GCC/Clang专属方案：空内存屏障 #

在read函数中插入一条空汇编指令并添加memory约束，这不会生成任何机器码，但会告知编译器所有内存可能已被修改，后续访问必须重新从内存读取：

inline void read(int fd, char *buf, int size) noexcept {
   do_syscall(0, fd, reinterpret_cast<unsigned long>(buf), size);
   __asm__ __volatile__ ("" ::: "memory"); // 仅编译器层面的内存屏障
}

该方案是最直接且无额外开销的选择，完美适配你的场景——编译器会放弃对buf的缓存假设，后续访问必然从内存取值。

三、进阶精准控制（GCC扩展） #

若只想针对buf对应的内存生效而非全局内存，可结合__attribute__((may_alias))属性标记指针，配合内存屏障使用：

inline void read(int fd, char *__attribute__((may_alias)) buf, int size) noexcept {
   do_syscall(0, fd, reinterpret_cast<unsigned long>(buf), size);
   __asm__ __volatile__ ("" ::: "memory");
}

may_alias告诉编译器该指针可能指向任意类型的对象，禁止严格别名优化，配合内存屏障即可精准让编译器认为buf指向的内存已被修改。

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