Rust与C++指针溯源：指针不只是整数

Pointer Provenance in Rust vs. C++: Pointers Are Not Just Glorified Ints

我在探索Rust时，被指针溯源（Pointer Provenance）这个概念深深吸引。它解释了为什么编译器能优化某些代码，而C++中简单的类型转换却会破坏这种优化。通过对比C++和Rust，我发现Rust提供的addr()、with_addr()等API能更精确地表达开发者的意图，既保留了优化空间，又让Miri能更有效地捕捉潜在bug。这不仅是技术细节的差异，更是语言设计哲学的体现。