diff options
| author | Dimitry Andric <dim@FreeBSD.org> | 2015-09-06 18:46:46 +0000 | 
|---|---|---|
| committer | Dimitry Andric <dim@FreeBSD.org> | 2015-09-06 18:46:46 +0000 | 
| commit | 61b9a7258a7693d7f3674a5a1daf7b036ff1d382 (patch) | |
| tree | ec41ed70ffca97240e76f9a78bb2dedba28f310c /test/std/utilities/function.objects/func.wrap/func.wrap.func/func.wrap.func.targ/target.pass.cpp | |
| parent | f857581820d15e410e9945d2fcd5f7163be25a96 (diff) | |
Notes
Diffstat (limited to 'test/std/utilities/function.objects/func.wrap/func.wrap.func/func.wrap.func.targ/target.pass.cpp')
| -rw-r--r-- | test/std/utilities/function.objects/func.wrap/func.wrap.func/func.wrap.func.targ/target.pass.cpp | 89 | 
1 files changed, 89 insertions, 0 deletions
diff --git a/test/std/utilities/function.objects/func.wrap/func.wrap.func/func.wrap.func.targ/target.pass.cpp b/test/std/utilities/function.objects/func.wrap/func.wrap.func/func.wrap.func.targ/target.pass.cpp new file mode 100644 index 000000000000..53476a274735 --- /dev/null +++ b/test/std/utilities/function.objects/func.wrap/func.wrap.func/func.wrap.func.targ/target.pass.cpp @@ -0,0 +1,89 @@ +//===----------------------------------------------------------------------===// +// +//                     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. +// +//===----------------------------------------------------------------------===// + +// <functional> + +// class function<R(ArgTypes...)> + +// template<typename T> +//   requires Callable<T, ArgTypes...> && Convertible<Callable<T, ArgTypes...>::result_type, R> +//   T* +//   target(); +// template<typename T> +//   requires Callable<T, ArgTypes...> && Convertible<Callable<T, ArgTypes...>::result_type, R> +//   const T* +//   target() const; + +#include <functional> +#include <new> +#include <cstdlib> +#include <cassert> + +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;} + +int main() +{ +    { +    std::function<int(int)> f = A(); +    assert(A::count == 1); +    assert(f.target<A>()); +    assert(f.target<int(*)(int)>() == 0); +    } +    assert(A::count == 0); +    { +    std::function<int(int)> f = g; +    assert(A::count == 0); +    assert(f.target<int(*)(int)>()); +    assert(f.target<A>() == 0); +    } +    assert(A::count == 0); +    { +    const std::function<int(int)> f = A(); +    assert(A::count == 1); +    assert(f.target<A>()); +    assert(f.target<int(*)(int)>() == 0); +    } +    assert(A::count == 0); +    { +    const std::function<int(int)> f = g; +    assert(A::count == 0); +    assert(f.target<int(*)(int)>()); +    assert(f.target<A>() == 0); +    } +    assert(A::count == 0); +}  | 
