代码之家 › 专栏 › 技术社区 › Evan Carroll

Rust:当我的T与Into<String>绑定时,特性绑定“String:From<&T>”不满足

traits type-conversion rust string

Evan Carroll · 技术社区 · 3 年前

我有以下代码,

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`

我怎样才能拿到我的 T 在里面 Vec<T> 到 String ? 我这么做的原因 Vec<T> 而不是 Vec<String> 是因为我想支持 Vec<&str> 也

1 回复 | 直到 3 年前

user4815162342 3 年前

你的代码的问题是你的向量 参考文献 ,即。 &String 虽然 Into<String> 被琐碎地实现用于 String ,它不是为实现的 &一串 ,这将需要克隆。您可以实现编译器的建议,并添加 where T: From<&String> ,但它需要额外的寿命,而且不会再次支持 &str .

支持两者 &str 和 一串 ,您可以使用 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] .)

推荐文章

uconnboi · 特质名称后的特质是什么意思?

2 年前

drpytho · 如何创建可以使用Serde序列化并保留类型信息的泛型结构?

6 年前

bofjas · 为什么我不能将一个具有扩展特征的盒子转换为一个具有基本特征的盒子?[副本]

6 年前

K. Biermann · “my\u func”与“my\u func”之间的差异,其中T:MyTrait“[重复]

6 年前

Martee · 用抽象类型扩展trait的case类

6 年前

adahn · “参数类型'C'可能寿命不够长”,如果不需要的话

6 年前

Casebash · 在Rust中,一个结构能否实现两个方法名称冲突的特性?[副本]

6 年前

Count Zero · 具有大小超特征的特征仍存在错误“std::marker::Sized is not successment”[重复]

6 年前

Exit · 在PHP中的类方法中使用名称空间

6 年前

Simon · Scala:是否可以将对trait函数定义的访问限制为其直接调用方?

6 年前