标签
Bun 的 Rust 重写未通过基本 Miri 检查，在安全 Rust 中导致未定义行为，引发了严重的安全担忧。
C++26 引入了标准化的库强化机制，用于在运行时捕获常见的未定义行为（如越界访问）。基于 Google 的生产经验，此举仅带来 0.30% 的性能开销，同时将段错误减少了 30%。
分析了C/C++表达式 'a = a++ + ++a;' 在 int a=5 时的未定义行为，展示了因编译器相关的求值顺序和后置递增处理而可能出现的三种结果（11、12、13），并进行了理论和实验分析。