rust - 为什么 `*mut T` 实现 `Unwindsafe` 而 `&mut T` 没有？

Question

在 documentation为 Unwindsafe我们有:

Types such as &mut T and &RefCell<T> are examples which are not unwind safe. The general idea is that any mutable state which can be shared across catch_unwind is not unwind safe by default. This is because it is very easy to witness a broken invariant outside of catch_unwind as the data is simply accessed as usual.

按照这个逻辑，在我看来 *mut T不应该是 Unwindsafe .但是 it turns out that it is .这是为什么？

Answer 1

*mut T作为一个原始指针，它没有任何不变性。

可以为null，指向无效内存，为Copy ，并且您可以让其中两个指向内存中的同一区域。

使用 *mut T，您无能为力且安全无虞。无论如何，所以没有理由不成为Unwindsafe .