forked from mirror/libcxx
You cannot select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
291 lines
6.0 KiB
C++
291 lines
6.0 KiB
C++
//===----------------------------------------------------------------------===//
|
|
//
|
|
// The LLVM Compiler Infrastructure
|
|
//
|
|
// This file is dual licensed under the MIT and the University of Illinois Open
|
|
// Source Licenses. See LICENSE.TXT for details.
|
|
//
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
// UNSUPPORTED: c++98, c++03
|
|
|
|
// <functional>
|
|
|
|
// template<CopyConstructible Fn, CopyConstructible... Types>
|
|
// unspecified bind(Fn, Types...);
|
|
// template<Returnable R, CopyConstructible Fn, CopyConstructible... Types>
|
|
// unspecified bind(Fn, Types...);
|
|
|
|
#include <stdio.h>
|
|
|
|
#include <functional>
|
|
#include <cassert>
|
|
|
|
int count = 0;
|
|
|
|
// 1 arg, return void
|
|
|
|
void f_void_1(int i)
|
|
{
|
|
count += i;
|
|
}
|
|
|
|
struct A_void_1
|
|
{
|
|
void operator()(int i)
|
|
{
|
|
count += i;
|
|
}
|
|
|
|
void mem1() {++count;}
|
|
void mem2() const {count += 2;}
|
|
};
|
|
|
|
void
|
|
test_void_1()
|
|
{
|
|
using namespace std::placeholders;
|
|
int save_count = count;
|
|
// function
|
|
{
|
|
int i = 2;
|
|
std::bind(f_void_1, _1)(i);
|
|
assert(count == save_count + 2);
|
|
save_count = count;
|
|
}
|
|
{
|
|
int i = 2;
|
|
std::bind(f_void_1, i)();
|
|
assert(count == save_count + 2);
|
|
save_count = count;
|
|
}
|
|
// function pointer
|
|
{
|
|
void (*fp)(int) = f_void_1;
|
|
int i = 3;
|
|
std::bind(fp, _1)(i);
|
|
assert(count == save_count+3);
|
|
save_count = count;
|
|
}
|
|
{
|
|
void (*fp)(int) = f_void_1;
|
|
int i = 3;
|
|
std::bind(fp, i)();
|
|
assert(count == save_count+3);
|
|
save_count = count;
|
|
}
|
|
// functor
|
|
{
|
|
A_void_1 a0;
|
|
int i = 4;
|
|
std::bind(a0, _1)(i);
|
|
assert(count == save_count+4);
|
|
save_count = count;
|
|
}
|
|
{
|
|
A_void_1 a0;
|
|
int i = 4;
|
|
std::bind(a0, i)();
|
|
assert(count == save_count+4);
|
|
save_count = count;
|
|
}
|
|
// member function pointer
|
|
{
|
|
void (A_void_1::*fp)() = &A_void_1::mem1;
|
|
A_void_1 a;
|
|
std::bind(fp, _1)(a);
|
|
assert(count == save_count+1);
|
|
save_count = count;
|
|
A_void_1* ap = &a;
|
|
std::bind(fp, _1)(ap);
|
|
assert(count == save_count+1);
|
|
save_count = count;
|
|
}
|
|
{
|
|
void (A_void_1::*fp)() = &A_void_1::mem1;
|
|
A_void_1 a;
|
|
std::bind(fp, a)();
|
|
assert(count == save_count+1);
|
|
save_count = count;
|
|
A_void_1* ap = &a;
|
|
std::bind(fp, ap)();
|
|
assert(count == save_count+1);
|
|
save_count = count;
|
|
}
|
|
// const member function pointer
|
|
{
|
|
void (A_void_1::*fp)() const = &A_void_1::mem2;
|
|
A_void_1 a;
|
|
std::bind(fp, _1)(a);
|
|
assert(count == save_count+2);
|
|
save_count = count;
|
|
A_void_1* ap = &a;
|
|
std::bind(fp, _1)(ap);
|
|
assert(count == save_count+2);
|
|
save_count = count;
|
|
}
|
|
{
|
|
void (A_void_1::*fp)() const = &A_void_1::mem2;
|
|
A_void_1 a;
|
|
std::bind(fp, a)();
|
|
assert(count == save_count+2);
|
|
save_count = count;
|
|
A_void_1* ap = &a;
|
|
std::bind(fp, ap)();
|
|
assert(count == save_count+2);
|
|
save_count = count;
|
|
}
|
|
}
|
|
|
|
// 1 arg, return int
|
|
|
|
int f_int_1(int i)
|
|
{
|
|
return i + 1;
|
|
}
|
|
|
|
struct A_int_1
|
|
{
|
|
A_int_1() : data_(5) {}
|
|
int operator()(int i)
|
|
{
|
|
return i - 1;
|
|
}
|
|
|
|
int mem1() {return 3;}
|
|
int mem2() const {return 4;}
|
|
int data_;
|
|
};
|
|
|
|
void
|
|
test_int_1()
|
|
{
|
|
using namespace std::placeholders;
|
|
// function
|
|
{
|
|
int i = 2;
|
|
assert(std::bind(f_int_1, _1)(i) == 3);
|
|
assert(std::bind(f_int_1, i)() == 3);
|
|
}
|
|
// function pointer
|
|
{
|
|
int (*fp)(int) = f_int_1;
|
|
int i = 3;
|
|
assert(std::bind(fp, _1)(i) == 4);
|
|
assert(std::bind(fp, i)() == 4);
|
|
}
|
|
// functor
|
|
{
|
|
int i = 4;
|
|
assert(std::bind(A_int_1(), _1)(i) == 3);
|
|
assert(std::bind(A_int_1(), i)() == 3);
|
|
}
|
|
// member function pointer
|
|
{
|
|
A_int_1 a;
|
|
assert(std::bind(&A_int_1::mem1, _1)(a) == 3);
|
|
assert(std::bind(&A_int_1::mem1, a)() == 3);
|
|
A_int_1* ap = &a;
|
|
assert(std::bind(&A_int_1::mem1, _1)(ap) == 3);
|
|
assert(std::bind(&A_int_1::mem1, ap)() == 3);
|
|
}
|
|
// const member function pointer
|
|
{
|
|
A_int_1 a;
|
|
assert(std::bind(&A_int_1::mem2, _1)(A_int_1()) == 4);
|
|
assert(std::bind(&A_int_1::mem2, A_int_1())() == 4);
|
|
A_int_1* ap = &a;
|
|
assert(std::bind(&A_int_1::mem2, _1)(ap) == 4);
|
|
assert(std::bind(&A_int_1::mem2, ap)() == 4);
|
|
}
|
|
// member data pointer
|
|
{
|
|
A_int_1 a;
|
|
assert(std::bind(&A_int_1::data_, _1)(a) == 5);
|
|
assert(std::bind(&A_int_1::data_, a)() == 5);
|
|
A_int_1* ap = &a;
|
|
assert(std::bind(&A_int_1::data_, _1)(a) == 5);
|
|
std::bind(&A_int_1::data_, _1)(a) = 6;
|
|
assert(std::bind(&A_int_1::data_, _1)(a) == 6);
|
|
assert(std::bind(&A_int_1::data_, _1)(ap) == 6);
|
|
std::bind(&A_int_1::data_, _1)(ap) = 7;
|
|
assert(std::bind(&A_int_1::data_, _1)(ap) == 7);
|
|
}
|
|
}
|
|
|
|
// 2 arg, return void
|
|
|
|
void f_void_2(int i, int j)
|
|
{
|
|
count += i+j;
|
|
}
|
|
|
|
struct A_void_2
|
|
{
|
|
void operator()(int i, int j)
|
|
{
|
|
count += i+j;
|
|
}
|
|
|
|
void mem1(int i) {count += i;}
|
|
void mem2(int i) const {count += i;}
|
|
};
|
|
|
|
void
|
|
test_void_2()
|
|
{
|
|
using namespace std::placeholders;
|
|
int save_count = count;
|
|
// function
|
|
{
|
|
int i = 2;
|
|
int j = 3;
|
|
std::bind(f_void_2, _1, _2)(i, j);
|
|
assert(count == save_count+5);
|
|
save_count = count;
|
|
std::bind(f_void_2, i, _1)(j);
|
|
assert(count == save_count+5);
|
|
save_count = count;
|
|
std::bind(f_void_2, i, j)();
|
|
assert(count == save_count+5);
|
|
save_count = count;
|
|
}
|
|
// member function pointer
|
|
{
|
|
int j = 3;
|
|
std::bind(&A_void_2::mem1, _1, _2)(A_void_2(), j);
|
|
assert(count == save_count+3);
|
|
save_count = count;
|
|
std::bind(&A_void_2::mem1, _2, _1)(j, A_void_2());
|
|
assert(count == save_count+3);
|
|
save_count = count;
|
|
}
|
|
}
|
|
|
|
struct TFENode
|
|
{
|
|
bool foo(unsigned long long) const
|
|
{
|
|
return true;
|
|
}
|
|
};
|
|
|
|
void
|
|
test3()
|
|
{
|
|
using namespace std;
|
|
using namespace std::placeholders;
|
|
const auto f = bind(&TFENode::foo, _1, 0UL);
|
|
const TFENode n = TFENode{};
|
|
bool b = f(n);
|
|
assert(b);
|
|
}
|
|
|
|
int main()
|
|
{
|
|
test_void_1();
|
|
test_int_1();
|
|
test_void_2();
|
|
test3();
|
|
}
|