尽管仔细阅读了文档,但我对它的含义感到困惑 &
和 *
Rust中的符号,更一般地说是什么是Rust引用。
在此示例中,它似乎类似于C ++引用(即,在使用时自动解除引用的地址):
fn main() {
let c: i32 = 5;
let rc = &c;
let next = rc + 1;
println!("{}", next); // 6
}
但是,以下代码的工作方式完全相同:
fn main() {
let c: i32 = 5;
let rc = &c;
let next = *rc + 1;
println!("{}", next); // 6
}
运用 *
在C ++中取消引用引用是不正确的。所以我想了解为什么这在Rust中是正确的。
到目前为止,我的理解是插入 *
在Rust参考之前取消引用它,但是 *
是隐式插入的,所以你不需要添加它(在C ++中,它是隐式插入的,如果你插入它,你会得到一个编译错误)。
但是,这样的东西不能编译:
fn main() {
let mut c: i32 = 5;
let mut next: i32 = 0;
{
let rc = &mut c;
next = rc + 1;
}
println!("{}", next);
}
error[E0369]: binary operation `+` cannot be applied to type `&mut i32`
--> src/main.rs:6:16
|
6 | next = rc + 1;
| ^^^^^^
|
= note: this is a reference to a type that `+` can be applied to; you need to dereference this variable once for this operation to work
= note: an implementation of `std::ops::Add` might be missing for `&mut i32`
但这有效:
fn main() {
let mut c: i32 = 5;
let mut next: i32 = 0;
{
let rc = &mut c;
next = *rc + 1;
}
println!("{}", next); // 6
}
似乎隐式解除引用(la C ++)对于不可变引用是正确的,但对于可变引用则不行。为什么是这样?
在C ++中使用*来取消引用引用是不正确的。所以我想了解为什么这在Rust中是正确的。
C ++中的引用与Rust中的引用不同。 Rust的引用与C ++的指针更接近(在使用中,而不是在语义上)。关于内存表示,Rust的引用通常只是一个指针,而C ++的引用应该是同一个对象的替代名称(因此没有内存表示)。
C ++指针和Rust引用之间的区别在于Rust的引用永远不会 NULL
从来没有未初始化,从不悬空。
该 Add
trait是针对以下对和所有其他数字原语实现的(请参阅doc页面的底部):
&i32
+ i32
i32
+ &i32
&i32
+ &i32
这只是std-lib开发人员实现的一个方便的事情。编译器可以弄清楚a &mut i32
可以在任何地方使用 &i32
可以使用,但这对于泛型不起作用(但是?),因此std-lib开发人员还需要实现 Add
以下组合的特征(以及所有原语的特征):
&mut i32
+ i32
i32
+ &mut i32
&mut i32
+ &mut i32
&mut i32
+ &i32
&i32
+ &mut i32
正如你所看到的那样,可能会失控。我相信将来会消失。在那之前,请注意最终以a为结局 &mut i32
并尝试在数学表达式中使用它。
在C ++中使用*来取消引用引用是不正确的。所以我想了解为什么这在Rust中是正确的。
C ++中的引用与Rust中的引用不同。 Rust的引用与C ++的指针更接近(在使用中,而不是在语义上)。关于内存表示,Rust的引用通常只是一个指针,而C ++的引用应该是同一个对象的替代名称(因此没有内存表示)。
C ++指针和Rust引用之间的区别在于Rust的引用永远不会 NULL
从来没有未初始化,从不悬空。
该 Add
trait是针对以下对和所有其他数字原语实现的(请参阅doc页面的底部):
&i32
+ i32
i32
+ &i32
&i32
+ &i32
这只是std-lib开发人员实现的一个方便的事情。编译器可以弄清楚a &mut i32
可以在任何地方使用 &i32
可以使用,但这对于泛型不起作用(但是?),因此std-lib开发人员还需要实现 Add
以下组合的特征(以及所有原语的特征):
&mut i32
+ i32
i32
+ &mut i32
&mut i32
+ &mut i32
&mut i32
+ &i32
&i32
+ &mut i32
正如你所看到的那样,可能会失控。我相信将来会消失。在那之前,请注意最终以a为结局 &mut i32
并尝试在数学表达式中使用它。
来自文档 std::ops::Add
:
impl<'a, 'b> Add<&'a i32> for &'b i32
impl<'a> Add<&'a i32> for i32
impl<'a> Add<i32> for &'a i32
impl Add<i32> for i32
似乎数字的二元+运算符是针对操作数的共享(但不是可变的)引用和操作数的拥有版本的组合实现的。它与自动解除引用无关。
这个答案适合那些寻找基础知识的人(例如来自谷歌)。
来自Rust的书 参考和借用:
fn main() {
let s1 = String::from("hello");
let len = calculate_length(&s1);
println!("The length of '{}' is {}.", s1, len);
}
fn calculate_length(s: &String) -> usize {
s.len()
}
这些&符号是引用,它们允许您在不取得其所有权的情况下引用某些值[即借款。
与使用引用相反 &
是 提领,这是通过解引用运算符完成的, *
。
一个基本的例子:
let x = 5;
let y = &x; //set y to a reference to x
assert_eq!(5, x);
assert_eq!(5, *y); // dereference y
如果我们试着写 assert_eq!(5, y);
相反,我们会得到一个编译错误 can't compare `{integer}` with `&{integer}`
。
(你可以阅读更多内容 智能指针章节。)
来自 方法语法:
Rust有一个叫做的功能 自动引用和解除引用。调用方法是Rust中具有此行为的少数几个地方之一。
以下是它的工作原理:当你用方法调用方法时 object.something()
,Rust自动添加 &
, &mut
, 要么 *
所以对象匹配方法的签名。换句话说,以下是相同的:
p1.distance(&p2);
(&p1).distance(&p2);