C++ 11實現檢查是否存在特定的成員函數。本站提示廣大學習愛好者:(C++ 11實現檢查是否存在特定的成員函數)文章只能為提供參考,不一定能成為您想要的結果。以下是C++ 11實現檢查是否存在特定的成員函數正文
問題提出
最近工作中遇到這樣一個需求:實現一個ToString函數將類型T轉換到字符串,如果類型T中含有同名方法ToString則直接調用。
這樣一個ToString實現可以使用std::enable_if
來做到,但是這裡的難點在於如何判斷類型T中存在這樣一個ToString方法,以便可以放入enable_if中做SFINAE。
檢查類中是否存在特定成員
相同的問題在知乎上有人提出過,@孫明琦的答案提供了一個用於檢測特定檢測子U在類型T下是否有效的檢測器is_detected_v。其中用到了一個C++17的std::void_t
,考慮到目前C++17還沒得用,這個實現只作參考之用(事實上C++17自帶了一個這樣的檢測器,並不需要自己寫這樣的模板)。
經人提醒,我參考了下標准庫在實現swap上做的努力,看到了這樣的寫法:
namespace __swappable_details { using std::swap; struct __do_is_swappable_impl { template <typename _Tp, typename = decltype(swap(std::declval<_Tp&>(), std::declval<_Tp&>()))> static true_type __test(int); template <typename> static false_type __test(...); }; } template <typename _Tp> struct __is_swappable_impl : public __swappable_details::__do_is_swappable_impl { typedef decltype(__test<_Tp>(0)) type; }; template <typename _Tp> struct __is_swappable : public __is_swappable_impl<_Tp>::type {};
簡單分析可以看到__is_swappable
被用來檢查是否存在一個swap
函數接受T作為參數,很有趣的是__test
函數,如果存在swap函數滿足條件,那麼test(int)
這個重載版本就會被選中。而如果不滿足條件,因為推導失敗就剩下了test(…)這個版本。通過這一手段,再設置下返回值分別為true
和false
,就實現了這樣的一個檢測過程。
按圖索骥,檢查是否存在成員ToString的模板就可以這麼寫:
namespace details { struct HasMemberToStringValidator { template <typename T, typename = decltype(&T::ToString)> static std::true_type Test(int); template <typename> static std::false_type Test(...); }; } template <typename T> struct HasMemberToString : public decltype(details::HasMemberToStringValidator::Test<T>(0)) {};
HasMemberToString::value
就是T中是否存在該成員的計算結果。
檢測是否存在特定成員函數
但是上述代碼有個問題,如果類T中的ToString是個成員變量,上述檢測也會返回true。
解決這一問題的手段是去調用T::ToString
,如果這個ToString可以被調用並能生成返回值,就認為這是個成員函數(嚴謹的講,這個過程是確認T::ToString
是callable的,但是callable的玩意不一定就是成員函數,然而實際使用並不需要這樣細分)。
這裡的另一個問題是,因為ToString是成員函數,那麼decltype(T::ToString())
這種手段就行不通了,因為成員函數必須帶對象進行調用。既然必須要一個對象,那麼這裡的解決方法就是用上declval來產生一個對象,再用decltype獲取返回值類型。
按照這個思路,驗證過程被改動成:
struct HasMemberToStringValidator { template <typename T, typename U = typename std::decay<decltype(std::declval<T>().ToString())>::type, typename = typename std::enable_if<std::is_same<std::string, U>::value>::type> static std::true_type Test(int); template <typename> static std::false_type Test(...); };
這個升級版本除了能檢查是否存在成員函數ToString以外還對返回值做了限定,確保返回的是string。以此類推,還能檢查返回是否是u16string、u32string。
總結
以上就是這篇文章的全部內容了,希望本文的內容對大家的學習或者工作能帶來一定的幫助,如果有疑問大家可以留言交流,謝謝大家對的支持。