C type traits實現原理

2021-09-19 15:39:46 字數 1472 閱讀 4765

以 is_void 為例分析，源**選擇vs2017庫檔案

#include


#include


intmain()
檢視is_void原始碼為：

template


<


class


_ty>


struct is_void


: false_type ;


#define _is_void(cv_opt) \


template<> \


struct is_void\


: true_type \ ;


_class_define_cv


(_is_void)


#undef _is_void
即為：特化模板引數，void是繼承自true_type,否則繼承自false_type，有點思路了，但是這兩者是什麼呢？

// alias template bool_constant


template


<


bool _val>


using bool_constant = integral_constant<


bool


, _val>


;using true_type = bool_constant<


true


>


;using false_type = bool_constant<


false


>


;
繼續刨根問底到integral_constant：

template


<


class


_ty,_ty _val>


struct integral_constant


_nodiscard constexpr value_type operator()


()const


noexcept


};
這裡面static constexpr _ty value = _val;顯而易見的定義了乙個靜態的bool型別變數，這時候再看到，恍然大悟。

template


<


bool _val>


using bool_constant = integral_constant<


bool


, _val>


;using true_type = bool_constant<


true


>


;using false_type = bool_constant<


false


>


;
總之，就是使用模板程式設計和繼承的技巧，在編譯器實現了這樣的效果。

kvo實現原理 KVC KVO實現原理

一 kvc運用了乙個isa swizzling技術。isa swizzling就是型別混合指標機制。kvc主要通過isa swizzling，來實現其內部查詢定位的。isa指標，如其名稱所指，就是is a kind of的意思 指向維護分發表的物件的類。該分發表實際上包含了指向實現類中的方法的指標，...

實現原理 Vuex的實現原理

你知道vuex如何工作的嗎？先來看下圖了解下 了解圖之後看來下 的實現原理吧 let vue class store this.mutations this.actions this.vm new vue const options if getters if mutations if action...

afn原理 ios iOS AFN實現原理

nsurlsessiondatatask datataskwithrequest nsurlrequest request completionhandler void nsurlresponse response,id responseobject,nserror error completion...