binary.pass.cpp revision c52f43e72dfcea03037729649da84c23b3beb04a 
1//===----------------------------------------------------------------------===//
2//
3//                     The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. 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
19class functor1
20    : public std::unary_function<int, char>
21{
22};
23
24class functor2
25    : public std::binary_function<char, int, double>
26{
27};
28
29class functor3
30    : public std::unary_function<int, int>,
31      public std::binary_function<char, int, double>
32{
33public:
34    typedef float result_type;
35};
36
37class functor4
38    : public std::unary_function<int, int>,
39      public std::binary_function<char, int, double>
40{
41public:
42};
43
44struct C
45{
46    typedef int argument_type;
47    typedef int result_type;
48};
49
50int 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