Daily Archives: April 7, 2020

後記：以下主要是展示template處理explicit bool operator的檢查所用的技巧，但其實真正要做cast檢查這樣檢查太瑣碎也不全面，可以透過std::is_constructible和std::is_convertible來處理，留待之後的文章整理 在C++中如果我們要知道物件轉成bool的值，可以直接用cast operator將型別轉成bool 例如 (bool)10.0 => true 但是像是 這段代碼顯然是無法通過編譯的(invalid cast from type ‘X’ to type ‘bool’)，因為X沒有定義bool轉型的函式 假如我們想要設計一個function GetBool 可以檢查物件是否可轉成bool ─ 如果可以轉型就返回轉型的bool value， 如果不能轉型就返回false 因為使用的型別事先未知，所以勢必要使用template，根據使用者呼叫的參數來決定回傳值。因此很直覺的可以想到應該可以這樣做： 但是這樣做有個問題 ─ 那就是前面提到的，有些類別型別不支援bool轉型(沒有實作bool operator) ，必須在compile time要分兩個function，一個是可以轉型的，一個是不能轉型的，可是要讓呼叫者自己分辨傳入的參數顯然不太方便，這時候可以透過template metaprogramming的一些技巧讓compiler在compile time自動推導處理 這邊展示的GetBool作法參考了 gcc libstdc++-v3的is_convertible的概念實作 ─ 透過helper class推導”type” … Continue reading →