※ 引述《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 其實講的就是這件事
因為比起繼承還是多型啥的玩意兒 其實大家最關注的還是介面跟行為