模板类型参数仅针对特质绑定

Question

在Rust中，在结构范围中应使用对模板类型参数强迫使用参数的限制。

struct S1<'a, T> where T: Deserialize<'a>
{
    pub data: T
}
    
impl<'a, T> S1<'a, T> {
    fn update(&mut self, str_json: String) {
        self.data = serve_json::from_str(&str_json).unwrap();
    } 
}

在上述代码中，Serve_json需要使用Lifetime参数实现Deserialiser的类型，但是该结构并未将其直接用于底部成员。克服问题的最佳方法是什么？

Answer 1

最简单的方法是在s1上不限制t，完全仅在实现上：

struct S1<T> {
    pub data: T
}
    
impl<'a, T> S1<T> where T: Deserialize<'a> {
    // ...
}

<

• a href =“ https：//stackoverflow.com/a/ 66369912/501250“>特征边界是否应该在结构和inmend？中重复

Answer 2

我考虑 @cdhowie 的答案，并尝试使示例完全工作。
为此，我们必须确保传入字符串的寿命（str_json）与deSerialize＆lt;'a＆gt;的寿命兼容。

使用String参数，情况并非如此：当功能结束时，它将消失。
然后，我们需要一个＆amp; str，并明确将其寿命与delelialize＆lt;'a＆gt;之一相关联。

此页面很好地解释了为什么deSerialize＆lt;重要的是：它可以启用零拷贝提取（合适的时）。

为了说明这一点，下面的示例首先处理一个拥有其数据的结构（a string），然后处理第二个引用其数据的结构（a ＆amp; str ）。

根据同一页面，deserializeded在我们无法保证时要考虑要解析的传入字符串将比提取的数据更长。
在这种情况下，我们可以回到参数为String的情况。

use serde::{de::DeserializeOwned, Deserialize};

#[derive(Debug)]
struct S1<T> {
    pub data: T,
}

impl<'a, T> S1<T>
where
    T: Deserialize<'a>,
{
    fn update_from_str(
        &mut self,
        str_json: &'a str,
    ) {
        self.data = serde_json::from_str(str_json).unwrap();
    }
}

impl<T> S1<T>
where
    T: DeserializeOwned,
{
    fn update_from_string(
        &mut self,
        str_json: String,
    ) {
        self.data = serde_json::from_str(&str_json).unwrap();
    }
}

fn main() {
    let mut owned = S1 {
        data: "one".to_owned(),
    };
    println!("owned before {:?}", owned);
    owned.update_from_str(" \"two\" ");
    println!("owned after {:?}", owned);
    //
    let mut referenced = S1 { data: "three" };
    println!("referenced before {:?}", referenced);
    referenced.update_from_str(" \"four\" ");
    println!("referenced after {:?}", referenced);
    //
    let mut owned_and_string = S1 {
        data: "five".to_owned(),
    };
    println!("owned_and_string before {:?}", owned_and_string);
    owned_and_string.update_from_string(" \"six\" ".to_owned());
    println!("owned_and_string after {:?}", owned_and_string);
}
/*
owned before S1 { data: "one" }
owned after S1 { data: "two" }
referenced before S1 { data: "three" }
referenced after S1 { data: "four" }
owned_and_string before S1 { data: "five" }
owned_and_string after S1 { data: "six" }
*/