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 // template<Returnable R, class T, CopyConstructible... Args>
13 // unspecified mem_fn(R (T::* pm)(Args...));
14
15 #include <functional>
16 #include <cassert>
17
18 #include "test_macros.h"
19
20 struct A
21 {
test0A22 char test0() {return 'a';}
test1A23 char test1(int) {return 'b';}
test2A24 char test2(int, double) {return 'c';}
25 };
26
27 template <class F>
28 void
test0(F f)29 test0(F f)
30 {
31 {
32 A a;
33 assert(f(a) == 'a');
34 A* ap = &a;
35 assert(f(ap) == 'a');
36 const F& cf = f;
37 assert(cf(ap) == 'a');
38 }
39 }
40
41 template <class F>
42 void
test1(F f)43 test1(F f)
44 {
45 {
46 A a;
47 assert(f(a, 1) == 'b');
48 A* ap = &a;
49 assert(f(ap, 2) == 'b');
50 const F& cf = f;
51 assert(cf(ap, 2) == 'b');
52 }
53 }
54
55 template <class F>
56 void
test2(F f)57 test2(F f)
58 {
59 {
60 A a;
61 assert(f(a, 1, 2) == 'c');
62 A* ap = &a;
63 assert(f(ap, 2, 3.5) == 'c');
64 const F& cf = f;
65 assert(cf(ap, 2, 3.5) == 'c');
66 }
67 }
68
main()69 int main()
70 {
71 test0(std::mem_fn(&A::test0));
72 test1(std::mem_fn(&A::test1));
73 test2(std::mem_fn(&A::test2));
74 #if TEST_STD_VER >= 11
75 static_assert((noexcept(std::mem_fn(&A::test0))), ""); // LWG#2489
76 #endif
77 }
78