Pointers 为什么有必要对一行中的可变原始指针执行两次强制转换?

Pointers 为什么有必要对一行中的可变原始指针执行两次强制转换?,pointers,casting,rust,Pointers,Casting,Rust,在查看时,我遇到了以下代码: 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_SOCKE

在查看时,我遇到了以下代码:

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
};

为什么有必要对一行中的可变原始指针执行两次强制转换?为什么只强制转换一次就不够了?

例如,
超时与一个参数对应:

pub unsafe extern fn getsockopt(sockfd: c_int, level: c_int, optname: c_int,
                                optval: *mut c_void, optlen: *mut socklen_t) -> c_int
该文件中的
超时定义为:

let mut timeout: libc::timeval = mem::zeroed();
所以它的类型是
libc::timeval
。现在让我们考虑一下:

&mut timeout as *mut _ as *mut _

首先,您有
&mut timeout
,因此这是
类型&mut libc::timeval
。然后您将
作为*mut
强制将其强制为推断类型的原始可变指针,在本例中,该指针与
libc::timeval
的类型相同,因此到目前为止,完整类型是:
*mut libc::timeval
,它与参数类型
*mut c\u void
不匹配。最后的
as*mut\u
再次推断目标类型,现在是参数类型
*mut c\u void
,因此这最终将
*mut libc::timeval
强制为
*mut c\u void
,我明白了。谢谢你的澄清!后续问题:rust推断第二次转换是因为
getsockopt
的签名,还是因为如果我足够频繁地进行转换,每个指针都会被转换到
*mut c_void
?即使对于任意原始类型,也可以说
&mut-Vec
?不,谢天谢地不是!这很可怕:这确实是因为
getsockopt
的签名,特别是因为表达式的位置具有该目标类型。同样的情况也会发生,例如,如果您正在执行
let ptr:*mut c_void=&mut timeout as*mut*as*mut。此强制转换可以缩短一点:
&mut timeout as*mut\uuas
(请注意,最后一个
mut
已被删除。
&mut timeout as *mut _ as *mut _