作者lovejomi (JOMI)
看板C_and_CPP
標題[問題] 什麼時候用 static_cast 而不是dynamic?
時間Sun Feb 24 23:19:23 2019
dynamic_cast跟static_cast 對於下轉的差異我基本上了解
但是
基於這個
http://tinyurl.com/y49guge8
https://clang.llvm.org/extra/clang-tidy/checks/cppcoreguidelines-pro-type-static-cast-downcast.html
我看到同事因為這樣而把所有static_cast 全部改成dynamic_cast
導致必須加上 try catch(){ 這邊還補上了assert(false) 強調這件事不該發生}
我想問的是
既然static_cast就是對於下轉 不安全
1. 我有什麼情況下該用(較好)static 而不是dynamic_cast呢?
如果有安全的我幹嘛要用static_cast? 想知道有什麼理由反倒static_cast是更被接受的
https://ideone.com/vam3fi
2. 實際在寫產品的時候
什麼時候"不會" 把base class的 解構子 加上 virtual?
我不能阻止寫code的人 一定不能寫Base* = Derived;
所以一定會補上virtual destructor 來有備無患
但這樣變成 只要不是final class 我解構子都該冠上virtual?
謝謝
--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 27.52.3.23
※ 文章網址: https://webptt.com/m.aspx?n=bbs/C_and_CPP/M.1551021569.A.F0C.html
1F：→ loveme00835: 1. 差別在於需不需要 RTTI, 你要放 ref type 在角括 02/24 23:38
2F：→ loveme00835: 裡, 當然就要加上 try-catch, 但指標轉型只要檢查回 02/24 23:39
3F：→ loveme00835: 傳是不是 nullptr. 2. 你的 class "可以當" base 的 02/24 23:41
4F：→ loveme00835: 時候, 就會透過 virtual dtor 和使用者講這件事, 不 02/24 23:41
5F：→ loveme00835: 然頂多只能當 private base, 這算是一個協定, 懶得寫 02/24 23:42
6F：→ loveme00835: 空的 virtual dtor 就用 = default 02/24 23:42
7F：→ loveme00835: 除非是想透過 dynamic polymorphism 來擴充功能, 這 02/24 23:44
8F：→ loveme00835: 意味著你的 base 裡有 pure virtual function, 不然 02/24 23:45
9F：→ loveme00835: 不太需要這樣寫 02/24 23:46
10F：→ loveme00835: 另外講一個設計問題, 通常 dynamic_cast 變多表示你 02/24 23:56
11F：→ loveme00835: 的設計需要再重新檢視一下, 常見的現象是新增一個類 02/24 23:57
12F：→ loveme00835: 別要改好多地方, 而這些地方都用了 dynamic_cast 02/24 23:57
13F：→ loveme00835: static_cast 和 dynamic_cast 有各自的角色, 你會取 02/25 00:00
14F：→ loveme00835: 捨表示還不清楚界線在哪 02/25 00:00
15F：→ bluesoul: 只要有多型就該用dynamic cast 02/25 09:09
16F：→ bluesoul: 2的話，簡單說是，都加，不然就是用final 02/25 09:09
17F：→ lovejomi: @loveme: 1. 我比較不懂的是 static_cast不安全 02/25 22:27
18F：→ lovejomi: 既然有安全的 為什麼不用(就算有RTTI又怎樣?) 02/25 22:27
19F：→ lovejomi: 我知道好像可以compile option disable RTTI 但如果 02/25 22:27
20F：→ lovejomi: enable的情況下, 會想刻意不用RTTI嗎? 02/25 22:28
21F：→ lovejomi: 順帶一問 實務上auto&& = xx; 什麼時候會用auto&&? 02/25 22:29
22F：→ lovejomi: 目前想不到use case 02/25 22:29
23F：→ loveme00835: 所謂的「不安全」指的是「你以爲你知道你在做什麼； 02/25 22:57
24F：→ loveme00835: 實際上卻不是」，而不是「某些東西就是禁忌，用了就 02/25 22:57
25F：→ loveme00835: 是不對」。舉個例子如 LLVM 的 RTTI。auto&& 使用的 02/25 22:57
26F：→ loveme00835: 情境有兩種：作為 r-value ref 或是 forwarding ref, 02/25 22:57
27F：→ loveme00835: 前者用來延長物件 lifetime, 後者保留 arg 值的類型 02/25 22:57
28F：→ loveme00835: 簡單說在你熟悉語言特性以前，寫的每一行都可能不安 02/25 23:15
29F：→ loveme00835: 全 02/25 23:15
30F：推 steve1012: rtti 比較expensive. 然後code裡面一堆dynamic cast 02/26 06:39
31F：→ steve1012: 的確代表你的設計可能很有問題 02/26 06:39
32F：→ loveme00835: 更正: auto&& 都會用於推導型別, 沒有特指 r-value 02/26 09:04
33F：→ loveme00835: 的情形 02/26 09:04
34F：→ lovejomi: auto&&會怎麼樣我很清楚 但我發現沒有使用他的情境 才 02/26 09:33
35F：→ lovejomi: 請教再下一篇 02/26 09:33
36F：→ lovejomi: 想知道有什麼情境用他是最好的 @@ 02/26 09:34
37F：→ lovejomi: 另外clang tidy因為有warning，所以再想到底該不該修正 02/26 09:43
38F：→ lovejomi: 這些東西 02/26 09:43
39F：→ lovejomi: clang應該跟你說的llvm rtti有關係吧 02/26 09:44