Rust实现FromStr：如何为无生命周期约束的关联类型Err持有&str？

为RarityTag类型实现FromStr trait时，希望将传入的&str封装到自定义错误结构体ParseRarityTagError中，但该结构体需要生命周期约束，而FromStr的关联类型Err不支持生命周期参数，直接给impl块加生命周期约束也无法解决。如何让带生命周期的错误结构体适配FromStr的Err关联类型？

相关代码定义：

pub enum RarityTag {
    // ...
}

pub struct ParseRarityTagError<'a>(&'a str);

impl FromStr for RarityTag {
    type Err = ParseRarityTagError<'a>;

    fn from_str(s: &str) -> Result<Self, Self::Err> {
        match s {
            // ...
            rest => Err(ParseRarityTagError(rest)),
        }
    }
}

解决方案 #

问题本质是FromStr的Err关联类型不能带生命周期参数——from_str返回的Result必须能独立于输入字符串s存在，若错误持有s的引用，一旦s被释放，错误就会变成悬垂引用，违反Rust安全规则。

下面是两种可行的解决方式：

1. 改为持有所有权的String（推荐） #

把错误结构体里的&str换成String，这样不需要生命周期约束，完全符合FromStr的要求，且错误可以自由传递存储：

use std::str::FromStr;

pub enum RarityTag {
    Common,
    Rare,
    // 其他枚举变体
}

pub struct ParseRarityTagError(String);

impl FromStr for RarityTag {
    type Err = ParseRarityTagError;

    fn from_str(s: &str) -> Result<Self, Self::Err> {
        match s {
            "common" => Ok(RarityTag::Common),
            "rare" => Ok(RarityTag::Rare),
            invalid => Err(ParseRarityTagError(invalid.to_string())),
        }
    }
}

2. 使用Cow实现引用/所有权灵活切换 #

如果想避免不必要的内存分配，可以用std::borrow::Cow，它既能持有原字符串的引用，也能在需要时转为String。此时需要为impl块添加生命周期，绑定输入字符串和错误的生命周期：

use std::borrow::Cow;
use std::str::FromStr;

pub enum RarityTag {
    Common,
    Rare,
    // 其他枚举变体
}

pub struct ParseRarityTagError<'a>(Cow<'a, str>);

impl<'a> FromStr for RarityTag {
    type Err = ParseRarityTagError<'a>;

    fn from_str(s: &'a str) -> Result<Self, Self::Err> {
        match s {
            "common" => Ok(RarityTag::Common),
            "rare" => Ok(RarityTag::Rare),
            invalid => Err(ParseRarityTagError(Cow::Borrowed(invalid))),
            // 若需要自定义错误信息，可转为所有权模式：
            // Err(ParseRarityTagError(Cow::Owned(format!("无效标签: {}", invalid))))
        }
    }
}

这种方式下，Result的生命周期会和输入s绑定，调用方需保证s在错误被使用期间始终有效。

内容的提问来源于stack exchange，提问作者Tobiky