compiler/fight-with-compiler/lifetime/closure-with-static

[giscus[bot]]

compiler/fight-with-compiler/lifetime/closure-with-static

https://course.rs/compiler/fight-with-compiler/lifetime/closure-with-static.html

[PPhoss]

菜鸟提问：本篇说没有引用字段的结构体也拥有'static的生命周期，在之前的知识中提到：字符串字面量也拥有'static生命周期。
字符串字面量因为拥有'static生命周期所以可以跟整个程序活得一样久；那么创建出来的结构体也可以和整个程序活得一样久吗？这样的话不会很占内存吗？
另外特征对象也具有'static生命周期，那也意味着能和程序存活的一样久了吗？如果这样的话，像进阶实战1中的服务器，每次都会传入一个特征对象来处理一个连接请求，这样不是越处理内存占用越多了吗？
还望大佬解答 : (

[3517277]

T:'static不仅指引用的对象具有程序一样长的生命周期，还表示所有拥有所有权的对象（即非引用对象）。

[lihongtao1024]

这里看第二遍，结合项目实践中遇到的问题，终于彻底搞明白了。写得太好了

[apodemakeles]

引入生命周期'b的那个，第一次遇到这种因为先drop先后顺序带来的生命周期问题。
只能含着眼泪说，Rust真TM好玩...

[Liccsu]

对于本篇中这句话：

首先给出结论：特征对象隐式的具有'static生命周期。
感觉很疑惑，代码：

fn main() {
    let string = "local string".to_string();
    print_static_trait_object(&string);
}

fn print_static_trait_object(item: &'static dyn std::fmt::Display) {
    println!("{}", item);
}

这里item是特征对象吧，它实现了Display特征，但是无法通过编译

[1654364091]

&'static dyn std::fmt::Display的含义：特征对象的引用需要是‘static的
特征对象是dyn std::fmt::Display部分，概念中不包括"&"符号
所以，对于“特征对象生命周期为'static”的验证方式应该这么写：
fn main() {
let string = "local string".to_string();
print_static_trait_object(&string);
}

fn print_static_trait_object(item: &(dyn std::fmt::Display+'static)) {
println!("{}", item);
}

(dyn std::fmt::Display+'static)才是要求一个实现了std::fmt::Display的特征对象必须是'static
你可以验证一下，可以编译通过并执行