pointers - 为什么有必要对一个可变原始指针连续执行两次转换？

Question

当查看 unix-socket 时，我遇到了这段代码:

let timeout = unsafe {
    let mut timeout: libc::timeval = mem::zeroed();
    let mut size = mem::size_of::<libc::timeval>() as libc::socklen_t;
    try!(cvt(libc::getsockopt(self.0,
                              libc::SOL_SOCKET,
                              kind,
                              &mut timeout as *mut _ as *mut _,
                              &mut size as *mut _ as *mut _)));
    timeout
};

我特别好奇这些行:

&mut timeout as *mut _ as *mut _,
&mut size as *mut _ as *mut _

为什么需要对一个可变原始指针连续执行两次转换？为什么只施放一次还不够？

Answer 1

例如 timeout 对应于 *mut c_void参数:

pub unsafe extern fn getsockopt(sockfd: c_int, level: c_int, optname: c_int,
                                optval: *mut c_void, optlen: *mut socklen_t) -> c_int

该文件中的 timeout 定义为:

let mut timeout: libc::timeval = mem::zeroed();

所以它是 libc::timeval 类型。现在让我们考虑:

&mut timeout as *mut _ as *mut _

首先你有 &mut timeout 所以它是 &mut libc::timeval 类型。然后你执行 as *mut _ 将其强制转换为推断类型的原始可变指针，在本例中它与 libc::timeval 的类型相同，因此到目前为止的完整类型是:*mut libc::timeval，它与参数类型*mut c_void 不匹配。最后的 as *mut _ 再次推断出目标类型，现在是参数类型 *mut c_void，所以这最终强制了 *mut libc::timeval 到 *mut c_void。