Rust类型推断错误

时间:2016-12-05 22:47:09

标签: rust type-inference

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

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();
   |                       ^^^^^^^^^^^^^^

为什么会这样?我该如何解决这个问题?

1 个答案:

答案 0 :(得分:7)

move |message|隐藏您在闭包之外声明的message变量。所以在闭包中.. message被认为是ws::Message ...除非你已经这样做了:

message = message.trim();

编译器会“哦不!trim()ws::Message不存在......”所以现在它不知道该怎么做。

选项1

第一个修复涉及将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

选项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)
}

这可能比它需要的更冗长......但希望它能告诉你原始代码片段的实际问题是什么。