Đối số nào để vượt qua và cách tìm ra loại đối số của nó?

Question

tôi bắt đầu với ví dụ cho EventLoop từ trang web mio và bổ sung chức năng chính:

extern crate mio; 

use std::thread; 
use mio::{EventLoop, Handler}; 

struct MyHandler; 

impl Handler for MyHandler { 
    type Timeout =(); 
    type Message = u32; 

    fn notify(&mut self, event_loop: &mut EventLoop<MyHandler>, msg: u32) { 
     assert_eq!(msg, 123); 
     event_loop.shutdown(); 
    } 
} 

fn main() { 
    let mut event_loop = EventLoop::new().unwrap(); 
    let sender = event_loop.channel(); 

    // Send the notification from another thread 
    thread::spawn(move || { 
     let _ = sender.send(123); 
    }); 

    let _ = event_loop.run(&mut MyHandler); 
} 

Sau đó, tôi đã có ý tưởng để di chuyển các chủ đề gửi đến một chức năng riêng biệt "foo" và bắt đầu tự hỏi là những gì loại thông qua:

extern crate mio; 

use std::thread; 
use mio::{EventLoop, Handler}; 

struct MyHandler; 

impl Handler for MyHandler { 
    type Timeout =(); 
    type Message = u32; 

    fn notify(&mut self, event_loop: &mut EventLoop<MyHandler>, msg: u32) { 
     assert_eq!(msg, 123); 
     event_loop.shutdown(); 
    } 
} 

fn foo(s: &?) { 
    let sender = s.clone(); 
    // Send the notification from another thread 
    thread::spawn(move || { 
     let _ = sender.send(123); 
    }); 
} 

fn main() { 
    let mut event_loop = EventLoop::new().unwrap(); 
    let sender = event_loop.channel(); 

    foo(&sender); 

    let _ = event_loop.run(&mut MyHandler); 
} 

Vì vậy, tôi để cho các trình biên dịch cho tôi biết loại:

fn foo(s: &String) { ... 

làm tăng lỗi:

error: mismatched types: 
expected `&collections::string::String`, 
found `&mio::event_loop::Sender<_>` 

Ok, đẹp nhưng thay &String bởi &mio::event_loop::Sender<u32> làm tăng lỗi:

error: struct `Sender` is private 
fn foo(s: &mio::event_loop::Sender<u32>) { 
     ^

Hm, trông giống như một ngõ cụt, vì vậy tôi nghĩ đi event_loop thay vì:

fn foo(s: &mio::event_loop::EventLoop<u32>) { 
    let sender = s.channel().clone(); 
... 
fn main() { ... 
    foo(&event_loop); ... 

nhưng điều đó làm tăng lỗi:

error: the trait `mio::handler::Handler` is not implemented for the type `u32` [E0277] 
src/main.rs:18 fn foo(s: &mio::event_loop::EventLoop<u32>) { 

làm tôi bối rối hoàn toàn.

Ví dụ: C/C++ Tôi đã chỉ cần thông qua một con trỏ hoặc EventLop hoặc người gửi.

What is Rust trying to tell me here? How to get it working in Rust?

Môi trường: rustc 1.0.0 (a59de37e9 2015/05/13) (được xây dựng 2015/05/14), mio ​​0.3.5

Answer 1

Loại Sender được tái xuất như mio::Sender. Trình biên dịch biết rằng loại thực tế là mio::event_loop::Sender và báo cáo điều đó. Hiện tại không có cách nào để tự động tìm ra loại bạn cần nói chung, nhưng bạn có thể xem tài liệu của phương pháp EventLoop::channel và thấy rằng nó trả về một Sender. Nếu bạn nhấp vào loại Sender trong tài liệu, bạn sẽ kết thúc tại tài liệu của mio::Sender