| //===----------------------------------------------------------------------===// |
| // |
| // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. |
| // See https://llvm.org/LICENSE.txt for license information. |
| // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception |
| // |
| //===----------------------------------------------------------------------===// |
| |
| // <functional> |
| |
| // class function<R(ArgTypes...)> |
| |
| // void swap(function& other); |
| |
| #include <functional> |
| #include <cassert> |
| |
| #include "count_new.h" |
| |
| #include "test_macros.h" |
| |
| class A { |
| int data_[10]; |
| |
| public: |
| static int count; |
| |
| explicit A(int j) { |
| ++count; |
| data_[0] = j; |
| } |
| |
| A(const A &a) { |
| ++count; |
| for (int i = 0; i < 10; ++i) |
| data_[i] = a.data_[i]; |
| } |
| |
| ~A() { --count; } |
| |
| int operator()(int i) const { |
| for (int j = 0; j < 10; ++j) |
| i += data_[j]; |
| return i; |
| } |
| |
| int operator()() const { return -1; } |
| int operator()(int, int) const { return -2; } |
| int operator()(int, int, int) const { return -3; } |
| |
| int id() const { return data_[0]; } |
| }; |
| |
| int A::count = 0; |
| |
| int g0() { return 0; } |
| int g(int) { return 0; } |
| int h(int) { return 1; } |
| int g2(int, int) { return 2; } |
| int g3(int, int, int) { return 3; } |
| |
| int main(int, char**) { |
| assert(globalMemCounter.checkOutstandingNewEq(0)); |
| { |
| std::function<int(int)> f1 = A(1); |
| std::function<int(int)> f2 = A(2); |
| assert(A::count == 2); |
| assert(globalMemCounter.checkOutstandingNewEq(2)); |
| assert(f1.target<A>()->id() == 1); |
| assert(f2.target<A>()->id() == 2); |
| f1.swap(f2); |
| assert(A::count == 2); |
| assert(globalMemCounter.checkOutstandingNewEq(2)); |
| assert(f1.target<A>()->id() == 2); |
| assert(f2.target<A>()->id() == 1); |
| } |
| assert(A::count == 0); |
| assert(globalMemCounter.checkOutstandingNewEq(0)); |
| { |
| std::function<int(int)> f1 = A(1); |
| std::function<int(int)> f2 = g; |
| assert(A::count == 1); |
| assert(globalMemCounter.checkOutstandingNewEq(1)); |
| assert(f1.target<A>()->id() == 1); |
| assert(*f2.target<int (*)(int)>() == g); |
| f1.swap(f2); |
| assert(A::count == 1); |
| assert(globalMemCounter.checkOutstandingNewEq(1)); |
| assert(*f1.target<int (*)(int)>() == g); |
| assert(f2.target<A>()->id() == 1); |
| } |
| assert(A::count == 0); |
| assert(globalMemCounter.checkOutstandingNewEq(0)); |
| { |
| std::function<int(int)> f1 = g; |
| std::function<int(int)> f2 = A(1); |
| assert(A::count == 1); |
| assert(globalMemCounter.checkOutstandingNewEq(1)); |
| assert(*f1.target<int (*)(int)>() == g); |
| assert(f2.target<A>()->id() == 1); |
| f1.swap(f2); |
| assert(A::count == 1); |
| assert(globalMemCounter.checkOutstandingNewEq(1)); |
| assert(f1.target<A>()->id() == 1); |
| assert(*f2.target<int (*)(int)>() == g); |
| } |
| assert(A::count == 0); |
| assert(globalMemCounter.checkOutstandingNewEq(0)); |
| { |
| std::function<int(int)> f1 = g; |
| std::function<int(int)> f2 = h; |
| assert(A::count == 0); |
| assert(globalMemCounter.checkOutstandingNewEq(0)); |
| assert(*f1.target<int (*)(int)>() == g); |
| assert(*f2.target<int (*)(int)>() == h); |
| f1.swap(f2); |
| assert(A::count == 0); |
| assert(globalMemCounter.checkOutstandingNewEq(0)); |
| assert(*f1.target<int (*)(int)>() == h); |
| assert(*f2.target<int (*)(int)>() == g); |
| } |
| assert(A::count == 0); |
| assert(globalMemCounter.checkOutstandingNewEq(0)); |
| { |
| std::function<int(int)> f1 = A(1); |
| assert(A::count == 1); |
| { |
| DisableAllocationGuard guard; |
| ((void)guard); |
| f1.swap(f1); |
| } |
| assert(A::count == 1); |
| assert(f1.target<A>()->id() == 1); |
| } |
| assert(A::count == 0); |
| assert(globalMemCounter.checkOutstandingNewEq(0)); |
| { |
| std::function<int()> f1 = g0; |
| DisableAllocationGuard guard; |
| ((void)guard); |
| f1.swap(f1); |
| assert(*f1.target<int (*)()>() == g0); |
| } |
| assert(globalMemCounter.checkOutstandingNewEq(0)); |
| { |
| std::function<int(int, int)> f1 = g2; |
| DisableAllocationGuard guard; |
| ((void)guard); |
| f1.swap(f1); |
| assert(*f1.target<int (*)(int, int)>() == g2); |
| } |
| assert(globalMemCounter.checkOutstandingNewEq(0)); |
| { |
| std::function<int(int, int, int)> f1 = g3; |
| DisableAllocationGuard guard; |
| ((void)guard); |
| f1.swap(f1); |
| assert(*f1.target<int (*)(int, int, int)>() == g3); |
| } |
| assert(globalMemCounter.checkOutstandingNewEq(0)); |
| { |
| std::function<int()> f1 = A(1); |
| assert(A::count == 1); |
| DisableAllocationGuard guard; |
| ((void)guard); |
| f1.swap(f1); |
| assert(A::count == 1); |
| assert(f1.target<A>()->id() == 1); |
| } |
| assert(globalMemCounter.checkOutstandingNewEq(0)); |
| assert(A::count == 0); |
| { |
| std::function<int(int, int)> f1 = A(2); |
| assert(A::count == 1); |
| DisableAllocationGuard guard; |
| ((void)guard); |
| f1.swap(f1); |
| assert(A::count == 1); |
| assert(f1.target<A>()->id() == 2); |
| } |
| assert(globalMemCounter.checkOutstandingNewEq(0)); |
| assert(A::count == 0); |
| { |
| std::function<int(int, int, int)> f1 = A(3); |
| assert(A::count == 1); |
| DisableAllocationGuard guard; |
| ((void)guard); |
| f1.swap(f1); |
| assert(A::count == 1); |
| assert(f1.target<A>()->id() == 3); |
| } |
| assert(globalMemCounter.checkOutstandingNewEq(0)); |
| assert(A::count == 0); |
| |
| return 0; |
| } |