decode_view.hpp
13.1 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
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
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
//
// Copyright (c) 2022 Alan de Freitas (alandefreitas@gmail.com)
//
// Distributed under the Boost Software License, Version 1.0. (See accompanying
// file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
//
// Official repository: https://github.com/boostorg/url
//
#ifndef BOOST_URL_DECODE_VIEW_HPP
#define BOOST_URL_DECODE_VIEW_HPP
#include <boost/url/detail/config.hpp>
#include <boost/url/string_view.hpp>
#include <boost/url/encoding_opts.hpp>
#include <boost/url/pct_string_view.hpp>
#include <type_traits>
#include <iterator>
#include <iosfwd>
namespace boost {
namespace urls {
//------------------------------------------------
#ifndef BOOST_URL_DOCS
class decode_view;
namespace detail {
// unchecked
template<class... Args>
decode_view
make_decode_view(
Args&&... args) noexcept;
} // detail
#endif
//------------------------------------------------
/** A reference to a valid, percent-encoded string
These views reference strings in parts of URLs
or other components that are percent-encoded.
The special characters (those not in the
allowed character set) are stored as three
character escapes that consist of a percent
sign ('%%') followed by a two-digit hexadecimal
number of the corresponding unescaped character
code, which may be part of a UTF-8 code point
depending on the context.
The view refers to the original character
buffer and only decodes escaped sequences when
needed. In particular these operations perform
percent-decoding automatically without the
need to allocate memory:
@li Iteration of the string
@li Accessing the encoded character buffer
@li Comparison to encoded or plain strings
These objects can only be constructed from
strings that have a valid percent-encoding,
otherwise construction fails. The caller is
responsible for ensuring that the lifetime
of the character buffer from which the view
is constructed extends unmodified until the
view is no longer accessed.
@par Operators
The following operators are supported between
@ref decode_view and any object that is convertible
to @ref string_view
@code
bool operator==( decode_view, decode_view ) noexcept;
bool operator!=( decode_view, decode_view ) noexcept;
bool operator<=( decode_view, decode_view ) noexcept;
bool operator< ( decode_view, decode_view ) noexcept;
bool operator> ( decode_view, decode_view ) noexcept;
bool operator>=( decode_view, decode_view ) noexcept;
@endcode
*/
class decode_view
{
char const* p_ = nullptr;
std::size_t n_ = 0;
std::size_t dn_ = 0;
bool space_as_plus_ = true;
#ifndef BOOST_URL_DOCS
template<class... Args>
friend
decode_view
detail::make_decode_view(
Args&&... args) noexcept;
#endif
// unchecked
BOOST_URL_DECL
explicit
decode_view(
string_view s,
std::size_t n,
encoding_opts opt) noexcept;
public:
/** The value type
*/
using value_type = char;
/** The reference type
*/
using reference = char;
/// @copydoc reference
using const_reference = char;
/** The unsigned integer type
*/
using size_type = std::size_t;
/** The signed integer type
*/
using difference_type = std::ptrdiff_t;
/** An iterator of constant, decoded characters.
This iterator is used to access the encoded
string as a bidirectional range of characters
with percent-decoding applied. Escape sequences
are not decoded until the iterator is
dereferenced.
*/
#ifdef BOOST_URL_DOCS
using iterator = __see_below__;
#else
class iterator;
#endif
/// @copydoc iterator
using const_iterator = iterator;
//--------------------------------------------
//
// Special Members
//
//--------------------------------------------
/** Constructor
Default-constructed views represent
empty strings.
@par Example
@code
decode_view ds;
@endcode
@par Postconditions
@code
this->empty() == true
@endcode
@par Complexity
Constant.
@par Exception Safety
Throws nothing.
*/
decode_view() noexcept = default;
/** Constructor
This constructs a view from the character
buffer `s`, which must remain valid and
unmodified until the view is no longer
accessed.
@par Example
@code
decode_view ds( "Program%20Files" );
@endcode
@par Postconditions
@code
this->encoded() == s
@endcode
@par Complexity
Linear in `s.size()`.
@par Exception Safety
Exceptions thrown on invalid input.
@throw system_error
The string contains an invalid percent encoding.
@param s A percent-encoded string that has
already been validated.
@param opt The options for decoding. If
this parameter is omitted, the default
options are used.
*/
BOOST_URL_DECL
explicit
decode_view(
pct_string_view s,
encoding_opts opt = {}) noexcept
: decode_view(
string_view(s),
s.decoded_size(),
opt)
{
}
//--------------------------------------------
//
// Observers
//
//--------------------------------------------
/** Return true if the string is empty
@par Example
@code
assert( decode_view( "" ).empty() );
@endcode
@par Complexity
Constant.
@par Exception Safety
Throws nothing.
*/
bool
empty() const noexcept
{
return n_ == 0;
}
/** Return the number of decoded characters
@par Example
@code
assert( decode_view( "Program%20Files" ).size() == 13 );
@endcode
@par Effects
@code
return std::distance( this->begin(), this->end() );
@endcode
@par Complexity
Constant.
@par Exception Safety
Throws nothing.
*/
size_type
size() const noexcept
{
return dn_;
}
/** Return an iterator to the beginning
@par Example
@code
auto it = this->begin();
@endcode
@par Complexity
Constant.
@par Exception Safety
Throws nothing.
*/
iterator
begin() const noexcept;
/** Return an iterator to the end
@par Example
@code
auto it = this->end();
@endcode
@par Complexity
Constant.
@par Exception Safety
Throws nothing.
*/
iterator
end() const noexcept;
/** Return the first character
@par Example
@code
assert( decode_view( "Program%20Files" ).front() == 'P' );
@endcode
@par Preconditions
@code
not this->empty()
@endcode
@par Complexity
Constant.
@par Exception Safety
Throws nothing.
*/
reference
front() const noexcept;
/** Return the last character
@par Example
@code
assert( decode_view( "Program%20Files" ).back() == 's' );
@endcode
@par Preconditions
@code
not this->empty()
@endcode
@par Complexity
Constant.
@par Exception Safety
Throws nothing.
*/
reference
back() const noexcept;
/** Return the decoding options
*/
encoding_opts
options() const noexcept
{
encoding_opts opt;
opt.space_as_plus = space_as_plus_;
return opt;
}
//--------------------------------------------
//
// Comparison
//
//--------------------------------------------
/** Return the result of comparing to another string
The length of the sequences to compare is the smaller of
`size()` and `other.size()`.
The function compares the two strings as if by calling
`char_traits<char>::compare(to_string().data(), v.data(), rlen)`.
This means the comparison is performed with
percent-decoding applied to the current string.
@param other string to compare
@return Negative value if this string is less than the other
character sequence, zero if the both character sequences are
equal, positive value if this string is greater than the other
character sequence
*/
BOOST_URL_DECL
int
compare(string_view other) const noexcept;
/** Return the result of comparing to another string
The length of the sequences to compare is the smaller of
`size()` and `other.size()`.
The function compares the two strings as if by calling
`char_traits<char>::compare(to_string().data(), v.to_string().data(), rlen)`.
This means the comparison is performed with
percent-decoding applied to the current string.
@param other string to compare
@return Negative value if this string is less than the other
character sequence, zero if the both character sequences are
equal, positive value if this string is greater than the other
character sequence
*/
BOOST_URL_DECL
int
compare(decode_view other) const noexcept;
//--------------------------------------------
// relational operators
#ifndef BOOST_URL_DOCS
private:
template<class S0, class S1>
using is_match = std::integral_constant<bool,
// both decode_view or convertible to string_view
(
std::is_same<typename std::decay<S0>::type, decode_view>::value ||
std::is_convertible<S0, string_view>::value) &&
(
std::is_same<typename std::decay<S1>::type, decode_view>::value ||
std::is_convertible<S1, string_view>::value) &&
// not both are convertible to string view
(
!std::is_convertible<S0, string_view>::value ||
!std::is_convertible<S1, string_view>::value)>;
static
int
decode_compare(decode_view s0, decode_view s1) noexcept
{
return s0.compare(s1);
}
template <class S>
static
int
decode_compare(decode_view s0, S const& s1) noexcept
{
return s0.compare(s1);
}
template <class S>
static
int
decode_compare(S const& s0, decode_view s1) noexcept
{
return -s1.compare(s0);
}
public:
template<class S0, class S1>
BOOST_CXX14_CONSTEXPR friend auto operator==(
S0 const& s0, S1 const& s1) noexcept ->
typename std::enable_if<
is_match<S0, S1>::value, bool>::type
{
return decode_compare(s0, s1) == 0;
}
template<class S0, class S1>
BOOST_CXX14_CONSTEXPR friend auto operator!=(
S0 const& s0, S1 const& s1) noexcept ->
typename std::enable_if<
is_match<S0, S1>::value, bool>::type
{
return decode_compare(s0, s1) != 0;
}
template<class S0, class S1>
BOOST_CXX14_CONSTEXPR friend auto operator<(
S0 const& s0, S1 const& s1) noexcept ->
typename std::enable_if<
is_match<S0, S1>::value, bool>::type
{
return decode_compare(s0, s1) < 0;
}
template<class S0, class S1>
BOOST_CXX14_CONSTEXPR friend auto operator<=(
S0 const& s0, S1 const& s1) noexcept ->
typename std::enable_if<
is_match<S0, S1>::value, bool>::type
{
return decode_compare(s0, s1) <= 0;
}
template<class S0, class S1>
BOOST_CXX14_CONSTEXPR friend auto operator>(
S0 const& s0, S1 const& s1) noexcept ->
typename std::enable_if<
is_match<S0, S1>::value, bool>::type
{
return decode_compare(s0, s1) > 0;
}
template<class S0, class S1>
BOOST_CXX14_CONSTEXPR friend auto operator>=(
S0 const& s0, S1 const& s1) noexcept ->
typename std::enable_if<
is_match<S0, S1>::value, bool>::type
{
return decode_compare(s0, s1) >= 0;
}
#endif
// hidden friend
friend
std::ostream&
operator<<(
std::ostream& os,
decode_view const& s)
{
// hidden friend
s.write(os);
return os;
}
private:
BOOST_URL_DECL
void
write(std::ostream& os) const;
};
/** Format the string with percent-decoding applied to the output stream
This function serializes the decoded view
to the output stream.
@return A reference to the output stream, for chaining
@param os The output stream to write to
@param s The decoded view to write
*/
inline
std::ostream&
operator<<(
std::ostream& os,
decode_view const& s);
//------------------------------------------------
inline
decode_view
pct_string_view::operator*() const noexcept
{
return decode_view(*this);
}
#ifndef BOOST_URL_DOCS
namespace detail {
template<class... Args>
decode_view
make_decode_view(
Args&&... args) noexcept
{
return decode_view(
std::forward<Args>(args)...);
}
} // detail
#endif
//------------------------------------------------
} // urls
} // boost
#include <boost/url/impl/decode_view.hpp>
#endif