面试题：Rust嵌套作用域内生命周期与泛型类型参数的深度融合

use std::fmt::Debug;

// 定义NestedScopeData结构体
struct NestedScopeData<'a, T: 'a + Debug> {
    data: Option<&'a T>,
}

impl<'a, T: 'a + Debug> NestedScopeData<'a, T> {
    // 存储数据的方法
    fn store_data(&mut self, value: &'a T) {
        self.data = Some(value);
    }

    // 获取数据的方法
    fn retrieve_data(&self) -> Option<&'a T> {
        self.data
    }
}

// 测试代码
#[cfg(test)]
mod tests {
    use super::*;

    #[test]
    fn test_nested_scope_data() {
        let outer_scope_value = String::from("outer scope value");
        let mut nested_scope = NestedScopeData::<String> { data: None };

        {
            let inner_scope_value = String::from("inner scope value");
            nested_scope.store_data(&inner_scope_value);
            assert_eq!(nested_scope.retrieve_data().unwrap(), &inner_scope_value);
        }

        nested_scope.store_data(&outer_scope_value);
        assert_eq!(nested_scope.retrieve_data().unwrap(), &outer_scope_value);
    }
}

生命周期和泛型类型参数关系解释

生命周期参数 'a：在 NestedScopeData 结构体定义中，'a 生命周期参数被指定。这意味着结构体存储的数据的生命周期至少要和 NestedScopeData 实例本身的生命周期一样长。在 store_data 方法中，接受一个 &'a T 类型的参数，这保证了传入的数据的生命周期与结构体的生命周期参数 'a 匹配，防止悬垂引用。
泛型类型参数 T：T 是泛型类型参数，它允许 NestedScopeData 存储多种不同类型的数据。约束 T: 'a + Debug 表示 T 类型的数据必须至少存活到 'a 生命周期结束，并且实现了 Debug trait，以便在测试中可以使用 assert_eq! 宏对数据进行比较。
测试代码验证：在测试代码中，通过在不同作用域创建数据并存储到 NestedScopeData 实例中，然后在外部作用域获取数据并进行断言验证。这确保了在复杂嵌套作用域场景下数据存储和获取的正确性以及生命周期的安全性。例如，先在内部作用域存储 inner_scope_value，然后在外部作用域存储 outer_scope_value，并分别验证获取的数据的正确性。

星途面试题库

面试题：Rust嵌套作用域内生命周期与泛型类型参数的深度融合

知识考点

面试题答案

生命周期和泛型类型参数关系解释