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