123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116 |
- //===----------------------------------------------------------------------===//
- //
- // 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...)>
- // function(F);
- #include <functional>
- #include <cassert>
- #include "test_macros.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 foo(int) const {return 1;}
- };
- int A::count = 0;
- int g(int) {return 0;}
- #if TEST_STD_VER >= 11
- struct RValueCallable {
- template <class ...Args>
- void operator()(Args&&...) && {}
- };
- struct LValueCallable {
- template <class ...Args>
- void operator()(Args&&...) & {}
- };
- #endif
- int main(int, char**)
- {
- assert(globalMemCounter.checkOutstandingNewEq(0));
- {
- std::function<int(int)> f = A();
- assert(A::count == 1);
- assert(globalMemCounter.checkOutstandingNewEq(1));
- assert(f.target<A>());
- assert(f.target<int(*)(int)>() == 0);
- }
- assert(A::count == 0);
- assert(globalMemCounter.checkOutstandingNewEq(0));
- {
- std::function<int(int)> f = g;
- assert(globalMemCounter.checkOutstandingNewEq(0));
- assert(f.target<int(*)(int)>());
- assert(f.target<A>() == 0);
- }
- assert(globalMemCounter.checkOutstandingNewEq(0));
- {
- std::function<int(int)> f = (int (*)(int))0;
- assert(!f);
- assert(globalMemCounter.checkOutstandingNewEq(0));
- assert(f.target<int(*)(int)>() == 0);
- assert(f.target<A>() == 0);
- }
- {
- std::function<int(const A*, int)> f = &A::foo;
- assert(f);
- assert(globalMemCounter.checkOutstandingNewEq(0));
- assert(f.target<int (A::*)(int) const>() != 0);
- }
- {
- std::function<void(int)> f(&g);
- assert(f);
- assert(f.target<int(*)(int)>() != 0);
- f(1);
- }
- {
- std::function <void()> f(static_cast<void (*)()>(0));
- assert(!f);
- }
- #if TEST_STD_VER >= 11
- {
- using Fn = std::function<void(int, int, int)>;
- static_assert(std::is_constructible<Fn, LValueCallable&>::value, "");
- static_assert(std::is_constructible<Fn, LValueCallable>::value, "");
- static_assert(!std::is_constructible<Fn, RValueCallable&>::value, "");
- static_assert(!std::is_constructible<Fn, RValueCallable>::value, "");
- }
- #endif
- return 0;
- }
|