很可惜,出于一些理由,rust抛弃了OOP的核心特性之一:继承
其中一个理由应该是至关重要的,但是解释的比较模糊:继承增加了复杂性
的确,继承会让rust编译器变得更加复杂。rust编译器虽然足够体贴,但是它偏慢的编译速度也是很多人所吐槽的。
在我对rust编译了解更多之前,我对这个理由无法给出更加详细的描述,不过我能够理解。 说实话,编写这样的编译器已经足够复杂,如果还要
考虑到继承,大概这种复杂度会让编译器开发者崩溃。
至于其它的理由,例如认为组合足够好用,我觉得有些牵强了!
总之,rust对oop的支持主要体现在封装和多态。
而所谓的封装,在rust中主要体现在类似java对象的类型:struct,enum中,尤其是struct。
在rust中,struct的地位类似于java的Object。
所谓的多态,主要体现在特质(trait),这个时候的特质就类似于java,c++的接口(interface)
只不过,rust的这个特质是java的接口的阉割版本。
rust的特质作为接口存在的时候,只有以下两个功能:
- 没有实现的方法定义
- 具有默认实现的方法,类似java接口的默认函数.但是后者的默认函数,有静态,私有,默认私有等四种,这是因为前者没有继承的缘故
闲言少叙,总之rust对oop的支持大概就是这样了。
一、简单示例
animals.rs
pub mod animals{ pub trait Animal{ fn eat(&self,food:&String); fn run(&self); fn sleep(&mut self); fn is_wakeup(&self)->bool; fn wakeup(&mut self); } pub struct Dog{ name:String, state:bool } impl Dog{ pub fn new(name:String)->Self{ Dog{name,state:true} } } impl Animal for Dog{ fn eat(&self,food:&String){ if !self.is_wakeup(){ println!("{} 正在睡觉...请不要打扰我,等醒了再吃",self.name); return; } if food=="骨头"{ println!("{} 正在吃{}",self.name,food); } else{ println!("{} 不吃{}",self.name,food); } } fn run(&self){ if !self.is_wakeup(){ println!("{} 正在睡觉...请不要打扰我,等醒了再跑",self.name); return; } println!("{} is running",self.name); } fn sleep(&mut self){ println!("{} is sleeping",self.name); self.state=false; } fn is_wakeup(&self)->bool{ self.state } fn wakeup(&mut self){ println!("{} 起来!",self.name); self.state=true; } } pub struct Cat{ name:String, state:bool } impl Cat{ pub fn new(name:String)->Self{ Cat{name,state:true} } } impl Animal for Cat{ fn eat(&self,food:&String){ if !self.is_wakeup(){ println!("{} 正在睡觉...",self.name); return; } if food=="鱼"{ println!("{} 正在吃{}",self.name,food); }else{ println!("{} 不吃{}",self.name,food); } } fn run(&self){ if !self.is_wakeup(){ println!("{} 正在睡觉...请不要打扰我,等醒了再跑",self.name); return; } println!("{} is running",self.name); } fn sleep(&mut self){ println!("{} is sleeping",self.name); self.state=false; } fn is_wakeup(&self)->bool{ self.state } fn wakeup(&mut self){ println!("{} 起来!",self.name); self.state=true; } } }
main.rs
mod animals; use animals::animals::{Animal, Dog, Cat}; fn main(){ let mut dog= Dog::new(String::from("小虎")); let mut cat= Cat::new(String::from("小白")); dog.run(); cat.run(); dog.sleep(); cat.sleep(); dog.run(); cat.run(); // dog.wakeup(); cat.wakeup(); let fish=String::from("骨头"); dog.eat(&fish); cat.eat(&fish); let bone=String::from("鱼"); dog.eat(&bone); cat.eat(&bone); }
测试下:
如果用上继承,那么is_wakeup函数完全不需要写两遍。
二、小结
总之,rust对于oop的支持主要体现两点:
- 封装-靠struct,enum
- 多态-通用类型+特质
也许某天,rust会把特质设计的更体贴(复杂),但可能性不是太大,盖因rustc已经足够复杂了。