如何在方法impl的枚举中从字符串返回& str?

时间:2017-12-18 12:12:57

标签: rust borrow-checker

我想返回城市/城镇/村庄的名称作为str的参考。我可以在实现中指定生命周期,但也为enum指定它会导致错误,因为它没有声明引用。

enum CityType {
    City { name: String /* ... */ },
    Town { name: String /* ... */ },
    Village { name: String /* ... */ },
}

impl CityType {
    fn name(self) -> &str {
        match self {
            CityType::City { name } => &name,
            CityType::Town { name, .. } => &name,
            CityType::Village { name } => &name,
        }
    }
}

playground

1 个答案:

答案 0 :(得分:5)

如果您只想通过消费返回城市名称而不丢失对象,则应将其写为以下内容:

enum CityType {
    City { name: String },
    Town { name: String },
    Village { name: String },
}

impl CityType {
    fn name(&self) -> &str {
        match *self {
            CityType::City { ref name } => name,
            CityType::Town { ref name, .. } => name,
            CityType::Village { ref name } => name,
        }
    }
}

fn main() {
    let city = CityType::City { name: "NY".to_owned() };
    println!("Name of the city: {}", city.name());
}

说明:

  1. 首先,您的方法的签名指定您消费该对象:

    fn name(self) -> &str {
    

    调用此类方法后,您将无法再使用该实例。如果要读取字符串,则应接受引用:

    fn name(&self) -> &str {
    

    这会导致另一个问题

  2. match应该在不移动对象的情况下工作,所以这里是*

    match *self {
    
  3. 您不应该从枚举数据中移出,因此ref关键字有帮助

    CityType::City { ref name } => name,
    

    此关键字表示我们必须使用模式匹配以及对值的引用。

  4. main中,您传递了&str,但枚举中的项目为String,因此会导致不兼容的类型错误。通过在字符串引用上调用.to_owned()方法,您可以从中创建一个新的String对象:

    let city = CityType::City { name: "NY".to_owned() };
    
  5. 征求意见:

      

    问题更为笼统:如何将ref返回到一个没有生命周期说明符的String,因为它就像枚举一样长。

    在Rust中,您不能拥有没有生命的引用。决不。在某些情况下,编译器可以为您推断出生命周期,但也有一些情况,它会错误地执行或不符合您的预期。在这种情况下,例如:

    fn name(&self) -> &str {
    

    生命周期,编译器会将其视为以下内容:

    fn name<'a>(&'a self) -> &'a str {
    

    您的引用必须使用相同的生命周期,并且可以使用它们。