当前位置: 首页 > 知识库问答 >
问题:

模式匹配中的借用

李凯定
2023-03-14

我正在编写一个Rust程序来收集每个输入行的第一个字,这有点类似于Unix实用程序cut

use std::io;


fn main() {
    let mut words = Vec::new();

    let mut input = String::new();

    loop {
        match io::stdin().read_line(&mut input) {
            std::result::Result::Ok(_) => {
                let words_line: Vec<&str> = input.split_whitespace().collect();
                match words_line.get(0) {
                    Some(&word) => {
                        words.push(word.clone());
                    },
                    _ => continue,
                }
            }
            std::result::Result::Err(_) => break
        }
    }

    println!("{:?}", words);
}

这让我

$ cargo run
   Compiling foo v0.1.0 (/home/ubuntu/projects/foo)
error[E0502]: cannot borrow `input` as mutable because it is also borrowed as immutable
  --> src/main.rs:10:37
   |
10 |         match io::stdin().read_line(&mut input) {
   |                                     ^^^^^^^^^^ mutable borrow occurs here
11 |             std::result::Result::Ok(_) => {
12 |                 let words_line: Vec<&str> = input.split_whitespace().collect();
   |                                             ----- immutable borrow occurs here
...
24 |     println!("{:?}", words);
   |                      ----- immutable borrow later used here

error: aborting due to previous error

For more information about this error, try `rustc --explain E0502`.
error: could not compile `foo`

To learn more, run the command again with --verbose.

我读过《不能作为可变借来》一书,因为它也是作为不可变借来的,但我仍然感到困惑:可变借来发生在第10行,而不可变借来发生在第12行,那么“已经作为不可变借来的变量是作为可变借来的”怎么可能发生呢?至少错误应该是“一个已经作为可变(在第10行)借用的变量被作为不可变(在第12行)借用”。

共有2个答案

墨翔宇
2023-03-14

我想你想把单词做成Vec

use std::io;


fn main() {
    let mut words : Vec<String> = Vec::new();

    let mut input = String::new();

    loop {
        match io::stdin().read_line(&mut input) {
            std::result::Result::Ok(_) => {
                let words_line: Vec<&str> = input.split_whitespace().collect();
                match words_line.get(0) {
                    Some(&word) => {
                        words.push(word.to_string());
                    },
                    _ => continue,
                }
            }
            std::result::Result::Err(_) => break
        }
    }

    println!("{:?}", words);
}

作为旁注,collect插入words\u line似乎没有必要:您只需调用next(而不是collect)来确定是否有第一个元素。

葛威
2023-03-14

调用io::stdin()。读线(

这样做的原因是word.clone()实际上不做任何事情-它创建一个的副本

清理代码以避免这个问题很容易。下面是一个示例实现,它还修复了input从所有行累积数据的错误,我认为这不是您想要的:

while io::stdin().read_line(&mut input).is_ok() {
    if let Some(word) = input.split_whitespace().next() {
        words.push(word.to_owned());
    }
    input.clear();
}

另一种选择:

use std::io;
use std::io::BufRead;

fn main() {
    let mut words = vec![];
    for result in io::stdin().lock().lines() {
        match result {
            Ok(line) => words.extend(line.split_whitespace().next().map(ToOwned::to_owned)),
            Err(_) => break,
        }
    }
    println!("{:?}", words);
}

 类似资料:
  • 一、模式匹配 Scala 支持模式匹配机制,可以代替 swith 语句、执行类型检查、以及支持析构表达式等。 1.1 更好的swith Scala 不支持 swith,可以使用模式匹配 match...case 语法代替。但是 match 语句与 Java 中的 switch 有以下三点不同: Scala 中的 case 语句支持任何类型;而 Java 中 case 语句仅支持整型、枚举和字符串常

  • 主机权限和 内容脚本匹配 是基于匹配模式定义的一组 URL。匹配模式本质上是一个以允许的 schema(http,https,file 或ftp 开头)的URL,并且可以包含 “*” 字符。特殊模式 < all_urls > 匹配以允许的 schema 开头的任何 URL。 每个模式包含 3 个部分: schema - 例如,http 或file 或 * 注意:对文件 URL 的访问不是自动的。用

  • MySQL提供了一个标准的SQL模式匹配,和基于扩展的正则表达式的模式匹配Unix工具(如vi,grep,sed)一样。 SQL模式匹配可以使用“_“来匹配任意单个字符,”%“可以用来匹配任意数量(包含0个字符)的字符。在MySQL中,SQL模式匹配的大小写默认是不敏感的,以下有一些例子,当你在使用SQL模式时,不要使用 = 或 <>,而是使用LIKE 或 NOT LIKE。 要找到以字符“b"开

  • 除了我们常见的控制语句之外,Rust还提供了一个更加强大的关键字——match 。但是,需要指出的一点是,match只是匹配,要发挥其全部威力,还需要模式的配合。本章,我们就将的对Rust的模式匹配进行一番探索。 本章内容: match关键字 模式 pattern

  • 模式匹配 内容脚本可以作用到模式匹配定义好的URL集合上. 你能对manifest文件的内容脚本段的部分进行一个或多个模式匹配操作. 这里描述模式匹配语法 — 当你指定内容脚本将影响哪些URL时你需要遵循的规则. 任意一个模式匹配本质上都是一个以认可的协议(例如:http, https, file, ftp 或者 chrome-extension)开头的URL,只是URL你可以包含"*"字符. 这

  • HTTPS、Websocket需要开启HTTPS拦截才可以正常抓包及使用所有匹配模式,否则只能用域名匹配 有些老版本可能不支持以下的某种匹配模式,遇到这种情况可以升级下whistle即可 whistle的匹配模式(pattern)大体可以分成 域名、路径、正则、精确匹配、通配符匹配: 其中 正则匹配、精确匹配、通配符匹配支持取非,即 !pattern,表示不匹配 pattern 关键字符:^(通配