Question

我在使用以下代码时遇到了困难：

trait HelloPhrase {
    fn hello(&self, to: &'static str);
}

pub enum GetHelloResult<H: HelloPhrase> {
    Matched(H),
    NoMatch,
}

struct English;

impl English {
    pub fn new() -> English {
        English
    }
}

impl HelloPhrase for English {
    fn hello(&self, to: &'static str) {
        println!("Hello {}.", to)
    }
}

struct Phrases<H: HelloPhrase> {
    hello_phrases: std::collections::HashMap<&'static str, H>,
}

impl<H: HelloPhrase> Phrases<H> {
    pub fn new() -> Phrases<H> {
        Phrases { hello_phrases: std::collections::HashMap::new() }
    }

    pub fn add_hello_phrase(&mut self, lang: &'static str, hello_phrase: H) {
        self.hello_phrases.insert(lang, hello_phrase);
    }

    pub fn get_hello(&self, lang: &'static str) -> GetHelloResult<H> {
        match self.hello_phrases.get(lang) {
            Some(hello_phrase) => return GetHelloResult::Matched(hello_phrase),
            _ => return GetHelloResult::NoMatch,
        };
    }
}

fn main() {
    let mut hs = Phrases::new();
    hs.add_hello_phrase("english", English::new());

    match hs.get_hello("english") {
        GetHelloResult::Matched(hello_phrase) => hello_phrase.hello("Tom"),
        _ => println!("HelloPhrase not found"),
    }
}

（play link）

HelloPhrase是实现语言的特性，英语，俄语等。Phrases是一个管理器结构，可以有许多语言到短语的映射。这是一个人为的例子，但您可以将其视为事件管理器（即获取X输入的事件处理程序），或者作为HTTP处理程序和路由器。

话虽如此，我很难理解如何借用HelloPhrase的所有权将其返回给调用者。运行它，返回以下错误：

<anon>:40:66: 40:78 error: mismatched types:
 expected `H`,
    found `&H`
(expected type parameter,
    found &-ptr) [E0308]
<anon>:40             Some(hello_phrase) => return GetHelloResult::Matched(hello_phrase),
                                                                           ^~~~~~~~~~~~

我尝试添加：

pub fn get_hello(&self, lang: &'static str) -> GetHelloResult<&H> {

和

pub enum GetHelloResult<H: HelloPhrase> {
    Matched(&H),
    NoMatch,
}

（play link）

会导致以下错误：

<anon>:7:13: 7:15 error: missing lifetime specifier [E0106]
<anon>:7     Matched(&H),

我在为枚举添加生命周期时遇到了麻烦 - 理论上我希望返回值的生命周期是Phrases结构的生命周期 - 但到目前为止，生命周期语法对我来说非常混乱。总结为两个问题：

如何为GetHelloResult添加生命周期以满足此错误？
基于Rust的所有权规则，我正在尝试用Rust做反模式吗？什么可能是这样的更好的设计？

根据文档，我知道如何在结构上使用生命周期，但我不知道如何为枚举添加生命周期（语法方面）。我只提到了结构生命周期，因为我认为这是一个缺失的部分，但老实说我不知道。此外，如果我在struct和impl中添加生命周期并尝试将其添加到hello_phrases地图，我会收到错误

the parameter type `H` may not live long enough [E0309]

Answer 1

这里的困惑是终身缺勤的不幸副作用。它在99％的情况下有所帮助，但是不可发现。

您需要终身注释GetHelloResult：

pub enum GetHelloResult<'a, H: 'a + HelloPhrase> {
    Matched(&'a H),
    NoMatch,
}

pub fn get_hello(&self, lang: &'static str) -> GetHelloResult<H> {
    match self.hello_phrases.get(lang) {
        Some(hello_phrase) => return GetHelloResult::Matched(hello_phrase),
        _ => return GetHelloResult::NoMatch,
    };
}

这将GetHelloResult的生命周期与Phrases结构的生命周期联系起来，这样如果Phrases结构被突变（或被破坏！），则返回的引用将失效。在这种情况下，推断生命周期与self相同，通过阅读它是不明显的，但是确实如此！在不太明显的情况下，您可能希望使用GetHelloResult<'a, H>明确注释。

Play link.

Answer 2

只要您实现了对也实现特征的类型的引用的特征，代码在返回引用（fn get_hello(&self, lang: &'static str) -> GetHelloResult<&H>）时工作正常：

impl<'a, H> HelloPhrase for &'a H 
    where H: HelloPhrase
{
    fn hello(&self, to: &'static str) {
        (**self).hello(to)
    }
}

将借来的值嵌入到枚举中？

2 个答案: