- html - 出于某种原因,IE8 对我的 Sass 文件中继承的 html5 CSS 不友好?
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景?
我正在使用 HashMap
,但在如何“释放” HashMap
的可变借项时遇到了绊脚石,却找不到如何执行此操作的良好解释。
这仅是示例,其目的不是“解决问题”,而是了解如何完成此任务和/或为什么不应该这样做。
该示例由一个HashMap
组成,其中存储了一些简单的Record
:
type Map = HashMap<String, Record>;
pub struct Record {
pub count: u32,
pub name: String,
}
impl Record {
fn new<S: Into<String>>(name: S) -> Record {
Record { name: name.into(), count: 0 }
}
pub fn add<'a>(&'a mut self, inc: u32) -> &'a mut Record {
self.count += inc;
self
}
}
add
函数在记录中具有可变函数,但这里并不是真正的罪魁祸首。
Record
中对
HashMap
的引用,以便我们可以就地对其进行修改。除此之外,我们希望能够控制返回的引用,以便我们可以做一些副作用(对于本示例,假设我们要打印出正在发生的事情就足够了,但是可能处理统计数据和/或访问其他存储或进行延迟评估的其他操作)。为了解决这个问题,我们引入了
Handle
结构,该结构保留对
Record
的引用以及对记录来自的
HashMap
的引用。
pub struct Handle<'a> {
map: &'a Map,
record: &'a Record,
}
impl<'a> Handle<'a> {
fn new(record: &'a Record, map: &'a Map) -> Handle<'a> {
println!("Retrieving record");
Handle { record: record, map: map }
}
fn mut_record(&mut self) -> &mut Record {
println!("Modifying record");
self.record
}
}
HashMap
的不可变借用就可以了,因此不应该对
HashMap
进行任何修改。
Handle
只是临时的,我们希望可以大致使用它:
let mut map = HashMap::new();
let foo = get_or_insert(&mut map, "foo");
foo.mut_record().do_something(|record| record.add(3))
get_or_insert
的第一个实现是这样的:
pub fn get_or_insert<'a, S>(map: &'a mut Map, name: S) -> Handle<'a>
where S: Into<String>
{
let key = name.into();
let record = map.entry(key.clone()).or_insert(Record::new(key));
Handle::new(record, map)
}
error[E0502]: cannot borrow `*map` as immutable because it is also borrowed as mutable
--> hashmap.rs:65:29
|
64 | let record = map.entry(key.clone()).or_insert(Record::new(key));
| --- mutable borrow occurs here
65 | Handle::new(record, map)
| ^^^ immutable borrow occurs here
66 | }
| - mutable borrow ends here
HashMap
有两个引用,第一个是可变借项。我们需要“释放” map 的第一个可变借位,然后才能获取不变的借位。我试图以这种方式编写代码,并在第一个可变借位周围添加了一个作用域,期望当作用域结束时它会被“释放”:
pub fn get_or_insert<'a, S>(map: &'a mut Map, name: S) -> Handle<'a>
where S: Into<String>
{
let key = name.into();
let record = {
map.entry(key.clone()).or_insert(Record::new(key))
};
Handle::new(record, map)
}
Handle
,以便
Handle
的生存期不超过
HashMap
的生存期,并在编译时捕获它?我正在寻找一种创建
Handle
的好方法,
Handle
作为实现提供的抽象,抽象出对底层存储的访问。 RefCell
和Rc
丧失资格。 RefCell
,但这将检查从编译时移到了运行时,并且能够在编译时捕获
Handle
的滥用将是有益的。
UnsafeCell
,它可以解决检查而不是解决问题。
最佳答案
在这行上:
let record = map.entry(key.clone()).or_insert(Record::new(key));
record
的类型为
&'a mut Record
,因为
or_insert
返回对存储在
HashMap
中的值的可变引用。这样可以保持对
map
的借用处于 Activity 状态;这就是为什么您得到错误。
get
查找值,以获得不可变的借位。
pub fn get_or_insert<'a, S>(map: &'a mut Map, name: S) -> Handle<'a>
where S: Into<String>
{
let key = name.into();
map.entry(key.clone()).or_insert(Record::new(key.clone()));
let record = map.get(&key).unwrap();
Handle::new(record, map)
}
Handle::mut_record
;
Handle
仅具有对 map 和记录的不变引用,并且您不能使用这些引用获得对记录的可变引用。
关于hashmap - 对包含引用的临时值强制执行生存期,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/43649480/
这个问题在这里已经有了答案: 关闭 10 年前。 Possible Duplicate: template pass by value or const reference or…? 以下对于将函数
我用相同的参数列表重载了一个运算符两次。但返回类型不同: T& operator()(par_list){blablabla} const T& operator()(par_list){bla
假设我有实现接口(interface) I 的 Activity A。我的 ViewModel 类 (VM) 持有对实现接口(interface) I 的对象的引用: class A extends
PHP 如何解释 &$this ?为什么允许? 我遇到了以下问题,这看起来像是 PHP 7.1 和 7.2 中的错误。它与 &$this 引用和跨命名空间调用以及 call_user_func_arr
谁能解释一下下面“&”的作用: class TEST { } $abc =& new TEST(); 我知道这是引用。但是有人可以说明我为什么以及什么时候需要这样的东西吗?或者给我指向一个对此有很好解
引用变量是一个别名,也就是说,它是某个已存在变量的另一个名字。一旦把引用初始化为某个变量,就可以使用该引用名称或变量名称来指向变量。 C++ 引用 vs 指针 引用很容易与指针混淆,它们之间有三
目录 引言 背景 结论 引言 我选择写C++中的引用是因为我感觉大多数人误解了引用。而我之所以有这个感受是因为我主持过很多C++的面试,并且我很少
Perl 中的引用是指一个标量类型可以指向变量、数组、哈希表(也叫关联数组)甚至函数,可以应用在程序的任何地方 创建引用 定义变量的时候,在变量名前面加个 \,就得到了这个变量的一个引用 $sc
我编写了一个将从主脚本加载的 Perl 模块。该模块使用在主脚本中定义的子程序(我不是维护者)。 对于主脚本中的一个子例程,需要扩展,但我不想修补主脚本。相反,我想覆盖我的模块中的函数并保存对原始子例
我花了几个小时试图掌握 F# Quotations,但我遇到了一些障碍。我的要求是从可区分的联合类型中取出简单的函数(只是整数、+、-、/、*)并生成一个表达式树,最终将用于生成 C 代码。我知道使用
很多时候,问题(尤其是那些标记为 regex 的问题)询问验证密码的方法。似乎用户通常会寻求密码验证方法,包括确保密码包含特定字符、匹配特定模式和/或遵守最少字符数。这篇文章旨在帮助用户找到合适的密码
我想通过 MIN 函数内的地址(例如,C800)引用包含文本的最后一个单元格。你能帮忙吗? Sub Set_Formula() ' ----------------------------- Dim
使用常规的 for 循环,我可以做类似的事情: for (let i = 0; i < objects.length; i++) { delete objects[i]; } 常规的 for-
在 Cucumber 中,您定义了定义 BDD 语法的步骤;例如,您的测试可能有: When I navigate to step 3 然后你可以定义一个步骤: When /^I navigate t
这是什么UnaryExpression的目的,以及应该怎样使用? 最佳答案 它需要一个 Expression对象并用另一个 Expression 包裹它.例如,如果您有一个用于 lambda 的表达式
给出以下内容 $("#identifier div:first, #idetifier2").fadeOut(300,function() { // I need to reference jus
我不知道我要找的东西的正确术语,但我要找的是一个完整的引用,可以放在双引号之间的语句,比如 *, node()、@* 以及所有列出的 here加上任何其他存在的。 我链接到的答案提供了一些细节,但还
This question's answers are a community effort。编辑现有答案以改善此职位。它当前不接受新的答案或互动。 这是什么? 这是常见问答的集合。这也是一个社区Wi
Closed. This question does not meet Stack Overflow guidelines。它当前不接受答案。 想改善这个问题吗?更新问题,以便将其作为on-topic
考虑下一个代码: fn get_ref(slice: &'a Vec, f: fn(&'a Vec) -> R) -> R where R: 'a, { f(slice) } fn m
我是一名优秀的程序员,十分优秀!