1*5a83710eSEric Fiselier //===----------------------------------------------------------------------===//
2*5a83710eSEric Fiselier //
3*5a83710eSEric Fiselier //                     The LLVM Compiler Infrastructure
4*5a83710eSEric Fiselier //
5*5a83710eSEric Fiselier // This file is dual licensed under the MIT and the University of Illinois Open
6*5a83710eSEric Fiselier // Source Licenses. See LICENSE.TXT for details.
7*5a83710eSEric Fiselier //
8*5a83710eSEric Fiselier //===----------------------------------------------------------------------===//
9*5a83710eSEric Fiselier 
10*5a83710eSEric Fiselier // <functional>
11*5a83710eSEric Fiselier 
12*5a83710eSEric Fiselier // template<Returnable R, class T, CopyConstructible... Args>
13*5a83710eSEric Fiselier //   unspecified mem_fn(R (T::* pm)(Args...));
14*5a83710eSEric Fiselier 
15*5a83710eSEric Fiselier #include <functional>
16*5a83710eSEric Fiselier #include <cassert>
17*5a83710eSEric Fiselier 
18*5a83710eSEric Fiselier struct A
19*5a83710eSEric Fiselier {
20*5a83710eSEric Fiselier     char test0() {return 'a';}
21*5a83710eSEric Fiselier     char test1(int) {return 'b';}
22*5a83710eSEric Fiselier     char test2(int, double) {return 'c';}
23*5a83710eSEric Fiselier };
24*5a83710eSEric Fiselier 
25*5a83710eSEric Fiselier template <class F>
26*5a83710eSEric Fiselier void
27*5a83710eSEric Fiselier test0(F f)
28*5a83710eSEric Fiselier {
29*5a83710eSEric Fiselier     {
30*5a83710eSEric Fiselier     A a;
31*5a83710eSEric Fiselier     assert(f(a) == 'a');
32*5a83710eSEric Fiselier     A* ap = &a;
33*5a83710eSEric Fiselier     assert(f(ap) == 'a');
34*5a83710eSEric Fiselier     const F& cf = f;
35*5a83710eSEric Fiselier     assert(cf(ap) == 'a');
36*5a83710eSEric Fiselier     }
37*5a83710eSEric Fiselier }
38*5a83710eSEric Fiselier 
39*5a83710eSEric Fiselier template <class F>
40*5a83710eSEric Fiselier void
41*5a83710eSEric Fiselier test1(F f)
42*5a83710eSEric Fiselier {
43*5a83710eSEric Fiselier     {
44*5a83710eSEric Fiselier     A a;
45*5a83710eSEric Fiselier     assert(f(a, 1) == 'b');
46*5a83710eSEric Fiselier     A* ap = &a;
47*5a83710eSEric Fiselier     assert(f(ap, 2) == 'b');
48*5a83710eSEric Fiselier     const F& cf = f;
49*5a83710eSEric Fiselier     assert(cf(ap, 2) == 'b');
50*5a83710eSEric Fiselier     }
51*5a83710eSEric Fiselier }
52*5a83710eSEric Fiselier 
53*5a83710eSEric Fiselier template <class F>
54*5a83710eSEric Fiselier void
55*5a83710eSEric Fiselier test2(F f)
56*5a83710eSEric Fiselier {
57*5a83710eSEric Fiselier     {
58*5a83710eSEric Fiselier     A a;
59*5a83710eSEric Fiselier     assert(f(a, 1, 2) == 'c');
60*5a83710eSEric Fiselier     A* ap = &a;
61*5a83710eSEric Fiselier     assert(f(ap, 2, 3.5) == 'c');
62*5a83710eSEric Fiselier     const F& cf = f;
63*5a83710eSEric Fiselier     assert(cf(ap, 2, 3.5) == 'c');
64*5a83710eSEric Fiselier     }
65*5a83710eSEric Fiselier }
66*5a83710eSEric Fiselier 
67*5a83710eSEric Fiselier int main()
68*5a83710eSEric Fiselier {
69*5a83710eSEric Fiselier     test0(std::mem_fn(&A::test0));
70*5a83710eSEric Fiselier     test1(std::mem_fn(&A::test1));
71*5a83710eSEric Fiselier     test2(std::mem_fn(&A::test2));
72*5a83710eSEric Fiselier }
73