Rust类型推断错误

Question

作为一个学习项目，我正在编写一个通过TCP的聊天服务器。我今天一直在修补ws crate，但我遇到了一个问题。这是我编写的代码，修改了他们的服务器示例。

extern crate ws;
extern crate env_logger;

use ws::listen;

fn main() {
    // Setup logging
    env_logger::init().unwrap();

    // Listen on an address and call the closure for each connection
    if let Err(error) = listen("127.0.0.1:3012", |out| {
        let mut message: String;
        // The handler needs to take ownership of out, so we use move
        move |message| {
            message = message.trim();
            // Handle messages received on this connection
            println!("Server got message '{}'. ", message);

            // Use the out channel to send messages back
            out.send(message)
        }

    }) {
        // Inform the user of failure
        println!("Failed to create WebSocket due to {:?}", error);
    }
}

当我尝试编译它时，我得到一个错误：

error: the type of this value must be known in this context
  --> src/main.rs:15:23
   |
15 |             message = message.trim();
   |                       ^^^^^^^^^^^^^^

为什么会这样？我怎样才能解决这个问题？

Answer 1

move|message|将您在闭包外部声明的消息变量隐藏起来。因此，在闭包中，＜code＞消息＜/code＞被称为＜code＞ws：：message＜/code＞…除非您这样做：

message = message.trim();

编译器会说“哦不！< code>trim()？对于< code>ws::Message，它不存在..所以现在它不知道该做什么。

第一个修复是将< code>trim()调用委托给发送消息的客户端。

解决办法是不对闭包中的消息进行任何假设。如果您保留此项：

move |message|

..但是删除 trim（） 调用，编译器很乐意将其类型推断为 ws：：Message，并将构建：

if let Err(error) = listen("127.0.0.1:3012", |out| {
    // The handler needs to take ownership of out, so we use move
    move |message| {
        // --- REMOVED trim() call ---

        // Handle messages received on this connection
        println!("Server got message '{}'. ", message);

        // Use the out channel to send messages back
        out.send(message)
    }
}

这为您提供了将 trim（） 调用委派给客户端的选项。

选项2涉及检查您收到的消息类型，并确保仅当消息为文本时才对其进行修剪：

// The handler needs to take ownership of out, so we use move
move |mut message: ws::Message| {
    // Only do it if the Message is text
    if message.is_text() {
        message = ws::Message::Text(message.as_text().unwrap().trim().into());
    }

    // Handle messages received on this connection
    println!("Server got message '{}'. ", message);

    // Use the out channel to send messages back
    out.send(message)
}

这也许比它需要的要详细一些。但希望它能向您展示原始代码片段的实际问题。