[問題] 為什麼CRTP+variant還是比virtual快很多

看板C_and_CPP作者 (nooooooooooooooooooo)時間5年前 (2020/01/02 04:28), 編輯推噓1(1推 0噓 18→)
留言19則, 4人參與, 5年前最新討論串1/2 (看更多)
一開始是看到這篇2013的文章 https://eli.thegreenplace.net/2013/12/05/ the-cost-of-dynamic-virtual-calls-vs-static-crtp-dispatch-in-c/ 短: https://reurl.cc/M75jGK 裡面只用一個CRTP impl 所以compiler可以直接inline 但是我實際用到virtual是像這樣 集中一堆ABC然後全呼叫一遍: vector<ABC*> bases; for(auto& it : bases) it->virtual_func(); 改成CRTP的寫法大概像這樣: https://godbolt.org/z/LygFKT 我的想像是 visit時不是應該也要先看實際型別是甚麼 再呼叫相對應函數嗎 這跟vtable的行為很像吧 為什麼量測時間 CRTP還是比virtual快了5~7倍? (i5 7400 + vs2019) 我的程度看組語或是看variant header都很痛苦 所以來洗耳恭聽大大的教訓 感恩 -- ※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 60.248.183.174 (臺灣) ※ 文章網址: https://www.ptt.cc/bbs/C_and_CPP/M.1577939284.A.9A6.html
→
01/02 21:04, 5年前 , 1F
Vvistor 裡的那個 for loop 被優化掉了，155 行的沒有
01/02 21:04, 1F
→
01/02 21:07, 5年前 , 2F
01/02 21:07, 2F
→
01/02 21:07, 5年前 , 3F
ant/ <- 我覺得介紹的不錯
01/02 21:07, 3F
→
01/02 23:09, 5年前 , 4F
variant 做的事情就是用 type code 判斷然後再轉型,
01/02 23:09, 4F
→
01/02 23:09, 5年前 , 5F
而轉型後實際上呼叫的函式是在編譯時期就選好的, 你
01/02 23:09, 5F
→
01/02 23:09, 5年前 , 6F
可以自己用 union + type code 實作看看
01/02 23:09, 6F
推
01/03 04:51, 5年前 , 7F
CRTP 的「基類」並不是單一個類, 而是每個子類都有一個基類
01/03 04:51, 7F
→
01/03 04:51, 5年前 , 8F
也因此雖然看起來同一段程式碼被很多不同子類呼叫
01/03 04:51, 8F
→
01/03 04:52, 5年前 , 9F
但因為基類是模版的關係, 每個基類是分開的
01/03 04:52, 9F
→
01/03 04:52, 5年前 , 10F
這個基類在呼叫子類方法時會確定知道自己負責什麼子類
01/03 04:52, 10F
→
01/03 04:53, 5年前 , 11F
(藉由 CRTP 繼承時給的模版參數, 所以也是編譯期就確定的)
01/03 04:53, 11F
→
01/03 04:53, 5年前 , 12F
因此可以省去執行所有判斷子類的操作 (如 vtable 等)
01/03 04:53, 12F
→
01/03 04:56, 5年前 , 13F
甚至因為子類型態確定, 呼叫當下的所需要的繼承相關操作
01/03 04:56, 13F
→
01/03 04:56, 5年前 , 14F
僅僅只有為求得子類實體的 downcast 而已
01/03 04:56, 14F
→
01/03 04:59, 5年前 , 15F
這個 downcast 也因為是 static_cast 基本上沒有判斷操作
01/03 04:59, 15F
→
01/03 05:01, 5年前 , 16F
簡單說就是, 藉由模版把子類型態判斷變成編譯器的模版選擇
01/03 05:01, 16F
→
01/07 01:47, 5年前 , 17F
請問個蠢問題...為什麼tick() function沒有name hiding的
01/07 01:47, 17F
→
01/07 01:47, 5年前 , 18F
問題阿? 謝謝~
01/07 01:47, 18F
→
01/07 01:54, 5年前 , 19F
有時會被要求compiler warning要全修...
01/07 01:54, 19F
‣ 更多 ab4daa 的文章
文章代碼(AID): #1U3N5Kcc (C_and_CPP)
‣ 更多 ab4daa 的文章
文章代碼(AID): #1U3N5Kcc (C_and_CPP)