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// template <class Fn> 1311cd02dfb91661c65134cac258cf5924270e9d2Dan Albert// class binder1st 1411cd02dfb91661c65134cac258cf5924270e9d2Dan Albert// : public unary_function<typename Fn::second_argument_type, typename Fn::result_type> 1511cd02dfb91661c65134cac258cf5924270e9d2Dan Albert// { 1611cd02dfb91661c65134cac258cf5924270e9d2Dan Albert// protected: 1711cd02dfb91661c65134cac258cf5924270e9d2Dan Albert// Fn op; 1811cd02dfb91661c65134cac258cf5924270e9d2Dan Albert// typename Fn::first_argument_type value; 1911cd02dfb91661c65134cac258cf5924270e9d2Dan Albert// public: 2011cd02dfb91661c65134cac258cf5924270e9d2Dan Albert// binder2nd(const Fn& x, const typename Fn::second_argument_type& y); 2111cd02dfb91661c65134cac258cf5924270e9d2Dan Albert// 2211cd02dfb91661c65134cac258cf5924270e9d2Dan Albert// typename Fn::result_type operator()(const typename Fn::first_argument_type& x) const; 2311cd02dfb91661c65134cac258cf5924270e9d2Dan Albert// typename Fn::result_type operator()(typename Fn::first_argument_type& x) const; 2411cd02dfb91661c65134cac258cf5924270e9d2Dan Albert// }; 2511cd02dfb91661c65134cac258cf5924270e9d2Dan Albert 2611cd02dfb91661c65134cac258cf5924270e9d2Dan Albert#include <functional> 2711cd02dfb91661c65134cac258cf5924270e9d2Dan Albert#include <type_traits> 2811cd02dfb91661c65134cac258cf5924270e9d2Dan Albert#include <cassert> 2911cd02dfb91661c65134cac258cf5924270e9d2Dan Albert 3011cd02dfb91661c65134cac258cf5924270e9d2Dan Albert#include "../test_func.h" 3111cd02dfb91661c65134cac258cf5924270e9d2Dan Albert 3211cd02dfb91661c65134cac258cf5924270e9d2Dan Albertclass test 3311cd02dfb91661c65134cac258cf5924270e9d2Dan Albert : public std::binder1st<test_func> 3411cd02dfb91661c65134cac258cf5924270e9d2Dan Albert{ 3511cd02dfb91661c65134cac258cf5924270e9d2Dan Albert typedef std::binder1st<test_func> base; 3611cd02dfb91661c65134cac258cf5924270e9d2Dan Albertpublic: 3711cd02dfb91661c65134cac258cf5924270e9d2Dan Albert test() : std::binder1st<test_func>(test_func(2), 30) {} 3811cd02dfb91661c65134cac258cf5924270e9d2Dan Albert 3911cd02dfb91661c65134cac258cf5924270e9d2Dan Albert void do_test() 4011cd02dfb91661c65134cac258cf5924270e9d2Dan Albert { 4111cd02dfb91661c65134cac258cf5924270e9d2Dan Albert static_assert((std::is_base_of< 4211cd02dfb91661c65134cac258cf5924270e9d2Dan Albert std::unary_function<test_func::second_argument_type, 4311cd02dfb91661c65134cac258cf5924270e9d2Dan Albert test_func::result_type>, 4411cd02dfb91661c65134cac258cf5924270e9d2Dan Albert test>::value), ""); 4511cd02dfb91661c65134cac258cf5924270e9d2Dan Albert assert(op.id() == 2); 4611cd02dfb91661c65134cac258cf5924270e9d2Dan Albert assert(value == 30); 4711cd02dfb91661c65134cac258cf5924270e9d2Dan Albert 4811cd02dfb91661c65134cac258cf5924270e9d2Dan Albert double d = 5; 4911cd02dfb91661c65134cac258cf5924270e9d2Dan Albert assert((*this)(d) == 35); 5011cd02dfb91661c65134cac258cf5924270e9d2Dan Albert assert((*this)(5) == 25); 5111cd02dfb91661c65134cac258cf5924270e9d2Dan Albert } 5211cd02dfb91661c65134cac258cf5924270e9d2Dan Albert}; 5311cd02dfb91661c65134cac258cf5924270e9d2Dan Albert 5411cd02dfb91661c65134cac258cf5924270e9d2Dan Albertint main() 5511cd02dfb91661c65134cac258cf5924270e9d2Dan Albert{ 5611cd02dfb91661c65134cac258cf5924270e9d2Dan Albert test t; 5711cd02dfb91661c65134cac258cf5924270e9d2Dan Albert t.do_test(); 5811cd02dfb91661c65134cac258cf5924270e9d2Dan Albert} 59