member_function_const_volatile.pass.cpp revision c52f43e72dfcea03037729649da84c23b3beb04a
1//===----------------------------------------------------------------------===// 2// 3// The LLVM Compiler Infrastructure 4// 5// This file is distributed under the University of Illinois Open Source 6// License. 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 18struct 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 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 volatile 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 volatile 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 volatile 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