为何__restrict关键字常无法达到预期的优化效果？

下面是几个核心原因：

• CPU硬件优化抵消了指令差异：现代CPU的乱序执行、写合并和流水线调度能力很强，哪怕foo里是两次*a+=1，硬件也可能自动把同地址的连续写操作合并成一次，实际执行延迟和goo的单步操作几乎没区别。汇编层面的优化收益被硬件直接吃掉了。

• 基准测试的噪声干扰：短时间测试很容易被系统因素影响——后台突然跑个进程占用CPU、CPU睿频模式切换、缓存命中情况随机波动，这些都会直接干扰测试结果，掩盖掉微小的性能差异。

• 测试用例太简单，计时误差放大：如果函数本身只有几个CPU周期的操作，指令数的差异（比如差1-2个周期）会被操作系统的时钟精度限制（比如毫秒级的计时粒度）放大，导致结果时好时坏。

• 编译器可能偷偷给foo做了同样的优化：如果测试代码里a指向的变量没有其他指针引用，编译器可能通过上下文分析推断出没有别名，直接给foo也做了合并优化。这时候两个函数的执行代码完全一样，性能自然没区别；只有当编译器没推断出无别名时，goo才会显出优势。

• 内存延迟主导了执行时间：如果*a指向的是冷内存或者内存映射IO，内存访问的延迟（几十到几百个周期）远大于指令数差异的开销。不管是一次还是两次写操作，总耗时都由内存延迟说了算，优化的收益可以忽略不计。

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