111cd02dfb91661c65134cac258cf5924270e9d2Dan Albert//===----------------------------------------------------------------------===// 211cd02dfb91661c65134cac258cf5924270e9d2Dan Albert// 311cd02dfb91661c65134cac258cf5924270e9d2Dan Albert// The LLVM Compiler Infrastructure 411cd02dfb91661c65134cac258cf5924270e9d2Dan Albert// 511cd02dfb91661c65134cac258cf5924270e9d2Dan Albert// This file is dual licensed under the MIT and the University of Illinois Open 611cd02dfb91661c65134cac258cf5924270e9d2Dan Albert// Source Licenses. See LICENSE.TXT for details. 711cd02dfb91661c65134cac258cf5924270e9d2Dan Albert// 811cd02dfb91661c65134cac258cf5924270e9d2Dan Albert//===----------------------------------------------------------------------===// 911cd02dfb91661c65134cac258cf5924270e9d2Dan Albert 1011cd02dfb91661c65134cac258cf5924270e9d2Dan Albert// <functional> 1111cd02dfb91661c65134cac258cf5924270e9d2Dan Albert 1211cd02dfb91661c65134cac258cf5924270e9d2Dan Albert// const_mem_fun1_t 1311cd02dfb91661c65134cac258cf5924270e9d2Dan Albert 1411cd02dfb91661c65134cac258cf5924270e9d2Dan Albert#include <functional> 1511cd02dfb91661c65134cac258cf5924270e9d2Dan Albert#include <type_traits> 1611cd02dfb91661c65134cac258cf5924270e9d2Dan Albert#include <cassert> 1711cd02dfb91661c65134cac258cf5924270e9d2Dan Albert 1811cd02dfb91661c65134cac258cf5924270e9d2Dan Albertstruct A 1911cd02dfb91661c65134cac258cf5924270e9d2Dan Albert{ 2011cd02dfb91661c65134cac258cf5924270e9d2Dan Albert char a1() {return 5;} 2111cd02dfb91661c65134cac258cf5924270e9d2Dan Albert short a2(int i) {return short(i+1);} 2211cd02dfb91661c65134cac258cf5924270e9d2Dan Albert int a3() const {return 1;} 2311cd02dfb91661c65134cac258cf5924270e9d2Dan Albert double a4(unsigned i) const {return i-1;} 2411cd02dfb91661c65134cac258cf5924270e9d2Dan Albert}; 2511cd02dfb91661c65134cac258cf5924270e9d2Dan Albert 2611cd02dfb91661c65134cac258cf5924270e9d2Dan Albertint main() 2711cd02dfb91661c65134cac258cf5924270e9d2Dan Albert{ 2811cd02dfb91661c65134cac258cf5924270e9d2Dan Albert typedef std::const_mem_fun1_t<double, A, unsigned> F; 2911cd02dfb91661c65134cac258cf5924270e9d2Dan Albert static_assert((std::is_base_of<std::binary_function<const A*, unsigned, double>, F>::value), ""); 3011cd02dfb91661c65134cac258cf5924270e9d2Dan Albert const F f(&A::a4); 3111cd02dfb91661c65134cac258cf5924270e9d2Dan Albert const A a = A(); 3211cd02dfb91661c65134cac258cf5924270e9d2Dan Albert assert(f(&a, 6) == 5); 3311cd02dfb91661c65134cac258cf5924270e9d2Dan Albert} 34