Mercurial > hg > CbC > CbC_gcc

annotate gcc/testsuite/g++.dg/cpp1z/pr85569.C @ 145:1830386684a0

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
gcc-9.2.0
author anatofuz
date Thu, 13 Feb 2020 11:34:05 +0900
parents
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
145
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
1 // { dg-do compile { target c++17 } }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
2
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
3 #include <utility>
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
4 #include <tuple>
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
5 #include <functional>
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
6
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
7 #define LIFT_FWD(x) std::forward<decltype(x)>(x)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
8
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
9 template <typename T>
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
10 inline
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
11 constexpr
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
12 auto
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
13 equal(
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
14 T &&t)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
15 {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
16 return [t = std::forward<T>(t)](const auto& obj)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
17 -> decltype(obj == t)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
18 {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
19 return obj == t;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
20 };
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
21 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
22
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
23 template <typename F, typename T>
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
24 struct is_tuple_invocable;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
25
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
26 template <typename F, typename ... Ts>
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
27 struct is_tuple_invocable<F, std::tuple<Ts...>>
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
28 {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
29 using type = typename std::is_invocable<F, Ts...>::type;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
30 };
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
31
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
32 template <typename F>
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
33 inline
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
34 constexpr
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
35 auto
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
36 compose(
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
37 F&& f
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
38 )
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
39 noexcept
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
40 -> F
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
41 {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
42 return std::forward<F>(f);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
43 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
44
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
45 namespace detail {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
46 template <typename F, typename Tail, typename ... T>
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
47 inline
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
48 constexpr
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
49 auto
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
50 compose(
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
51 std::true_type,
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
52 F&& f,
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
53 Tail&& tail,
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
54 T&& ... objs)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
55 noexcept(noexcept(f(tail(std::forward<T>(objs)...))))
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
56 -> decltype(f(tail(std::forward<T>(objs)...)))
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
57 {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
58 return f(tail(std::forward<T>(objs)...));
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
59 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
60 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
61 template <typename F, typename ... Fs>
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
62 inline
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
63 constexpr
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
64 auto
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
65 compose(
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
66 F&& f,
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
67 Fs&&... fs)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
68 {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
69 return [f = std::forward<F>(f), tail = compose(std::forward<Fs>(fs)...)]
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
70 (auto&& ... objs)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
71 -> decltype(detail::compose(typename std::is_invocable<decltype(compose(std::forward<Fs>(fs)...)), decltype(objs)...>::type{},
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
72 f,
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
73 compose(std::forward<Fs>(fs)...),
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
74 LIFT_FWD(objs)...))
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
75 {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
76 using tail_type = decltype(compose(std::forward<Fs>(fs)...));
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
77
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
78 #ifndef NOT_VIA_TUPLE
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
79 using args_type = std::tuple<decltype(objs)...>;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
80 constexpr auto unitail = typename is_tuple_invocable<tail_type, args_type>::type{};
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
81 #else
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
82 constexpr auto unitail = typename std::is_invocable<tail_type, decltype(objs)...>::type{};
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
83 #endif
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
84
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
85 return detail::compose(unitail, f, tail, LIFT_FWD(objs)...);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
86 };
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
87 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
88
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
89 template <auto N>
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
90 constexpr auto eq = equal(N);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
91
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
92 static_assert(compose(eq<3>,
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
93 std::plus<>{})(1,2),
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
94 "compose is constexpr");