1 //===----------------------------------------------------------------------===// 2 // 3 // The LLVM Compiler Infrastructure 4 // 5 // This file is dual licensed under the MIT and the University of Illinois Open 6 // Source Licenses. See LICENSE.TXT for details. 7 // 8 //===----------------------------------------------------------------------===// 9 10 // <functional> 11 12 // reference_wrapper 13 14 // check for deriving from binary_function 15 16 #include <functional> 17 #include <type_traits> 18 19 class functor1 20 : public std::unary_function<int, char> 21 { 22 }; 23 24 class functor2 25 : public std::binary_function<char, int, double> 26 { 27 }; 28 29 class functor3 30 : public std::unary_function<int, int>, 31 public std::binary_function<char, int, double> 32 { 33 public: 34 typedef float result_type; 35 }; 36 37 class functor4 38 : public std::unary_function<int, int>, 39 public std::binary_function<char, int, double> 40 { 41 public: 42 }; 43 44 struct C 45 { 46 typedef int argument_type; 47 typedef int result_type; 48 }; 49 50 int main() 51 { 52 static_assert((!std::is_base_of<std::binary_function<int, char, int>, 53 std::reference_wrapper<functor1> >::value), ""); 54 static_assert((std::is_base_of<std::binary_function<char, int, double>, 55 std::reference_wrapper<functor2> >::value), ""); 56 static_assert((std::is_base_of<std::binary_function<char, int, double>, 57 std::reference_wrapper<functor3> >::value), ""); 58 static_assert((std::is_base_of<std::binary_function<char, int, double>, 59 std::reference_wrapper<functor4> >::value), ""); 60 static_assert((!std::is_base_of<std::binary_function<int, int, int>, 61 std::reference_wrapper<C> >::value), ""); 62 static_assert((!std::is_base_of<std::binary_function<int, int, float>, 63 std::reference_wrapper<float ()> >::value), ""); 64 static_assert((!std::is_base_of<std::binary_function<int, int, float>, 65 std::reference_wrapper<float (int)> >::value), ""); 66 static_assert((std::is_base_of<std::binary_function<int, int, float>, 67 std::reference_wrapper<float (int, int)> >::value), ""); 68 static_assert((!std::is_base_of<std::binary_function<int, int, float>, 69 std::reference_wrapper<float(*)()> >::value), ""); 70 static_assert((!std::is_base_of<std::binary_function<int, int, float>, 71 std::reference_wrapper<float(*)(int)> >::value), ""); 72 static_assert((std::is_base_of<std::binary_function<int, int, float>, 73 std::reference_wrapper<float(*)(int, int)> >::value), ""); 74 static_assert((!std::is_base_of<std::binary_function<C*, int, float>, 75 std::reference_wrapper<float(C::*)()> >::value), ""); 76 static_assert((std::is_base_of<std::binary_function<C*, int, float>, 77 std::reference_wrapper<float(C::*)(int)> >::value), ""); 78 static_assert((std::is_base_of<std::binary_function<const volatile C*, int, float>, 79 std::reference_wrapper<float(C::*)(int) const volatile> >::value), ""); 80 } 81
