关于boost中concept库的使用

aestheticscj

//我想定义类似下面的concept //c++伪码 //头文件中 template<typename T> struct MyConcept{ &nbsp;&nbsp;&nbsp;&nbsp;int fn1(void); &nbsp;&nbsp;&nbsp;&nbsp;double fn2(void); }; template<typename T> void fn(void){ &nbsp;&nbsp;&nbsp;&nbsp;BOOST_CONCEPT_ASSERT((MyConcept<T>)) } struct Impl1{ &nbsp;&nbsp;&nbsp;&nbsp;int fn1(void); &nbsp;&nbsp;&nbsp;&nbsp;double fn2(void); }; struct Impl2{ &nbsp;&nbsp;&nbsp;&nbsp;int fn1(void); }; //实现文件中 int Impl1::fn1(void){...} double Impl1::fn2(void){...} int Impl2::fn1(void){...} void test(void){ &nbsp;&nbsp;&nbsp;&nbsp;fn<Impl1>();//编译通过，因为Impl1实现了MyConcept类模板中的成员 &nbsp;&nbsp;&nbsp;&nbsp;fn<Impl2>();//不能编译通过，因为Impl2只实现fn1没有实现fn2 }