Repository navigation
Expand file tree
/
Copy path14.cpp
More file actions
225 lines (168 loc) · 5.05 KB
/
Copy path14.cpp
File metadata and controls
225 lines (168 loc) · 5.05 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
/**
@file
@brief C++14
@defgroup CPP14 C++14 examples
https://en.wikipedia.org/wiki/C++14
https://isocpp.org/wiki/faq/cpp14-language
https://github.com/AnthonyCalandra/modern-cpp-features/blob/master/CPP14.md
@{
*/
static_assert(__cplusplus == 201402, "");
#include <bits/stdc++.h>
using namespace std;
/**
@defgroup ded14 Deduction
@{
*/
#define static_assert(a) static_assert(a, "")
static_assert(__cpp_return_type_deduction);
auto implicit_int_return_type()
{
return 1;
}
// template <typename T> T before_deduced_return_type(int a) { return a; }
auto deduced_return_type(int a)
{
return a;
}
// template <typename T> T& before_deduced_return_type_template(T& a) { return a; }
template <typename T>
auto& deduced_return_type_template(T& t)
{
return t;
}
// Returns a reference to a deduced type.
auto deduced_return_type_lambda = [](auto& x) -> auto&
{
return deduced_return_type_template(x);
};
void return_type_deduction_demo()
{
implicit_int_return_type();
auto x = deduced_return_type(1);
int& y = deduced_return_type_lambda(x); // reference to `x`
assert(&y == &x);
assert(y == 1);
}
/// @}
/**
@defgroup other14 Other
@{
TODO:
https://en.cppreference.com/w/cpp/container/map/find
https://en.cppreference.com/w/cpp/language/constexpr
https://en.cppreference.com/w/cpp/language/integer_literal
https://en.cppreference.com/w/cpp/language/function // decltype(auto)
https://en.cppreference.com/w/cpp/language/aggregate_initialization
https://en.cppreference.com/w/cpp/thread/shared_timed_mutex
https://en.cppreference.com/w/cpp/thread/shared_lock
https://en.cppreference.com/w/cpp/utility/integer_sequence
https://en.cppreference.com/w/cpp/utility/exchange
https://en.cppreference.com/w/cpp/utility/forward
https://en.cppreference.com/w/cpp/io/manip/quoted
// [[deprecated]]
*/
/// Binary literals, digit separators
/// Template variables
/// https://en.cppreference.com/w/cpp/language/variable_template
static_assert(__cpp_variable_templates);
/// Numeric pi
template <typename T>
T pi = T(3.141592653589793238462643383);
// String pi
// Usual specialization rules apply:
template <>
const char* pi<const char*> = "pi";
static void demo()
{
assert(pi<int> == 3);
assert(string(pi<const char*>) == "pi");
auto binary_literal = 0b0100'1100'0110;
auto integer_literal = 1'000'000;
auto floating_point_literal = 0.000'015'3;
/// Standard user-defined literals
auto str = "hello world"s; // auto deduces string
auto dur = 60s; // auto deduces chrono::seconds
}
void types_14()
{
static_assert(is_null_pointer<decltype(nullptr)>::value);
static_assert(is_null_pointer<nullptr_t>::value);
static_assert(__cpp_decltype);
static_assert(is_integral<int>());
// Tuple addressing via type
tuple<string, string, int> tuple_by_type("foo", "bar", 7);
int i = get<int>(tuple_by_type);
assert(i == 7);
int j = get<2>(tuple_by_type);
assert(j == 7);
// https://en.cppreference.com/w/cpp/language/auto
int a = 0;
static_assert(__cpp_decltype_auto);
decltype(auto) a_copy = a;
assert(&a_copy != &a);
decltype(auto) a_ref = (a);
assert(&a_ref == &a);
// https://en.cppreference.com/w/cpp/memory/unique_ptr/make_unique
// auto u = unique_ptr<int>(new int(1));
auto u = make_unique<int>(1);
assert(u);
assert(*u == 1);
auto ua = make_unique<int[]>(3);
}
/// @}
/**
@defgroup lambda14 Lambda
https://en.cppreference.com/w/cpp/language/lambda
@{
*/
static void lambda_14()
{
// Generic lambdas
// auto before_generic_lambda = [](int x) { return x; };
static_assert(__cpp_generic_lambdas);
auto generic_lambda = [](auto x) { return x; };
auto universal_size = [](const auto& m) { return m.size(); };
static_assert(__cpp_init_captures);
auto capture_initializers = [value = 1] { return value; };
assert(capture_initializers() == 1);
auto mutable_lambda = [value = 1]() mutable { return ++value; };
assert(mutable_lambda() == 2);
assert(mutable_lambda() == 3);
// capture initialization can change context
int c = 0;
auto change_c = [value = ++c] {};
assert(c == 1);
unique_ptr<int> ptr(new int(10));
auto capture_by_move = [value = move(ptr)] { return *value; };
}
/// Compare with @ref lambda::sort_11
void sort_14()
{
array<int, 10> s = { 5, 7, 4, 2, 8, 6, 1, 9, 0, 3 };
sort(s.begin(), s.end(),
// sort using a generic lambda expression
[](auto a, auto b) // C++14 allows auto
{ return a > b; });
// https://stackoverflow.com/questions/18045208/override-mapcompare-with-lambda-function-directly
auto reverse = map<string, int, function<bool(const string&, const string&)>> {
[](const auto& a, const auto& b) { return a > b; }
}
= {
{ "a", 2 },
{ "b", 1 },
{ "c", 0 },
};
assert(reverse.begin()->first == "c");
assert(reverse.begin()->second == 0);
}
/// @}
int main(void)
{
return_type_deduction_demo();
demo();
sort_14();
types_14();
lambda_14();
}
/// @}