एक पंक्ति में एक परिवर्तनीय कच्चे सूचक में दो कास्ट करना आवश्यक क्यों होगा?

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 है ताकि प्रकार &mut libc::timeval की है

&mut timeout as *mut _ as *mut _ 

पहले: अब हम विचार करते हैं। फिर आप as *mut _ को अनुमानित प्रकार के कच्चे म्यूटेबल पॉइंटर पर केंद्रित करने के लिए करते हैं, जो इस मामले में libc::timeval का एक ही प्रकार है, इसलिए पूर्ण प्रकार अब तक है: *mut libc::timeval, जो पैरामीटर प्रकार *mut c_void से मेल नहीं खाता है। अंतिम as *mut _ फिर से लक्ष्य प्रकार का अनुमान लगाता है, जो अब पैरामीटर प्रकार *mut c_void है, इसलिए अंततः *mut libc::timeval को *mut c_void पर ले जाता है।