我刚刚实现了一个简单的特性来保存struct属性的历史记录:
fn main() {
let mut weight = Weight::new(2);
weight.set(3);
weight.set(5);
println!("Current weight: {}. History: {:?}", weight.value, weight.history);
}
trait History<T: Copy> {
fn set(&mut self, value: T);
fn history(&self) -> &Vec<T>;
}
impl History<u32> for Weight {
fn set(&mut self, value: u32) {
self.history.push(self.value);
self.value = value;
}
fn history(&self) -> &Vec<u32> {
&self.history
}
}
pub struct Weight {
value: u32,
history: Vec<u32>,
}
impl Weight {
fn new(value: u32) -> Weight {
Weight {
value,
history: Vec::new(),
}
}
}
我不希望这是可能的,但您可以将History
特征(或类似的东西)添加到尚未拥有history
属性的内容(例如{ {1}}或u32
),有效地处理了变量所采用的值的一些信息?
答案 0 :(得分:3)
没有。特征无法将数据成员添加到现有结构中。实际上,只有程序员才能通过修改结构的定义来做到这一点。包装结构或散列表是可行的方法。
答案 1 :(得分:2)
不,特征只能包含行为,而不能包含数据。但你可以制作一个结构。
如果您可以为History
实施u32
,则必须无限期地保留每个 u32
对象的整个历史记录,以防有一天某人决定打电话给.history()
。 (另外,当你将一个u32
分配给另一个时会发生什么?它的历史记录是否附带它,或者新值是否只是添加到列表中?)
相反,您可能希望能够标记特定的 u32
对象以保留历史记录。正如red75prime's answer建议的那样,包装器结构将起作用:
mod hist {
use std::mem;
pub struct History<T> {
value: T,
history: Vec<T>,
}
impl<T> History<T> {
pub fn new(value: T) -> Self {
History {
value,
history: Vec::new(),
}
}
pub fn set(&mut self, value: T) {
self.history.push(mem::replace(&mut self.value, value));
}
pub fn get(&self) -> T
where
T: Copy,
{
self.value
}
pub fn history(&self) -> &[T] {
&self.history
}
}
}
它是通用的,因此您可以拥有History<u32>
或History<String>
或任何您想要的内容,但只有在包装类型为get()
时才会实现Copy
方法。 *您的Weight
类型可能只是History<u32>
的别名。 Here it is in the playground.
将此代码包装在模块中是维护抽象的必要部分。这意味着您无法撰写weight.value
,您必须致电weight.get()
。如果value
被标记为pub
,您可以直接分配到weight.value
(绕过set
),然后history
将不准确。
作为附注,当您&Vec<T>
时,almost never想要&[T]
,所以我更改了history()
的签名。您可能会考虑的另一件事是返回迭代器而不是先前的值(可能是相反的顺序)而不是切片。
*从[{1}}中获取T
的更好方法是实施History<T>
并撰写Deref
而不是*foo
。