- html - 出于某种原因,IE8 对我的 Sass 文件中继承的 html5 CSS 不友好?
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景?
以下函数对于 NLL 工作正常
fn main() {
let mut x = 1i32;
let mut y = &mut x;
let z = &mut y;
*y = 12;
}
但是,如果我用函数调用(基本上做同样的事情)替换语句 let z = &mut y
,借用检查器会提示。
fn test<'a>(x:&'a mut &'a mut i32) -> &'a mut i32 {
&mut **x
}
fn main() {
let mut x = 1i32;
let mut y = &mut x;
let z = test(&mut y);
*y = 12;
}
出现以下错误:
error[E0506]: cannot assign to `*y` because it is borrowed
--> src/main.rs:11:5
|
9 | let z = test(&mut y);
| ------ borrow of `*y` occurs here
10 |
11 | *y = 12;
| ^^^^^^^
| |
| assignment to borrowed `*y` occurs here
| borrow later used here
函数 test()
返回的引用已经不再使用了,所以它不应该被认为是“死的”吗?
最佳答案
让我们为程序中的生命周期命名。 (这不会编译,但用于演示目的。)
在您的第一个示例中,我们有两个生命周期,'1
和 '2
。生命周期 '2
只持续一行,所以 y
可以在以后使用:
fn main() {
let mut x = 1i32; //
let mut y = &'1 mut x; // ^
// |
let z = &'2 mut y; // |'2 |'1
// |
*y = 12; // v
}
在第二个示例中,因为 test
需要 &'a mut &'a mut i32
其中 'a
表示相同的生命周期,所以外部引用必须与内部引用一样长。这就是我们收到错误的原因:
fn test<'a>(x:&'a mut &'a mut i32) -> &'a mut i32 {
&mut **x
}
fn main() {
let mut x = 1i32; //
let mut y = &'1 mut x; // ^
// |
let z = test(&'2 mut y); // |'2 |'1
// | |
*y = 12; // v v
}
但是,如果我们给 test
两个不同的生命周期,代码现在可以正常编译,因为我们回到了与第一个示例相同的情况:
fn test<'a, 'b>(x:&'a mut &'b mut i32) -> &'a mut i32 {
&mut **x
}
fn main() {
let mut x = 1i32; //
let mut y = &'1 mut x; // ^
// |
let z = test(&'2 mut y); // |'2 |'1
// |
*y = 12; // v
}
关于rust - 调用返回引用的函数时了解非词法生命周期,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/61303259/
我试图了解传递给 setTimeout 的箭头函数如何记住上一个执行上下文中的 this 的值。我知道在执行箭头函数时会使用词法作用域规则查找 this 值。这是否意味着箭头函数关闭变量和 this
这个问题已经有答案了: How does the "this" keyword in Javascript act within an object literal? [duplicate] (4 个
我已阅读 this问题,我想我已经理解了投票最多的答案,但他说 since basically every programming language in wide use today uses le
如何让这段宏发挥预期的作用? -- 我想从词法环境中捕获 p 而不必将其作为参数发送给宏。 (define-syntax-rule (fi a b) (if p a b)) ;--->capt
Program A() { x, y, z: integer; procedure B() { y: integer; y=0;
我正在用 Java 实现自己的链表。节点类只有一个名为“name”的字符串字段和一个名为“link”的节点。现在我有一个测试驱动程序类,它只按顺序插入几个名字。现在,我正在尝试编写一种排序方法来按字母
考虑到这个question SO,其中调用了整个 C# 内存中编译器。只有lexical and syntactic analyzing时是必需的:将文本解析为词素流,检查它们并退出。 在System
我有 2 个场景。 这失败了: class F { public X X { get; set; } } 错误 CS0102:类型“F” ' 已经包含 ' X 的定义| ' 这个有效: class
我有一个用 NodeJS 执行的 .js 文件。这是我的文件的内容: var ctry = "America"; function outer(msg) { console.log(msg +
我对编写汇编程序的概念非常陌生,即使在阅读了大量 Material 之后,我仍然很难理解几个概念。 将源文件实际分解为 token 的过程是什么?我相信这个过程称为词法分析,我已经到处搜索有意义的真实
在 static scoping,标识符可以通过分析/解析源代码来确定(与动态作用域不同,动态作用域或多或少需要了解调用者环境)。 我的问题是这样的,因为静态作用域只需要解析源代码以了解作用域和标识符
编辑:我在第一个答案后更改了示例代码,因为我想出了一个简单的版本来回避相同的问题。 我目前正在学习 Common Lisp 的作用域属性。在我认为我有一个坚实的理解之后,我决定编写一些我可以预测结果的
考虑这段代码: class Bar(object): pass class Foo(object): def bar(self): return Bar() f = Foo() def Bar
将 ES6 箭头函数与词法 this 绑定(bind)结合使用非常棒。 但是,我刚才在使用典型的 jQuery 单击绑定(bind)时遇到了一个问题: class Game { foo() {
将 ES6 箭头函数与词法 this 绑定(bind)结合使用非常好。 但是,我刚才在将它与典型的 jQuery 点击绑定(bind)一起使用时遇到了一个问题: class Game { foo(
我是一名优秀的程序员,十分优秀!