Rust编译器是否会像C++编译器那样激进地重排语句？

在C++场景中，编译器可能对时间测量与目标函数的执行顺序进行重排，导致时间计算失效：
原代码：

using Clock = std::chrono::high_resolution_clock;

auto t1 = Clock::now(); // Statement 1
foo();                  // Statement 2
auto t2 = Clock::now(); // Statement 3

auto elapsedTime = t2 - t1;

可能被重排为：

using Clock = std::chrono::high_resolution_clock;

foo();                  // Statement 2
auto t1 = Clock::now(); // Statement 1
auto t2 = Clock::now(); // Statement 3

auto elapsedTime = t2 - t1;

此时需要借助带有asm volatile的工具函数（如下）强制语句顺序：

template <class T>
__attribute__((always_inline)) inline void DoNotOptimize(const T &value) {
  asm volatile("" : "+m"(const_cast<T &>(value)));
}

针对Rust的情况，具体说明如下：

Rust的语句重排规则 #

Rust编译器会进行优化，但重排操作严格遵循as-if规则，同时受Rust内存模型约束：

• 只有当编译器能证明两个操作之间无数据依赖，且重排后不会改变程序的可观测行为时，才会进行重排。
• 对于具有可观测副作用的操作（比如读取系统时间、IO操作、修改全局状态、调用外部函数等），编译器会保留它们的相对执行顺序，不会随意重排。

对应到你示例的Rust代码：

use std::time::Instant;

let t1 = Instant::now(); // 语句1
foo();                  // 语句2
let t2 = Instant::now(); // 语句3

let elapsed_time = t2.duration_since(t1);

由于Instant::now()读取系统时间，属于具有可观测副作用的操作，编译器无法证明重排语句1和语句2后，程序的可观测行为（比如elapsed_time的结果）与原代码一致，因此不会对这三个语句进行重排。

仅当foo()是完全无副作用的纯函数，且elapsed_time未被后续代码使用时，编译器可能会将整个时间测量逻辑优化掉，但不会出现重排语句顺序的情况。

强制严格顺序的解决办法 #

如果你的场景中存在特殊情况（比如调用的是unsafe外部函数，编译器无法自动识别其副作用），需要强制保证语句执行顺序，可以使用以下方式：

1. 使用std::hint::black_box #

Rust标准库提供的std::hint::black_box函数，会阻止编译器对传入的值进行优化，同时作为操作之间的"屏障"强制顺序：

use std::time::Instant;
use std::hint::black_box;

let t1 = Instant::now();
black_box(foo()); // 强制foo()在t1和t2之间执行
let t2 = Instant::now();

let elapsed_time = t2.duration_since(t1);

black_box会告诉编译器，传入的值可能被外部使用，因此不能重排相关操作。

2. 使用内存屏障（针对unsafe场景） #

如果涉及底层并发或硬件交互的unsafe代码，需要更严格的内存顺序保证，可以使用std::sync::atomic模块中的内存屏障函数：

use std::time::Instant;
use std::sync::atomic;

let t1 = Instant::now();
atomic::fence(std::sync::atomic::Ordering::SeqCst);
foo();
atomic::fence(std::sync::atomic::Ordering::SeqCst);
let t2 = Instant::now();

let elapsed_time = t2.duration_since(t1);

SeqCst级别的内存屏障会强制编译器和CPU不重排屏障前后的操作，但会带来性能开销，仅在必要的unsafe场景中使用。

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