C++中使用约束(Imperfect C++ 读书笔记)

此文版权属于作者智勇，任何人、媒体或者网站转载、借用都必须征得作者本人同意

---

编译期契约：约束

• must_have_base() 必须继承自
   
  template < typename D, typename B >
  struct  must_have_base
  {
     ~ must_have_base()
    {
       void  ( * p)(D * , B * )  =  constraints;
    }
  private :
     static   void  constraints(D *  pd, B *  pb