C++1y之美 - 珠海云创科技研发中心.pdf

C++1y之美 祁 宇 主要内容 检查成员函数是否存在 函数缓存 实现一个http router 检查成员函数是否存在 templatetypename T void foo(const T t) 编译期判断成员函数foo是否存在 { if (t has foo) t.foo(); else 编译期根据判断结果做分支选择 default(); } 检查成员函数是否存在 C++98/03的做法 templatetypename T struct has_member_foo { templatetypename U, void(U::*)() struct SFINAE {}; templatetypename U static char check(SFINAEU, U::foo*); templatetypename U static int check(...); static const bool value = sizeof(checkT(0)) == sizeof(char); }; struct MyStruct { void foo() { } }; static_assert(has_member_fooMyStruct::value, true); static_assert(has_member_fooint::value, false); 检查成员函数是否存在 C++11的做法 templatetypename T struct has_member_foo11 { private: templatetypename U static auto check(int) - decltype(std::declvalU().foo(), std::true_type()); templatetypename U static std::false_type check(...); public: enum { value = std::is_samedecltype(checkT(0)), std::true_type::value }; }; 检查成员函数是否存在 struct MyStruct { void foo() { } }; static_assert(has_member_fooMyStruct::value, true); static_assert(has_member_foo11MyStruct::value, true); 哪种写法更好？ 检查成员函数是否存在 struct MyStruct { int foo() { } }; static_assert(has_member_fooMyStruct::value, false); //静态断言 static_assert(has_member_foo11MyStruct::value, true); 限定了函数返回类型为void templatetypename U, void(U::*)() struct SFINAE {}; 没有限定返回类型 decltype(std::declvalU().foo(), std::true_type()) 检查成员函数是否存在 more univers