Open lidanyang opened 1 year ago
“step1函数第一个参数&val生命周期本来是'a,因为协变而变成'static,所以借用检查就正常通过了”这句话没看懂: 1、 “&val声明周期本来是'a”,这个'a是指step1函数生命周期参数的那个'a吗?如果是的话,是不是指函数内部的局部变量会默认继承函数自身的生命周期参数?
@lidanyang “step1的生命周期参数'a不是会单态化成'static吗,为啥会有协变呢” -> 这个过程就是协变 , 'static: 'a 是父子关系 如果还不懂就暂时保留疑问吧,不影响你使用 Rust 。这部分内容在第二版中也会更加详细描述。
'static: 'a
“step1函数第一个参数&val生命周期本来是'a,因为协变而变成'static,所以借用检查就正常通过了”这句话没看懂: 1、 “&val声明周期本来是'a”,这个'a是指step1函数生命周期参数的那个'a吗?如果是的话,是不是指函数内部的局部变量会默认继承函数自身的生命周期参数?