为什么Mutex包含Box？

Rust std::sync::Mutex是一个包含堆分配的inner互斥锁的结构,以及这个半神秘的注释:

pub struct Mutex {
    // Note that this mutex is in a *box*, not inlined into the struct itself.
    // Once a native mutex has been used once, its address can never change (it
    // can't be moved). This mutex type can be safely moved at any time, so to
    // ensure that the native mutex is used correctly we box the inner mutex to
    // give it a constant address.
    inner: Box,
    poison: poison::Flag,
    data: UnsafeCell,
}

注释解释说,Box它用于为内部互斥锁提供稳定的地址.但我似乎无法找到任何解释为什么首先需要一个稳定的地址.

至少在类Unix平台上,"native mutex"here(sys::Mutex)最终是一个包装器libc::pthread_mutex_t(源代码).

在C中,有一个反对移动互斥体的规则几乎是有意义的,因为互斥体是通过指针使用的,而移动一个,而有一个指向它的实时指针显然是错误的.但在锈,你甚至不能尝试,除非有移动的东西是它没有活引用.所以这一论点似乎并不令人信服.

为什么原生互斥锁必须有一个稳定的地址？