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 _