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
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
|
/**
* ini_config.hpp - Evaluate INI configs at compile-time for efficient use at run-time.
* Written by Clyne Sullivan.
* https://github.com/tcsullivan/ini-config
*/
#ifndef TCSULLIVAN_INI_CONFIG_HPP
#define TCSULLIVAN_INI_CONFIG_HPP
// Uncomment below to run std::forward_iterator check
//#define TCSULLIVAN_INI_CONFIG_CHECK_FORWARD_ITERATOR
#ifdef TCSULLIVAN_INI_CONFIG_CHECK_FORWARD_ITERATOR
#include <iterator> // std::forward_iterator
#endif
#include <concepts> // std::integral, std::floating_point
#include <compare> // std::strong_ordering
namespace ini_config {
/**
* A minimal container for a given string literal, used to allow string
* literals to be passed as template parameters.
*/
template<typename T = char, unsigned long int N = 0>
struct string_container {
using char_type = T;
char_type data[N];
consteval string_container(const char_type (&s)[N]) noexcept {
auto dst = data;
for (auto src = s; src != s + N; ++src)
*dst++ = *src;
}
consteval operator const char_type *() const noexcept {
return data;
}
consteval auto size() const noexcept {
return N;
}
consteval auto begin() const noexcept {
return data;
}
consteval auto end() const noexcept {
return data + N;
}
};
template<auto Input>
class ini_config
{
// Private implementation stuff must be defined first.
// Jump to the public section below for the available interface.
using char_type = typename decltype(Input)::char_type;
consteval static bool isgraph(char_type c) noexcept {
return c > ' ' && c != 0x7F;
}
consteval static bool iseol(char_type c) noexcept {
return c == '\n' || c == '\0';
}
consteval static bool iscomment(char_type c) noexcept {
return c == ';' || c == '#';
}
constexpr static bool stringmatch(const char_type *a, const char_type *b) noexcept {
while (*a == *b && (*a != '\0' || *b != '\0'))
++a, ++b;
return *a == *b && *a == '\0';
}
consteval static const char_type *nextline(const char_type *in) noexcept {
while (!iseol(*in))
++in;
return in + 1;
}
template<std::integral int_type>
constexpr static int_type from_string(const char_type *str) noexcept {
int_type ret = 0;
bool neg = *str == '-';
if (neg)
++str;
for (; *str && *str >= '0' && *str <= '9'; ++str)
ret = ret * 10 + (*str - '0');
return !neg ? ret : -ret;
}
template<std::floating_point float_type>
constexpr static float_type from_string(const char_type *str) noexcept {
float_type ret = 0;
bool neg = *str == '-';
if (neg)
++str;
for (; *str && *str >= '0' && *str <= '9'; ++str)
ret = ret * 10 + (*str - '0');
if (*str == '.') {
float_type dec = 0.1;
for (++str; *str && *str >= '0' && *str <= '9'; ++str) {
ret += (*str - '0') * dec;
dec /= 10;
}
}
return !neg ? ret : -ret;
}
// Validates INI syntax, returning the count of chars
// needed to store all section names, keys, and values
consteval static unsigned int verify_and_size() {
unsigned int sizechars = 0;
auto line = Input.begin();
do {
auto p = line;
// Remove beginning whitespace
for (; !iseol(*p) && !isgraph(*p); ++p);
if (iseol(*p) || iscomment(*p))
continue;
// Check for section header
if (*p == '[') {
do {
++sizechars;
++p;
} while (!iseol(*p) && *p != ']');
if (iseol(*p))
throw "Bad section tag!";
++sizechars; // Null terminator
continue;
}
// This is the key (and whitespace until =)
for (bool keyend = false; !iseol(*p); ++p) {
if (*p == '=')
break;
if (!keyend) {
if (!isgraph(*p))
keyend = true;
else
++sizechars;
} else {
if (isgraph(*p))
throw "Invalid key!";
}
}
if (*p != '=')
throw "Invalid key!";
++p;
// Next is the value
auto oldsizechars = sizechars;
for (bool valuestart = false; !iseol(*p); ++p) {
if (!valuestart && isgraph(*p))
valuestart = true;
if (valuestart)
++sizechars;
}
if (oldsizechars == sizechars)
throw "No value!";
// All good, add two bytes for key/value terminators
sizechars += 2;
} while ((line = nextline(line)) != Input.end());
return sizechars;
}
// Counts how many key-value pairs are in the text
consteval static unsigned int kvpcount() noexcept {
unsigned int count = 0;
auto line = Input.begin();
do {
auto p = line;
// Remove beginning whitespace
for (; !iseol(*p) && !isgraph(*p); ++p);
if (iseol(*p) || iscomment(*p) || *p == '[')
continue;
count++; // Must be a key-value pair
} while ((line = nextline(line)) != Input.end());
return count;
}
// A compact buffer for section names, keys, and values
char_type kvp_buffer[verify_and_size() + 1] = {};
consteval void fill_kvp_buffer() noexcept {
auto bptr = kvp_buffer;
auto line = Input.begin();
do {
auto p = line;
// Remove beginning whitespace
for (; !iseol(*p) && !isgraph(*p); ++p);
if (iseol(*p) || iscomment(*p))
continue;
if (*p == '[') {
do {
*bptr++ = *p++;
} while (*p != ']');
*bptr++ = '\0';
continue;
}
// This is the key (and whitespace until =)
for (bool keyend = false; !iseol(*p); ++p) {
if (*p == '=')
break;
if (!keyend) {
if (!isgraph(*p))
keyend = true;
else
*bptr++ = *p;
}
}
++p;
*bptr++ = '\0';
// Next is the value
for (bool valuestart = false; !iseol(*p); ++p) {
if (!valuestart && isgraph(*p))
valuestart = true;
if (valuestart)
*bptr++ = *p;
}
*bptr++ = '\0';
} while ((line = nextline(line)) != Input.end());
*bptr = '\0';
}
public:
// Stores a key-value pair, including a section identifier
struct kvp {
const char_type *section = nullptr;
const char_type *first = nullptr;
const char_type *second = nullptr;
};
class iterator {
const char_type *m_pos = nullptr;
kvp m_current = {};
constexpr const auto& get_next() noexcept {
if (*m_pos == '\0') {
// Set first to nullptr to indicate that we're at the end
m_current.first = nullptr;
} else {
// Enter new section(s) if necessary
while (*m_pos == '[') {
m_current.section = m_pos + 1;
while (*m_pos++ != '\0');
}
m_current.first = m_pos;
while (*m_pos++ != '\0');
m_current.second = m_pos;
while (*m_pos++ != '\0');
}
return m_current;
}
public:
using difference_type = long int;
using value_type = kvp;
// 'pos' is a location within kvp_buffer
constexpr iterator(const char_type *pos) noexcept
: m_pos(pos)
{
while (*m_pos == '[') {
m_current.section = m_pos + 1;
while (*m_pos++ != '\0');
}
get_next();
}
constexpr iterator() = default;
constexpr const auto& operator*() const noexcept {
return m_current;
}
constexpr const auto *operator->() const noexcept {
return &m_current;
}
constexpr auto& operator++() noexcept {
get_next();
return *this;
}
constexpr auto operator++(int) noexcept {
auto copy = *this;
get_next();
return copy;
}
constexpr auto operator<=>(const iterator& other) const noexcept {
if (auto poscomp = m_pos <=> other.m_pos; poscomp != 0)
return poscomp;
if (m_current.first == nullptr)
return std::strong_ordering::greater;
else if (other.m_current.first == nullptr)
return std::strong_ordering::less;
else
return m_current.first <=> other.m_current.first;
}
constexpr bool operator==(const iterator& other) const noexcept {
return m_pos == other.m_pos && m_current.first == other.m_current.first;
}
};
/**
* Constructs the ini_config object, populating the section/key/value
* buffer.
*/
consteval ini_config() noexcept
#ifdef TCSULLIVAN_INI_CONFIG_CHECK_FORWARD_ITERATOR
requires(std::forward_iterator<iterator>)
#endif
{
fill_kvp_buffer();
}
/**
* Returns the number of key-value pairs.
*/
consteval auto size() const noexcept {
return kvpcount();
}
constexpr auto begin() const noexcept {
return iterator(kvp_buffer);
}
constexpr auto end() const noexcept {
return iterator(kvp_buffer + sizeof(kvp_buffer) / sizeof(char_type) - 1);
}
constexpr auto cbegin() const noexcept {
return begin();
}
constexpr auto cend() const noexcept {
return end();
}
/**
* Returns beginning iterator for the given section.
*/
constexpr auto begin(const char_type *section) const noexcept {
auto it = begin();
do {
if (it->section != nullptr && stringmatch(it->section, section))
break;
} while (++it != end());
return it;
}
/**
* Returns end iterator for the given section.
*/
constexpr auto end(const char_type *section) const noexcept {
auto it = begin(section);
while (++it != end() && stringmatch(it->section, section));
return it;
}
class section_view {
iterator m_begin;
iterator m_end;
public:
constexpr section_view(const ini_config& ini, const char_type *section)
: m_begin(ini.begin(section)), m_end(ini.end(section)) {}
constexpr auto begin() const noexcept {
return m_begin;
}
constexpr auto end() const noexcept {
return m_end;
}
};
/**
* Creates a 'view' for the given section, for use with ranged for.
*/
constexpr auto section(const char_type *s) const noexcept {
return section_view(*this, s);
}
/**
* Returns the value for the given key as a string.
* Returns "" if key does not exist.
*/
consteval auto get(const char_type *key) const noexcept {
for (auto kvp : *this) {
if (stringmatch(kvp.first, key))
return kvp.second;
}
return "";
}
/**
* Returns the value for the given key, converted to the given type.
* Returns zero if key does not exist.
*/
template<typename T> requires(std::integral<T> || std::floating_point<T>)
consteval T get(const char_type *key) const noexcept {
return from_string<T>(get(key));
}
/**
* Returns the value for the given key in the given section.
* Returns "" on failure.
*/
consteval auto get(const char_type *sec, const char_type *key) const noexcept {
for (auto kvp : section(sec)) {
if (stringmatch(kvp.first, key))
return kvp.second;
}
return "";
}
/**
* Returns the value for the given key in the given section,
* converting it to the specified type.
* Returns zero on failure.
*/
template<typename T> requires(std::integral<T> || std::floating_point<T>)
consteval T get(const char_type *sec, const char_type *key) const noexcept {
return from_string<T>(get(sec, key));
}
/**
* tryget() calls are for run-time use when 'sec' or 'key'
* is not known at compile-time.
*/
auto tryget(const char_type *key) const noexcept {
for (auto kvp : *this) {
if (stringmatch(kvp.first, key))
return kvp.second;
}
return "";
}
template<typename T> requires(std::integral<T> || std::floating_point<T>)
T tryget(const char_type *key) const noexcept {
return from_string<T>(tryget(key));
}
auto tryget(const char_type *sec, const char_type *key) const noexcept {
for (auto kvp : section(sec)) {
if (stringmatch(kvp.first, key))
return kvp.second;
}
return "";
}
template<typename T> requires(std::integral<T> || std::floating_point<T>)
T tryget(const char_type *sec, const char_type *key) const noexcept {
return from_string<T>(tryget(sec, key));
}
consteval bool contains(const char_type *key) const noexcept {
return *get(key) != '\0';
}
consteval bool contains(const char_type *sec, const char_type *key) const noexcept {
return *get(sec, key) != '\0';
}
bool trycontains(const char_type *key) const noexcept {
return *tryget(key) != '\0';
}
bool trycontains(const char_type *sec, const char_type *key) const noexcept {
return *tryget(sec, key) != '\0';
}
};
} // namespace ini_config
/**
* _ini suffix definition.
*/
template <ini_config::string_container Input>
consteval auto operator ""_ini()
{
return ini_config::ini_config<Input>();
}
// For MSVC, the below alternative seems promising, though
// MSVC v19.28 complains about running out of heap.
template <ini_config::string_container Input>
constexpr auto make_ini_config = ini_config::ini_config<Input>();
#endif // TCSULLIVAN_INI_CONFIG_HPP
|