oo 是纯粹靠直觉设计出来的东西,这套东西跟学院派的 functional programming 比起来就是渣渣。
fp 很重要的一个概念就是 immutable,无数 bug 都是因为数据的变动产生的。oo 最大的问题就是,你调用一个方法,不知道数据会不会变化;传一个对象给一个函数,不知道会不会被修改。rust 解决数据被无意修改的问题的思路就是引入 ownership,这与 oo 的设计是格格不入的。
另外就是,zero-cost abstraction 在 oo 条件下很难实现,因为编译期很难确定数据有没有变化(无法保证 immutable),具体哪个函数被调用了(需要在运行期查虚函数表)。
oo 还附带着一个非常糟糕工程方面的问题:banana-monkey-jungle 问题。你只想要重用一个非常小的功能(香蕉),结果却不得不引入整个框架(丛林),因为香蕉涉及到猴子类,而猴子的方法把整个丛林都扯进来了。
【 在 threebird (飞剑仙朱亮) 的大作中提到: 】
: 难道面向对象是错的?
--
FROM 115.188.128.*