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