当我的 T 与 Into<String> 绑定时，特征绑定 `String: From<&T>` 不满足

Question

我有以下代码，

impl<T: Debug + Into<String> + Clone> TryFrom<Vec<T>> for Positionals {
  type Error = &'static str;
  fn try_from(mut vec: Vec<T>) -> Result<Self, Self::Error> {
    let mystr: String = vec.get(0).unwrap().into();

而该代码正在产生此错误，

error[E0277]: the trait bound `String: From<&T>` is not satisfied
  --> bin/seq.rs:21:43
   |
21 |         let mystr: String = vec.get(0).unwrap().into();
   |                                                 ^^^^ the trait `From<&T>` is not implemented for `String`
   |
   = note: required because of the requirements on the impl of `Into<String>` for `&T`
help: consider introducing a `where` bound, but there might be an alternative better way to express this requirement

我很困惑为什么这会产生错误，因为我在Vec<T> 上有一个特征绑定，因此T 必须实现Into<String>，还需要什么？我不明白这是为什么，我删除了into()，我明白了

let mystr: String = vec.get(0).unwrap();
           ------   ^^^^^^^^^^^^^^^^^^^ expected struct `String`, found `&T`

如何将Vec<T> 中的T 转至String？我之所以做Vec<T>而不是Vec<String>是因为我也想支持Vec<&str>。

Answer 1

您的代码的问题在于您的向量为您提供了引用，即&String。虽然 Into<String> 对于 String 的实现很简单，但对于 &String 没有实现，这需要克隆。您可以实现编译器的建议并添加where T: From<&String>，但它需要额外调整生命周期并且再次不支持&str。

要同时支持&str 和String，您可以使用AsRef<str>：

impl<T: Debug + Clone + AsRef<str>> TryFrom<Vec<T>> for Positionals {
    type Error = &'static str;
    fn try_from(mut vec: Vec<T>) -> Result<Self, Self::Error> {
        let mystr: String = vec[0].as_ref().into();
        todo!()
    }
}

通过以下两个编译：

Positionals::try_from(vec!["foo",]);
Positionals::try_from(vec!["foo".to_owned(),]);

Playground

旁注：您可以使用vec[0] 代替vec.get(0).unwrap()。 （为防止意外移出向量，只需添加借位，即&vec[0]。）