Dlaczego konieczne jest wykonanie dwóch rzutów na zmienny surowy wskaźnik po kolei?

Question

Patrząc na unix-socket natknąłem ten kod:

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

byłem ciekaw tych liniach w szczególności:

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

Dlaczego jest to konieczne, aby wykonać dwa rzuty na zmienny surowego wskaźnik w wiersz? Dlaczego nie wystarczyło by rzucać tylko raz?

Answer 1

timeout na przykład odpowiada parametr *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 w tym pliku jest zdefiniowany jako:

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

Więc to od rodzaju libc::timeval. Teraz rozważmy:

&mut timeout as *mut _ as *mut _ 

najpierw trzeba &mut timeout tak, że jest typu &mut libc::timeval. Następnie należy wykonać as *mut _, aby przymusić go do surowego zmiennego wskaźnika typu wywnioskowanego, który w tym przypadku jest tego samego typu: libc::timeval, więc pełny typ do tej pory to: *mut libc::timeval, który nie jest zgodny z typem parametru *mut c_void. Ostateczny as *mut _ ponownie podaje typ celu, który jest teraz parametrem typu *mut c_void, więc ostatecznie wymusza to *mut libc::timeval na *mut c_void.