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...) const volatile); 14 15 #include <functional> 16 #include <cassert> 17 18 struct A 19 { 20 char test0() const volatile {return 'a';} 21 char test1(int) const volatile {return 'b';} 22 char test2(int, double) const volatile {return 'c';} 23 }; 24 25 template <class F> 26 void 27 test0(F f) 28 { 29 { 30 A a; 31 assert(f(a) == 'a'); 32 A* ap = &a; 33 assert(f(ap) == 'a'); 34 const volatile A* cap = &a; 35 assert(f(cap) == 'a'); 36 const F& cf = f; 37 assert(cf(ap) == 'a'); 38 } 39 } 40 41 template <class F> 42 void 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 volatile A* cap = &a; 51 assert(f(cap, 2) == 'b'); 52 const F& cf = f; 53 assert(cf(ap, 2) == 'b'); 54 } 55 } 56 57 template <class F> 58 void 59 test2(F f) 60 { 61 { 62 A a; 63 assert(f(a, 1, 2) == 'c'); 64 A* ap = &a; 65 assert(f(ap, 2, 3.5) == 'c'); 66 const volatile A* cap = &a; 67 assert(f(cap, 2, 3.5) == 'c'); 68 const F& cf = f; 69 assert(cf(ap, 2, 3.5) == 'c'); 70 } 71 } 72 73 int main() 74 { 75 test0(std::mem_fn(&A::test0)); 76 test1(std::mem_fn(&A::test1)); 77 test2(std::mem_fn(&A::test2)); 78 } 79
