Rust：一个不再有 C/C＋的，实现安全实时软件的未来( 七 )_作者丨lochsh译者丨马可薇策划丨王文婧

C++ 的类型系统不会对对象模型的生命周期进行建模，因此在运行时是无法检查释放后重引用的问题。C++ 的智能指针只是加在旧系统上的一个库，而这个库会以 Rust 中不被允许的方式滥用和误用。

下面是作者在工作中编写的一些经过简化后的代码，代码中存在误用的问题。

这段代码的作用是，通过字符串 dataCheckStrs 定义对某些数据的检查，例如一个特定范围内的值，然后再通过解析这个字符串创建一个用于检查对象的向量。

首先创建一个引用捕捉的 lambda 表达式，由 & 标识，这个智能指针（unique_ptr）指向的对象在这个 lambda 内被移动，因此是非法的。

然后用被移动的数据构建的检查填充向量，但问题是它只能完成第一步。unique_ptr 和被指向对象表示一种独自占有的关系，不能被拷贝。所以在 std::transform 的第一个循环之后，unique_ptr 很有可能被清空，官方声明是它会处于一种有效但是未知的状态，但是以作者对 Clang 的经验来看它通常会被清空。

后续使用这个空指针时会导致未定义行为，作者运行之后得到了一个空指针错误，在大多数托管系统的空指针解引用都会报这种错误，因为零内存页面通常会被保留。但当然这种情况并不会百分百发生，这种 bug 在理论上可能会被暂时搁置一段时间，然后等着你的就是程序的突然崩溃。