我可以实现一个将信息添加到Rust中的外部类型的特征吗?

时间:2017-11-18 08:51:13

标签: rust traits

我刚刚实现了一个简单的特性来保存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),有效地处理了变量所采用的值的一些信息?

2 个答案:

答案 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