annotate gcc/testsuite/g++.dg/cpp0x/constexpr-tuple.C @ 131:84e7813d76e9

gcc-8.2
author mir3636
date Thu, 25 Oct 2018 07:37:49 +0900
parents 04ced10e8804
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
111
kono
parents:
diff changeset
1 // PR c++/53202
kono
parents:
diff changeset
2 // { dg-do run { target c++11 } }
kono
parents:
diff changeset
3
kono
parents:
diff changeset
4 #include <tuple>
kono
parents:
diff changeset
5
kono
parents:
diff changeset
6 template<typename Callable>
kono
parents:
diff changeset
7 struct Bind_simple
kono
parents:
diff changeset
8 {
kono
parents:
diff changeset
9 explicit
kono
parents:
diff changeset
10 Bind_simple(const Callable& callable)
kono
parents:
diff changeset
11 : _M_bound(callable)
kono
parents:
diff changeset
12 { }
kono
parents:
diff changeset
13
kono
parents:
diff changeset
14 Bind_simple(const Bind_simple&) = default;
kono
parents:
diff changeset
15 Bind_simple(Bind_simple&&) = default;
kono
parents:
diff changeset
16
kono
parents:
diff changeset
17 auto operator()() -> decltype((*(Callable*)0)())
kono
parents:
diff changeset
18 {
kono
parents:
diff changeset
19 return std::get<0>(_M_bound)();
kono
parents:
diff changeset
20 }
kono
parents:
diff changeset
21
kono
parents:
diff changeset
22 private:
kono
parents:
diff changeset
23
kono
parents:
diff changeset
24 std::tuple<Callable> _M_bound;
kono
parents:
diff changeset
25 };
kono
parents:
diff changeset
26
kono
parents:
diff changeset
27 template<typename Callable>
kono
parents:
diff changeset
28 Bind_simple<Callable>
kono
parents:
diff changeset
29 bind_simple(Callable& callable)
kono
parents:
diff changeset
30 {
kono
parents:
diff changeset
31 return Bind_simple<Callable>(callable);
kono
parents:
diff changeset
32 }
kono
parents:
diff changeset
33
kono
parents:
diff changeset
34 struct thread
kono
parents:
diff changeset
35 {
kono
parents:
diff changeset
36 struct ImplBase { };
kono
parents:
diff changeset
37
kono
parents:
diff changeset
38 template<typename T>
kono
parents:
diff changeset
39 struct Impl : ImplBase {
kono
parents:
diff changeset
40 T t;
kono
parents:
diff changeset
41 Impl(T&& t) : t(std::move(t)) { }
kono
parents:
diff changeset
42 };
kono
parents:
diff changeset
43
kono
parents:
diff changeset
44 template<typename T>
kono
parents:
diff changeset
45 thread(T& t)
kono
parents:
diff changeset
46 {
kono
parents:
diff changeset
47 auto p = make_routine(bind_simple(t));
kono
parents:
diff changeset
48
kono
parents:
diff changeset
49 p->t();
kono
parents:
diff changeset
50
kono
parents:
diff changeset
51 delete p;
kono
parents:
diff changeset
52 }
kono
parents:
diff changeset
53
kono
parents:
diff changeset
54 template<typename Callable>
kono
parents:
diff changeset
55 Impl<Callable>*
kono
parents:
diff changeset
56 make_routine(Callable&& f)
kono
parents:
diff changeset
57 {
kono
parents:
diff changeset
58 return new Impl<Callable>(std::forward<Callable>(f));
kono
parents:
diff changeset
59 }
kono
parents:
diff changeset
60 };
kono
parents:
diff changeset
61
kono
parents:
diff changeset
62
kono
parents:
diff changeset
63 int c;
kono
parents:
diff changeset
64 class background_hello
kono
parents:
diff changeset
65 {
kono
parents:
diff changeset
66 public:
kono
parents:
diff changeset
67 background_hello()
kono
parents:
diff changeset
68 {
kono
parents:
diff changeset
69 __builtin_printf("default ctor called, this=%p\n", this);
kono
parents:
diff changeset
70 ++c;
kono
parents:
diff changeset
71 }
kono
parents:
diff changeset
72
kono
parents:
diff changeset
73 background_hello(const background_hello &)
kono
parents:
diff changeset
74 {
kono
parents:
diff changeset
75 __builtin_printf("copy ctor called\n");
kono
parents:
diff changeset
76 ++c;
kono
parents:
diff changeset
77 }
kono
parents:
diff changeset
78
kono
parents:
diff changeset
79 background_hello(background_hello &&)
kono
parents:
diff changeset
80 {
kono
parents:
diff changeset
81 __builtin_printf("move ctor called\n");
kono
parents:
diff changeset
82 ++c;
kono
parents:
diff changeset
83 }
kono
parents:
diff changeset
84
kono
parents:
diff changeset
85 void operator ()() const
kono
parents:
diff changeset
86 {
kono
parents:
diff changeset
87 __builtin_printf("void background_hello::operator()() called, this=%p\n", this);
kono
parents:
diff changeset
88 }
kono
parents:
diff changeset
89
kono
parents:
diff changeset
90 ~background_hello()
kono
parents:
diff changeset
91 {
kono
parents:
diff changeset
92 __builtin_printf("destructor called, this=%p\n", this);
kono
parents:
diff changeset
93 --c;
kono
parents:
diff changeset
94 }
kono
parents:
diff changeset
95
kono
parents:
diff changeset
96 };
kono
parents:
diff changeset
97
kono
parents:
diff changeset
98 int main()
kono
parents:
diff changeset
99 {
kono
parents:
diff changeset
100 {
kono
parents:
diff changeset
101 background_hello bh;
kono
parents:
diff changeset
102 thread t(bh);
kono
parents:
diff changeset
103 }
kono
parents:
diff changeset
104 if (c != 0)
kono
parents:
diff changeset
105 __builtin_abort ();
kono
parents:
diff changeset
106 }