使用 CRTP 的 C `is_base_of` 實作如何運作？

is_base_of 特徵的這種實作是如何運作的？

您提供的程式碼片段在 C 中實作了 is_base_of 特徵，它檢查一個類別是否從另一個類別繼承。它使用一種稱為“奇怪的重複模板模式”（CRTP）的技術。

它是如何工作的

Host 是一個模板類，它包裝派生類並提供訪問其運算符 B* 的方法功能。當我們想要檢查 B 是否是 D 的基底類別時，我們呼叫 is_base_of::value。

1. 檢查函數重載了兩個函數：

   • 靜態是檢查(D*, T)
   • 靜態否檢查(B *, int)
2. 主機由於使用者定義的轉換序列，可以轉換為 D* 和 B*。
3. 如果 B 是 D 的基數，則使用 Host 呼叫第一個檢查函數。轉換為 D* 和任意 T。如果轉換成功（即 D 繼承自 B），則檢查函數傳回 yes。
4. 如果 B 不是 D 的基，則呼叫第二個檢查函數與主機轉換為 B* 並指定 int 的值。如果轉換為 B* 成功（即 B 和 D 不相關），則檢查函數傳回 no。如果檢查函數傳回 a，則
5. is_base_of::value 設定為 true yes，否則為 false。

運算子 B* 中 const 關鍵字的重要性

運算子B* 必須是 const，否則在選擇呼叫哪個檢查函數時會產生歧義。透過 const 關鍵字，編譯器知道使用接受 B* const& 的檢查函數。

為什麼第一個檢查函數比較好？

第一個檢查函數更好，因為它使用了使用者- 定義從 D* 轉換為 B* 的轉換序列。這比第二個檢查函數更具體，後者使用使用者定義的轉換序列從 B* 轉換為 int。

以上是使用 CRTP 的 C `is_base_of` 實作如何運作？的詳細內容。更多資訊請關注PHP中文網其他相關文章！