- html - 出于某种原因,IE8 对我的 Sass 文件中继承的 html5 CSS 不友好?
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景?
考虑以下代码,其中对根类型的引用 R
被包裹。还存储了一些类型 N
(avigate),它知道如何取消引用 R
对于 T
.
use std::ops::Deref;
struct Wrapper<'r, R, N, T>
where
N: Fn(&'r R) -> &T,
T: 'static,
{
r: &'r R,
n: N,
}
impl<'r, R, N, T> Deref for Wrapper<'r, R, N, T>
where
N: Fn(&'r R) -> &T,
T: 'static,
{
type Target = T;
fn deref(&self) -> &T {
let r: &'r R = self.r;
let t: &'r T = (self.n)(r);
t
}
}
现在,如果我们改变引用类型 r: &'r R,
可变 r: &'r mut R,
它不再有效:
use std::ops::Deref;
struct Wrapper<'r, R, N, T>
where
N: Fn(&'r R) -> &T,
T: 'static,
{
r: &'r mut R,
n: N,
}
impl<'r, R, N, T> Deref for Wrapper<'r, R, N, T>
where
N: Fn(&'r R) -> &T,
T: 'static,
{
type Target = T;
fn deref(&self) -> &T {
let r: &'r R = self.r;
let t: &'r T = (self.n)(r);
t
}
}
错误:
error[E0312]: lifetime of reference outlives lifetime of borrowed content...
--> src/lib.rs:21:24
|
21 | let r: &'r R = self.r;
| ^^^^^^
|
note: ...the reference is valid for the lifetime 'r as defined on the impl at 13:6...
--> src/lib.rs:13:6
|
13 | impl<'r, R, N, T> Deref for Wrapper<'r, R, N, T>
| ^^
note: ...but the borrowed content is only valid for the anonymous lifetime #1 defined on the method body at 20:5
--> src/lib.rs:20:5
|
20 | / fn deref(&self) -> &T {
21 | | let r: &'r R = self.r;
22 | | let t: &'r T = (self.n)(r);
23 | | t
24 | | }
| |_____^
我们使用 nll 得到更好的错误信息:
error: lifetime may not live long enough
--> src/lib.rs:21:16
|
13 | impl<'r, R, N, T> Deref for Wrapper<'r, R, N, T>
| -- lifetime `'r` defined here
...
20 | fn deref(&self) -> &T {
| - let's call the lifetime of this reference `'1`
21 | let r: &'r R = self.r;
| ^^^^^ type annotation requires that `'1` must outlive `'r
我在 deref 中注释了生命周期,以确保我与编译器在生命周期方面处于同一轨道。 nll 消息特别有趣,因为它说它需要 &self
活得更久'r
.
但这对我来说没有意义,因为如果我们在 deref 上注释生命周期,它应该看起来像这样:
fn deref<'1>(&'1 self) -> &'1 T;
而是要求 'r: '1
,由 Wrapper<'r, ...>
隐式给出
这种直觉似乎适用于第一个示例,但不适用于具有不可变引用的第二个示例。
所以我有两个问题:
self.r
会有所不同?是不可变的吗?我无法访问 r
反正是可变的,因为&self
是不可变的。1.
一个基本的限制,或者可以通过注释代码来告诉 rustc 我想做什么?最佳答案
特征类型在它们的通用参数上是不变的。
考虑这个例子:
struct Test<'a, F: Fn(&'a i32)> {
i: &'a i32,
f: F,
}
fn main() {
let i = 1i32;
let t = Test { i: &i, f: |&_| {} };
{
let j = 2i32;
(t.f)(&j);
}
println!("{:?}", t.i);
}
这将给出错误:
error[E0597]: `j` does not live long enough
--> src/main.rs:12:15
|
12 | (t.f)(&j);
| ^^ borrowed value does not live long enough
13 | }
| - `j` dropped here while still borrowed
14 |
15 | println!("{:?}", t.i);
| --- borrow later used here
如您所见,类型 Test<'a ...
与j
的生命周期不统一因为Test
包含特征实现类型 N
(静态调度)。因此,它将在 'a
上保持不变。 ,因此 'a
不能缩短。但是j
不为'a
而活,因此出现错误。
转到您的问题,让我们看一下您的代码的最小版本:
struct Wrapper<'r, R, N>
where
N: Fn(&'r R),
{
r: &'r mut R,
n: N,
}
impl<'r, R, N> Wrapper<'r, R, N>
where
N: Fn(&'r R),
{
fn myderef(&self) {
(self.n)(self.r)
}
}
这会产生同样的错误:
error[E0312]: lifetime of reference outlives lifetime of borrowed content...
--> src/lib.rs:14:18
|
14 | (self.n)(self.r)
| ^^^^^^
|
note: ...the reference is valid for the lifetime 'r as defined on the impl at 9:6...
--> src/lib.rs:9:6
|
9 | impl<'r, R, N> Wrapper<'r, R, N>
| ^^
note: ...but the borrowed content is only valid for the anonymous lifetime #1 defined on the method body at 13:5
--> src/lib.rs:13:5
|
13 | / fn myderef(&self) {
14 | | (self.n)(self.r)
15 | | }
| |_____^
这里到底发生了什么? &self
with lifetimes 的类型为 &'shorter_lifetime Wrapper<'r, R, N>
而不是 &'shorter_lifetime Wrapper<'shorter_lifetime, R, N>
. 'r
不会缩短为 'shorter_lifetime
作为Wrapper
将在其通用生命周期参数上保持不变 'r
因为N
.
现在我们知道参数类型到底是什么&self
是,让我们看看 myderef()
的主体内部发生了什么.特征类型 N
(静态调度)用 self.r
调用.但是self.r
是一个可变引用,在传递给 (self.r)()
时会被重新借用.所以现在你有一个可变引用在另一个引用后面(self
是一个引用),它需要为 'r
存在。 ( N
需要它的输入参数与 'r
一起使用根据定义的生命周期),因此 &self
也需要为'r
而活.但是&self
的生命周期是 'shorter_lifetime
,因此错误。
换句话说,如果你有 &'a & 'b mut T
('a
和 'b
之间没有子类型关系)作为函数的输入参数,编译器允许您重新借用内部引用并返回它,这违反了借用规则,因为 &mut T
已经落后于一个引用。外部引用“拥有”内部引用,主要是因为内部引用是可变的,并且函数需要保证外部引用至少在内部(可变)引用被重新借用时保持不变,否则在函数调用之后将是可变引用的多个所有者。
例如,以下代码将无法编译:
fn test<'a, 'b> (i:&'a &'b mut i32) -> &'b i32 {
&**i
}
但是这个会:
fn test<'a:'b, 'b> (i:&'a &'b mut i32) -> &'b i32 {
&**i
}
因为可以保证 'a
至少活到'b
.
如果内部引用是不可变的,那么前者也会编译,因为您可以有多个不可变引用。没有外部引用“拥有”内部引用的概念。
为了编译最小版本,我们必须告诉编译器 &self
也为'r
而活.或者删除 'r
的硬约束在 N
上的输入参数(生命周期省略)。
在您的示例中,deref()
不允许您在 &self
上指定生命周期, 根据 Deref
的定义。如果删除 'r
的硬约束在 N
的输入参数,it will compile
关于rust - 读取可变引用与不可变引用具有不同的生命周期语义,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/54370530/
编辑备注 由于 Rust(版本:1.42)仍然没有稳定的 ABI ,推荐使用extern (目前相当于extern "C"(将来可能会改变))否则,可能需要重新编译库。 This article解释如
词法分析器/解析器文件位于 here非常大,我不确定它是否适合只检索 Rust 函数列表。也许我自己编写/使用另一个库是更好的选择? 最终目标是创建一种执行管理器。为了上下文化,它将能够读取包装在函数
我试图在 Rust 中展平 Enum 的向量,但我遇到了一些问题: enum Foo { A(i32), B(i32, i32), } fn main() { let vf =
我正在 64 位模式下运行的 Raspberry Pi 3 上使用 Rust 进行裸机编程。我已经实现了一个自旋锁,如下所示: use core::{sync::atomic::{AtomicBool
我无法理解以下示例是如何从 this code 中提炼出来的, 编译: trait A: B {} trait B {} impl B for T where T: A {} struct Foo;
在我写了一些代码和阅读了一些文章之后,我对 Rust 中的移动语义有点困惑,我认为值移动后,它应该被释放,内存应该是无效的。所以我尝试写一些代码来作证。 第一个例子 #[derive(Debug)]
https://doc.rust-lang.org/reference/types/closure.html#capture-modes struct SetVec { set: HashSe
考虑 const-generic 数据结构的经典示例:方矩阵。 struct Matrix { inner: [[T; N]; N] } 我想返回一个结构体,其 const 参数是动态定义的:
以下代码无法编译,因为 x在移动之后使用(因为 x 具有类型 &mut u8 ,它没有实现 Copy 特性) fn main() { let mut a: u8 = 1; let x:
我在玩 Rust,发现了下面的例子: fn main() { let mut x = [3, 4, 5].to_vec(); x; println!("{:?}", x); }
假设一个 Rust 2018 宏定义了一个 async里面的功能。它将使用的语法与 Rust 2015 不兼容。因此,如果您使用 2015 版编译您的 crate,那么宏中的扩展代码不会与它冲突吗?
假设我有一些 Foo 的自定义集合s: struct Bar {} struct Foo { bar: Bar } struct SubList { contents: Vec, }
代码如下: fn inner(x:&'a i32, _y:&'b i32) -> &'b i32 { x } fn main() { let a = 1; { let b
在lifetime_things的定义中,'b的生命周期比'a长,但实际上当我调用这个函数时,x1比y1长,但是这样可以编译成功: //here you could see 'b:'a means
我正在尝试检索 FLTK-RS Widget 周围的 Arc Mutex 包装器的内部值: pub struct ArcWidget(Arc>); impl ArcWidget{ pub
如下代码所示,我想封装一个定时函数,返回一个闭包的结果和执行时间。 use tap::prelude::Pipe; use std::time::{Instant, Duration}; pub fn
我想实现自己的通用容器,这是我正在使用的特征的片段: pub trait MyVec where Self: Default + Clone + IntoIterator, Self:
所需代码: 注释掉的块可以编译并工作,但是我想从嵌套的匹配样式转变为更简洁的函数链 async fn ws_req_resp(msg: String, conn: PgConn) -> Result>
我正在尝试编写一些代码,该代码将生成具有随机值的随机结构。对于结构,我具有以下特征和帮助程序宏: use rand::{thread_rng, Rng}; use std::fmt; pub trai
我有一个带有函数成员的结构: struct Foo { fun: Box, } type FooI = Foo; 这不起作用: error[E0106]: missing lifetime s
我是一名优秀的程序员,十分优秀!