具有生命周期参数的结果 - 具有生命周期参数的枚举应用于默认 T<'a> 和 E<'a> 参数 (Rust)

Question

我正在尝试使用生命周期参数创建 Result，作为对 T (::Ok(T)) 和 E (::Err(E)) 通用参数的额外限制。

// enums A<'a> and B<'a> elided

pub enum Result<'a, T=A<'a>, E=B<'a>> {
    Ok(T),
    Err(E),
}

unused parameter, suggestion: add PhantomData

所以它没有工作。我读到我可以使用PhantomData 解决未使用的参数错误，但这对我来说似乎很脏。

这项工作也没有：

pub enum Result<T=A<'a>, E=B<'a>> {
    Ok(T),
    Err(E),
}

undefined parameter, suggestion: add parameter before T
(twice)

这个建议让我陷入了困境！

如何在我的enum 泛型参数默认值中放置一个带有生命周期参数的泛型type？

Answer 1

错误是正确的，这种类型没有意义：

由于生命周期仅用于默认参数，在这种情况下生命周期是什么：

let foo = Result::Ok(42); // What's the lifetime in this instance?

?

没有使用生命周期，这是错误消息的来源。

---

这个问题没有提供太多上下文，但您似乎打算只在您的类型中使用A<'_> 和B<'_>。如果是这种情况，那么您必须使用

pub enum Result<'a> {
    Ok(A<'a>),
    Err(B<'a>),
}

这是有效的。但是，这会引发一个问题，即为什么您不使用内置的 Result 类型，可能与类型别名结合使用以避免重复：type Result<'a> = std::result::Result<A<'a>, B<'a>>;。 这很常见，甚至标准库也会这样做几次：

• std::io::Result: type Result<T> = Result<T, Error>;
• std::fmt::Result: type Result = Result<(), Error>;