Rust中format宏后返回字符串切片的方法及字面量所有权疑问

问题背景 #

你定义了一个实现as_str方法的枚举MyEnum，希望返回带有SPACING常量格式化的&str，但使用format!宏会返回所有权类型String，直接返回其引用会触发“cannot return reference to temporary value”错误。原代码如下：

enum MyEnum {
    One,
    Two,
    Three,
}

const SPACING: &'static str = " ";

impl MyEnum {
    fn as_str(&self) -> &str {
        match self {
            MyEnum::One => "ONE",
            MyEnum::Two => "TWO",
            MyEnum::Three => "THREE",
        }
    }
}

针对你的两个疑问，解答如下：

1. 是否存在格式化字符串字面量并返回字符串切片的方法？ #

直接用format!不行，因为它生成的是临时String，函数返回后临时值会被销毁，引用也就失效了。但有两种可行方案：

• 预定义静态格式化字符串常量
  因为SPACING是'static生命周期的常量，你可以直接在编译时拼接好目标字符串，定义为静态常量：

  enum MyEnum {
      One,
      Two,
      Three,
  }
  
  const SPACING: &'static str = " ";
  const ONE_FORMATTED: &'static str = " ONE ";
  const TWO_FORMATTED: &'static str = " TWO ";
  const THREE_FORMATTED: &'static str = " THREE ";
  
  impl MyEnum {
      fn as_str(&self) -> &str {
          match self {
              MyEnum::One => ONE_FORMATTED,
              MyEnum::Two => TWO_FORMATTED,
              MyEnum::Three => THREE_FORMATTED,
          }
      }
  }
  

  这种方式最直接，性能也最好，字符串在编译时就已确定，运行时无需额外计算。

• 延迟初始化静态字符串（适用于复杂场景）
  如果是更复杂的格式化逻辑（比如需要动态计算但结果固定），可以用lazy_static或once_cell crate来实现延迟初始化的静态字符串，确保只初始化一次，返回的引用拥有'static生命周期：

  use lazy_static::lazy_static;
  
  enum MyEnum {
      One,
      Two,
      Three,
  }
  
  const SPACING: &'static str = " ";
  
  lazy_static! {
      static ref ONE_FORMATTED: String = format!("{SPACING}ONE{SPACING}");
      static ref TWO_FORMATTED: String = format!("{SPACING}TWO{SPACING}");
      static ref THREE_FORMATTED: String = format!("{SPACING}THREE{SPACING}");
  }
  
  impl MyEnum {
      fn as_str(&self) -> &str {
          match self {
              MyEnum::One => &ONE_FORMATTED,
              MyEnum::Two => &TWO_FORMATTED,
              MyEnum::Three => &THREE_FORMATTED,
          }
      }
  }
  

  注意：这种方式需要引入第三方依赖，适合无法在编译时确定字符串内容的场景。

2. match分支中字符串字面量的所有权与生命周期猜想是否正确？ #

你的猜想完全正确。Rust中的字符串字面量（如"ONE"）是静态字符串，它们被存储在程序的只读数据段中，拥有'static生命周期——意味着它们从程序启动到退出期间始终存在。因此，直接返回这些字符串的引用是安全的，因为'static生命周期满足函数返回&str的要求（任何其他生命周期都比'static短，引用不会失效）。

内容的提问来源于stack exchange，提问作者Slava.In