※ 引述《empireisme (empireisme)》之铭言:
: 请问多型的用途是?
ㄛ现在ㄉ想法4 没有多型 只有接口
多型的用例之一
for(auto p_actor : actors)
p_actor->act()
对ㄛ来缩 p_actor实际上到底是什么 并不重要
我只要知道他是actor会act就好
他有可能是warrior也可能是wizard, but i don't care
那么写久了 你就会看到一些反模式
if(auto p_wizard = dynamic_cast<Wizard>(p_actor))
p_wizard->cast_spell()
或者是
virtual void act() override {assert(false); /*not support*/}
前者的问题在于 就算有一种方法能让dynamic_cast的效能神快
这个代码却涉及了对Wizard的知识 代表在统一处理actor的片段中多了一个特例
后者的问题在于 所有actor都应该要能act 为什么你不支援
有可能是一个程式设计师只想要base class的特定功能 又懒得自己开一个新的
然后class越来越肥 可能大家都看过惹
这就是为什么java标榜他只能单一继承 然后又特例独行搞了个implement interface
其实就是变向要你做到粒度 不然你会越写越屎
所以缩 如果你只是要接口 为什么不用template
template对许多不熟悉c++的工程师来说陌生
而且ide支援度不高 所以说c++ 20的concept真是好用
结合继承的优点 又兼容了接口ㄉ弹性 那就是policy
就算不用policy 也可以用component的pattern
再不然 你也可以用pure abstract class来引入interface的风格
最后 现在go跟rust的interface跟trait 其实讲的就是这件事
因为比起继承还是多型啥的玩意儿 其实大家最关注的还是接口跟行为