为什么我会收到有关非详尽模式的错误？

Question

我正在按照本教程使用mio(0.5.1)编写聊天服务器.有了它,我写了以下处理程序:

const SERVER_TOKEN: Token = Token(0);

impl Handler for WebSocketServer {
    type Timeout = usize;
    type Message = ();

    fn ready(&mut self, event_loop: &mut EventLoop<WebSocketServer>,
             token: Token, events: EventSet)
    {
        match token {
            SERVER_TOKEN => {
                let client_socket = match self.socket.accept() {
                    Err(e) => {
                        println!("Accept error: {}", e);
                        return;
                    },
                    Ok(None) => unreachable!("Accept has returned 'None'"),
                    Ok(Some((sock, addr))) => sock,
                };

                self.token_counter += 1;
                let new_token = Token(self.token_counter);

                self.clients.insert(new_token, client_socket);
                event_loop.register(&self.clients[&new_token],
                                    new_token, EventSet::readable(),
                                    PollOpt::edge() | PollOpt::oneshot()).unwrap();
            }
        }
    }
}

但是,在尝试编译它时,我收到一个错误:

error[E0004]: non-exhaustive patterns: `Token(_)` not covered
  --> src/main.rs:23:15
   |
23 |         match token {
   |               ^^^^^ pattern `Token(_)` not covered

error: aborting due to previous error

虽然我明白这应该意味着我match没有涵盖所有可能的情况,但我不明白这是怎么回事.

为什么我会收到此错误,我该如何解决？

Answer 1

这SERVER_TOKEN是一个等于的常数Token(0),所以让我们简化匹配:

match token {
    Token(0) => { },
}

虽然您知道您不会获得任何其他令牌,但编译器不知道,并且该类型允许其他值,如Token(1).你可以添加一个案例来涵盖其他案例,而且只是panic.如果它确实作为调试辅助工具发生,我喜欢打印匹配的内容.

match token {
    SERVER_TOKEN => { },
    x => panic!("Unexpected invalid token {:?}", x),
}

这假设Token实现Debug.