当查看 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 _
为什么需要对一个可变原始指针连续执行两次转换?为什么只施放一次还不够?
最佳答案
例如 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
。
关于pointers - 为什么有必要对一个可变原始指针连续执行两次转换?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/34691267/