15a83710eSEric Fiselier //===----------------------------------------------------------------------===//
25a83710eSEric Fiselier //
357b08b09SChandler Carruth // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
457b08b09SChandler Carruth // See https://llvm.org/LICENSE.txt for license information.
557b08b09SChandler Carruth // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
65a83710eSEric Fiselier //
75a83710eSEric Fiselier //===----------------------------------------------------------------------===//
85a83710eSEric Fiselier
95a83710eSEric Fiselier // <functional>
105a83710eSEric Fiselier
115a83710eSEric Fiselier // reference_wrapper
125a83710eSEric Fiselier
135a83710eSEric Fiselier // template <class... ArgTypes>
145a83710eSEric Fiselier // requires Callable<T, ArgTypes&&...>
155a83710eSEric Fiselier // Callable<T, ArgTypes&&...>::result_type
165a83710eSEric Fiselier // operator()(ArgTypes&&... args) const;
175a83710eSEric Fiselier
185a83710eSEric Fiselier #include <functional>
195a83710eSEric Fiselier #include <cassert>
205a83710eSEric Fiselier
21*7fc6a556SMarshall Clow #include "test_macros.h"
22*7fc6a556SMarshall Clow
235a83710eSEric Fiselier int count = 0;
245a83710eSEric Fiselier
255a83710eSEric Fiselier // 1 arg, return void
265a83710eSEric Fiselier
f_void_1(int i)275a83710eSEric Fiselier void f_void_1(int i)
285a83710eSEric Fiselier {
295a83710eSEric Fiselier count += i;
305a83710eSEric Fiselier }
315a83710eSEric Fiselier
325a83710eSEric Fiselier struct A_void_1
335a83710eSEric Fiselier {
operator ()A_void_1345a83710eSEric Fiselier void operator()(int i)
355a83710eSEric Fiselier {
365a83710eSEric Fiselier count += i;
375a83710eSEric Fiselier }
385a83710eSEric Fiselier
mem1A_void_1395a83710eSEric Fiselier void mem1() {++count;}
mem2A_void_1405a83710eSEric Fiselier void mem2() const {++count;}
415a83710eSEric Fiselier };
425a83710eSEric Fiselier
435a83710eSEric Fiselier void
test_void_1()445a83710eSEric Fiselier test_void_1()
455a83710eSEric Fiselier {
465a83710eSEric Fiselier int save_count = count;
475a83710eSEric Fiselier // function
485a83710eSEric Fiselier {
495a83710eSEric Fiselier std::reference_wrapper<void (int)> r1(f_void_1);
505a83710eSEric Fiselier int i = 2;
515a83710eSEric Fiselier r1(i);
525a83710eSEric Fiselier assert(count == save_count+2);
535a83710eSEric Fiselier save_count = count;
545a83710eSEric Fiselier }
555a83710eSEric Fiselier // function pointer
565a83710eSEric Fiselier {
575a83710eSEric Fiselier void (*fp)(int) = f_void_1;
585a83710eSEric Fiselier std::reference_wrapper<void (*)(int)> r1(fp);
595a83710eSEric Fiselier int i = 3;
605a83710eSEric Fiselier r1(i);
615a83710eSEric Fiselier assert(count == save_count+3);
625a83710eSEric Fiselier save_count = count;
635a83710eSEric Fiselier }
645a83710eSEric Fiselier // functor
655a83710eSEric Fiselier {
665a83710eSEric Fiselier A_void_1 a0;
675a83710eSEric Fiselier std::reference_wrapper<A_void_1> r1(a0);
685a83710eSEric Fiselier int i = 4;
695a83710eSEric Fiselier r1(i);
705a83710eSEric Fiselier assert(count == save_count+4);
715a83710eSEric Fiselier save_count = count;
725a83710eSEric Fiselier }
735a83710eSEric Fiselier // member function pointer
745a83710eSEric Fiselier {
755a83710eSEric Fiselier void (A_void_1::*fp)() = &A_void_1::mem1;
765a83710eSEric Fiselier std::reference_wrapper<void (A_void_1::*)()> r1(fp);
775a83710eSEric Fiselier A_void_1 a;
785a83710eSEric Fiselier r1(a);
795a83710eSEric Fiselier assert(count == save_count+1);
805a83710eSEric Fiselier save_count = count;
815a83710eSEric Fiselier A_void_1* ap = &a;
825a83710eSEric Fiselier r1(ap);
835a83710eSEric Fiselier assert(count == save_count+1);
845a83710eSEric Fiselier save_count = count;
855a83710eSEric Fiselier }
865a83710eSEric Fiselier // const member function pointer
875a83710eSEric Fiselier {
885a83710eSEric Fiselier void (A_void_1::*fp)() const = &A_void_1::mem2;
895a83710eSEric Fiselier std::reference_wrapper<void (A_void_1::*)() const> r1(fp);
905a83710eSEric Fiselier A_void_1 a;
915a83710eSEric Fiselier r1(a);
925a83710eSEric Fiselier assert(count == save_count+1);
935a83710eSEric Fiselier save_count = count;
945a83710eSEric Fiselier A_void_1* ap = &a;
955a83710eSEric Fiselier r1(ap);
965a83710eSEric Fiselier assert(count == save_count+1);
975a83710eSEric Fiselier save_count = count;
985a83710eSEric Fiselier }
995a83710eSEric Fiselier }
1005a83710eSEric Fiselier
1015a83710eSEric Fiselier // 1 arg, return int
1025a83710eSEric Fiselier
f_int_1(int i)1035a83710eSEric Fiselier int f_int_1(int i)
1045a83710eSEric Fiselier {
1055a83710eSEric Fiselier return i + 1;
1065a83710eSEric Fiselier }
1075a83710eSEric Fiselier
1085a83710eSEric Fiselier struct A_int_1
1095a83710eSEric Fiselier {
A_int_1A_int_11105a83710eSEric Fiselier A_int_1() : data_(5) {}
operator ()A_int_11115a83710eSEric Fiselier int operator()(int i)
1125a83710eSEric Fiselier {
1135a83710eSEric Fiselier return i - 1;
1145a83710eSEric Fiselier }
1155a83710eSEric Fiselier
mem1A_int_11165a83710eSEric Fiselier int mem1() {return 3;}
mem2A_int_11175a83710eSEric Fiselier int mem2() const {return 4;}
1185a83710eSEric Fiselier int data_;
1195a83710eSEric Fiselier };
1205a83710eSEric Fiselier
1215a83710eSEric Fiselier void
test_int_1()1225a83710eSEric Fiselier test_int_1()
1235a83710eSEric Fiselier {
1245a83710eSEric Fiselier // function
1255a83710eSEric Fiselier {
1265a83710eSEric Fiselier std::reference_wrapper<int (int)> r1(f_int_1);
1275a83710eSEric Fiselier int i = 2;
1285a83710eSEric Fiselier assert(r1(i) == 3);
1295a83710eSEric Fiselier }
1305a83710eSEric Fiselier // function pointer
1315a83710eSEric Fiselier {
1325a83710eSEric Fiselier int (*fp)(int) = f_int_1;
1335a83710eSEric Fiselier std::reference_wrapper<int (*)(int)> r1(fp);
1345a83710eSEric Fiselier int i = 3;
1355a83710eSEric Fiselier assert(r1(i) == 4);
1365a83710eSEric Fiselier }
1375a83710eSEric Fiselier // functor
1385a83710eSEric Fiselier {
1395a83710eSEric Fiselier A_int_1 a0;
1405a83710eSEric Fiselier std::reference_wrapper<A_int_1> r1(a0);
1415a83710eSEric Fiselier int i = 4;
1425a83710eSEric Fiselier assert(r1(i) == 3);
1435a83710eSEric Fiselier }
1445a83710eSEric Fiselier // member function pointer
1455a83710eSEric Fiselier {
1465a83710eSEric Fiselier int (A_int_1::*fp)() = &A_int_1::mem1;
1475a83710eSEric Fiselier std::reference_wrapper<int (A_int_1::*)()> r1(fp);
1485a83710eSEric Fiselier A_int_1 a;
1495a83710eSEric Fiselier assert(r1(a) == 3);
1505a83710eSEric Fiselier A_int_1* ap = &a;
1515a83710eSEric Fiselier assert(r1(ap) == 3);
1525a83710eSEric Fiselier }
1535a83710eSEric Fiselier // const member function pointer
1545a83710eSEric Fiselier {
1555a83710eSEric Fiselier int (A_int_1::*fp)() const = &A_int_1::mem2;
1565a83710eSEric Fiselier std::reference_wrapper<int (A_int_1::*)() const> r1(fp);
1575a83710eSEric Fiselier A_int_1 a;
1585a83710eSEric Fiselier assert(r1(a) == 4);
1595a83710eSEric Fiselier A_int_1* ap = &a;
1605a83710eSEric Fiselier assert(r1(ap) == 4);
1615a83710eSEric Fiselier }
1625a83710eSEric Fiselier // member data pointer
1635a83710eSEric Fiselier {
1645a83710eSEric Fiselier int A_int_1::*fp = &A_int_1::data_;
1655a83710eSEric Fiselier std::reference_wrapper<int A_int_1::*> r1(fp);
1665a83710eSEric Fiselier A_int_1 a;
1675a83710eSEric Fiselier assert(r1(a) == 5);
1685a83710eSEric Fiselier r1(a) = 6;
1695a83710eSEric Fiselier assert(r1(a) == 6);
1705a83710eSEric Fiselier A_int_1* ap = &a;
1715a83710eSEric Fiselier assert(r1(ap) == 6);
1725a83710eSEric Fiselier r1(ap) = 7;
1735a83710eSEric Fiselier assert(r1(ap) == 7);
1745a83710eSEric Fiselier }
1755a83710eSEric Fiselier }
1765a83710eSEric Fiselier
1775a83710eSEric Fiselier // 2 arg, return void
1785a83710eSEric Fiselier
f_void_2(int i,int j)1795a83710eSEric Fiselier void f_void_2(int i, int j)
1805a83710eSEric Fiselier {
1815a83710eSEric Fiselier count += i+j;
1825a83710eSEric Fiselier }
1835a83710eSEric Fiselier
1845a83710eSEric Fiselier struct A_void_2
1855a83710eSEric Fiselier {
operator ()A_void_21865a83710eSEric Fiselier void operator()(int i, int j)
1875a83710eSEric Fiselier {
1885a83710eSEric Fiselier count += i+j;
1895a83710eSEric Fiselier }
1905a83710eSEric Fiselier
mem1A_void_21915a83710eSEric Fiselier void mem1(int i) {count += i;}
mem2A_void_21925a83710eSEric Fiselier void mem2(int i) const {count += i;}
1935a83710eSEric Fiselier };
1945a83710eSEric Fiselier
1955a83710eSEric Fiselier void
test_void_2()1965a83710eSEric Fiselier test_void_2()
1975a83710eSEric Fiselier {
1985a83710eSEric Fiselier int save_count = count;
1995a83710eSEric Fiselier // function
2005a83710eSEric Fiselier {
2015a83710eSEric Fiselier std::reference_wrapper<void (int, int)> r1(f_void_2);
2025a83710eSEric Fiselier int i = 2;
2035a83710eSEric Fiselier int j = 3;
2045a83710eSEric Fiselier r1(i, j);
2055a83710eSEric Fiselier assert(count == save_count+5);
2065a83710eSEric Fiselier save_count = count;
2075a83710eSEric Fiselier }
2085a83710eSEric Fiselier // function pointer
2095a83710eSEric Fiselier {
2105a83710eSEric Fiselier void (*fp)(int, int) = f_void_2;
2115a83710eSEric Fiselier std::reference_wrapper<void (*)(int, int)> r1(fp);
2125a83710eSEric Fiselier int i = 3;
2135a83710eSEric Fiselier int j = 4;
2145a83710eSEric Fiselier r1(i, j);
2155a83710eSEric Fiselier assert(count == save_count+7);
2165a83710eSEric Fiselier save_count = count;
2175a83710eSEric Fiselier }
2185a83710eSEric Fiselier // functor
2195a83710eSEric Fiselier {
2205a83710eSEric Fiselier A_void_2 a0;
2215a83710eSEric Fiselier std::reference_wrapper<A_void_2> r1(a0);
2225a83710eSEric Fiselier int i = 4;
2235a83710eSEric Fiselier int j = 5;
2245a83710eSEric Fiselier r1(i, j);
2255a83710eSEric Fiselier assert(count == save_count+9);
2265a83710eSEric Fiselier save_count = count;
2275a83710eSEric Fiselier }
2285a83710eSEric Fiselier // member function pointer
2295a83710eSEric Fiselier {
2305a83710eSEric Fiselier void (A_void_2::*fp)(int) = &A_void_2::mem1;
2315a83710eSEric Fiselier std::reference_wrapper<void (A_void_2::*)(int)> r1(fp);
2325a83710eSEric Fiselier A_void_2 a;
2335a83710eSEric Fiselier int i = 3;
2345a83710eSEric Fiselier r1(a, i);
2355a83710eSEric Fiselier assert(count == save_count+3);
2365a83710eSEric Fiselier save_count = count;
2375a83710eSEric Fiselier A_void_2* ap = &a;
2385a83710eSEric Fiselier r1(ap, i);
2395a83710eSEric Fiselier assert(count == save_count+3);
2405a83710eSEric Fiselier save_count = count;
2415a83710eSEric Fiselier }
2425a83710eSEric Fiselier // const member function pointer
2435a83710eSEric Fiselier {
2445a83710eSEric Fiselier void (A_void_2::*fp)(int) const = &A_void_2::mem2;
2455a83710eSEric Fiselier std::reference_wrapper<void (A_void_2::*)(int) const> r1(fp);
2465a83710eSEric Fiselier A_void_2 a;
2475a83710eSEric Fiselier int i = 4;
2485a83710eSEric Fiselier r1(a, i);
2495a83710eSEric Fiselier assert(count == save_count+4);
2505a83710eSEric Fiselier save_count = count;
2515a83710eSEric Fiselier A_void_2* ap = &a;
2525a83710eSEric Fiselier r1(ap, i);
2535a83710eSEric Fiselier assert(count == save_count+4);
2545a83710eSEric Fiselier save_count = count;
2555a83710eSEric Fiselier }
2565a83710eSEric Fiselier }
2575a83710eSEric Fiselier
2585a83710eSEric Fiselier // 2 arg, return int
2595a83710eSEric Fiselier
f_int_2(int i,int j)2605a83710eSEric Fiselier int f_int_2(int i, int j)
2615a83710eSEric Fiselier {
2625a83710eSEric Fiselier return i+j;
2635a83710eSEric Fiselier }
2645a83710eSEric Fiselier
2655a83710eSEric Fiselier struct A_int_2
2665a83710eSEric Fiselier {
operator ()A_int_22675a83710eSEric Fiselier int operator()(int i, int j)
2685a83710eSEric Fiselier {
2695a83710eSEric Fiselier return i+j;
2705a83710eSEric Fiselier }
2715a83710eSEric Fiselier
mem1A_int_22725a83710eSEric Fiselier int mem1(int i) {return i+1;}
mem2A_int_22735a83710eSEric Fiselier int mem2(int i) const {return i+2;}
2745a83710eSEric Fiselier };
2755a83710eSEric Fiselier
2765a83710eSEric Fiselier void
testint_2()2775a83710eSEric Fiselier testint_2()
2785a83710eSEric Fiselier {
2795a83710eSEric Fiselier // function
2805a83710eSEric Fiselier {
2815a83710eSEric Fiselier std::reference_wrapper<int (int, int)> r1(f_int_2);
2825a83710eSEric Fiselier int i = 2;
2835a83710eSEric Fiselier int j = 3;
2845a83710eSEric Fiselier assert(r1(i, j) == i+j);
2855a83710eSEric Fiselier }
2865a83710eSEric Fiselier // function pointer
2875a83710eSEric Fiselier {
2885a83710eSEric Fiselier int (*fp)(int, int) = f_int_2;
2895a83710eSEric Fiselier std::reference_wrapper<int (*)(int, int)> r1(fp);
2905a83710eSEric Fiselier int i = 3;
2915a83710eSEric Fiselier int j = 4;
2925a83710eSEric Fiselier assert(r1(i, j) == i+j);
2935a83710eSEric Fiselier }
2945a83710eSEric Fiselier // functor
2955a83710eSEric Fiselier {
2965a83710eSEric Fiselier A_int_2 a0;
2975a83710eSEric Fiselier std::reference_wrapper<A_int_2> r1(a0);
2985a83710eSEric Fiselier int i = 4;
2995a83710eSEric Fiselier int j = 5;
3005a83710eSEric Fiselier assert(r1(i, j) == i+j);
3015a83710eSEric Fiselier }
3025a83710eSEric Fiselier // member function pointer
3035a83710eSEric Fiselier {
3045a83710eSEric Fiselier int(A_int_2::*fp)(int) = &A_int_2::mem1;
3055a83710eSEric Fiselier std::reference_wrapper<int (A_int_2::*)(int)> r1(fp);
3065a83710eSEric Fiselier A_int_2 a;
3075a83710eSEric Fiselier int i = 3;
3085a83710eSEric Fiselier assert(r1(a, i) == i+1);
3095a83710eSEric Fiselier A_int_2* ap = &a;
3105a83710eSEric Fiselier assert(r1(ap, i) == i+1);
3115a83710eSEric Fiselier }
3125a83710eSEric Fiselier // const member function pointer
3135a83710eSEric Fiselier {
3145a83710eSEric Fiselier int (A_int_2::*fp)(int) const = &A_int_2::mem2;
3155a83710eSEric Fiselier std::reference_wrapper<int (A_int_2::*)(int) const> r1(fp);
3165a83710eSEric Fiselier A_int_2 a;
3175a83710eSEric Fiselier int i = 4;
3185a83710eSEric Fiselier assert(r1(a, i) == i+2);
3195a83710eSEric Fiselier A_int_2* ap = &a;
3205a83710eSEric Fiselier assert(r1(ap, i) == i+2);
3215a83710eSEric Fiselier }
3225a83710eSEric Fiselier }
3235a83710eSEric Fiselier
main(int,char **)3242df59c50SJF Bastien int main(int, char**)
3255a83710eSEric Fiselier {
3265a83710eSEric Fiselier test_void_1();
3275a83710eSEric Fiselier test_int_1();
3285a83710eSEric Fiselier test_void_2();
3295a83710eSEric Fiselier testint_2();
3302df59c50SJF Bastien
3312df59c50SJF Bastien return 0;
3325a83710eSEric Fiselier }
333