c++静态编译多态

静态联编多态

• 函数重载
  • 自由函数
  • 类成员函数
• 函数模板
• 类模板

重载

类模板重载；编译时根据重载决议规则，判断决定使用具体哪个模板

  /// is_array 
 template<typename>     
 struct is_array     : public false_type { };   
 
 template<typename _Tp, std::size_t _Size>     
 struct is_array<_Tp[_Size]>     : public true_type { };   
     
template<typename _Tp>     
struct is_array<_Tp[]>     : public true_type { };

type_traits

萃取

• 问题，为啥继承自enable_shared_from_this的类，重载决议时会使用1373行的类模板？而不是1369行的？

STL也只是一个库而已，对于c++，和第三方库没有本质区别