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