Rust newtype 惯用法
newtype 惯用法(译注:即为不同种类的数据分别定义新的类型)能保证在编译时,提供 给程序的都是正确的类型。
比如说,实现一个 “年龄认证” 函数,它要求输入必须是 Years 类型。
struct Years(i64); struct Days(i64); impl Years { pub fn to_days(&self) -> Days { Days(self.0 * 365) } } impl Days { /// 舍去不满一年的部分 pub fn to_years(&self) -> Years { Years(self.0 / 365) } } fn old_enough(age: &Years) -> bool { age.0 >= 18 } fn main() { let age = Years(5); let age_days = age.to_days(); println!("Old enough {}", old_enough(&age)); println!("Old enough {}", old_enough(&age_days.to_years())); // println!("Old enough {}", old_enough(&age_days)); }
取消最后一行的注释,就可以发现提供给 old_enough 的必须是 Years 类型。
“关联项”(associated item)指与多种类型的项有关的一组规则。它是 trait泛型的扩展,允许在 trait 内部定义新的项。一个这样的项就叫做一个关联类型。当 trait 对于实现了它的容器类型是泛型的,关 ...