//===----------------------------------------------------------------------===// // // 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 // //===----------------------------------------------------------------------===// // UNSUPPORTED: c++98, c++03 // REQUIRES: c++11 || c++14 // // class function // template function(allocator_arg_t, const A&, function&&); // // This signature was removed in C++17 #include #include #include #include "test_macros.h" #include "min_allocator.h" #include "count_new.hpp" class A { int data_[10]; public: static int count; A() { ++count; for (int i = 0; i < 10; ++i) data_[i] = i; } A(const A&) {++count;} ~A() {--count;} int operator()(int i) const { for (int j = 0; j < 10; ++j) i += data_[j]; return i; } }; int A::count = 0; int g(int) { return 0; } int main() { assert(globalMemCounter.checkOutstandingNewEq(0)); { std::function f = A(); assert(A::count == 1); assert(globalMemCounter.checkOutstandingNewEq(1)); assert(f.target()); assert(f.target() == 0); std::function f2(std::allocator_arg, bare_allocator(), std::move(f)); assert(A::count == 1); assert(globalMemCounter.checkOutstandingNewEq(1)); assert(f2.target()); assert(f2.target() == 0); assert(f.target() == 0); assert(f.target() == 0); } assert(globalMemCounter.checkOutstandingNewEq(0)); { // Test that moving a function constructed from a reference wrapper // is done without allocating. DisableAllocationGuard g; using Ref = std::reference_wrapper; A a; Ref aref(a); std::function f(aref); assert(A::count == 1); assert(f.target() == nullptr); assert(f.target()); std::function f2(std::allocator_arg, std::allocator{}, std::move(f)); assert(A::count == 1); assert(f2.target() == nullptr); assert(f2.target()); assert(f.target()); // f is unchanged because the target is small } { // Test that moving a function constructed from a function pointer // is done without allocating DisableAllocationGuard guard; using Ptr = int(*)(int); Ptr p = g; std::function f(p); assert(f.target() == nullptr); assert(f.target()); std::function f2(std::allocator_arg, std::allocator(), std::move(f)); assert(f2.target() == nullptr); assert(f2.target()); assert(f.target()); // f is unchanged because the target is small } }