libstdc++: max_size_type.h Source File

libstdc++

max_size_type.h
Go to the documentation of this file.
1// <max_size_type.h> -*- C++ -*-
2
3// Copyright (C) 2019-2026 Free Software Foundation, Inc.
4//
5// This file is part of the GNU ISO C++ Library. This library is free
6// software; you can redistribute it and/or modify it under the
7// terms of the GNU General Public License as published by the
8// Free Software Foundation; either version 3, or (at your option)
9// any later version.
10
11// This library is distributed in the hope that it will be useful,
12// but WITHOUT ANY WARRANTY; without even the implied warranty of
13// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
14// GNU General Public License for more details.
15
16// Under Section 7 of GPL version 3, you are granted additional
17// permissions described in the GCC Runtime Library Exception, version
18// 3.1, as published by the Free Software Foundation.
19
20// You should have received a copy of the GNU General Public License and
21// a copy of the GCC Runtime Library Exception along with this program;
22// see the files COPYING3 and COPYING.RUNTIME respectively. If not, see
23// <http://www.gnu.org/licenses/>.
24
25/** @file bits/max_size_type.h
26 * This is an internal header file, included by other library headers.
27 * Do not attempt to use it directly. @headername{iterator}
28 */
29
30#ifndef _GLIBCXX_MAX_SIZE_TYPE_H
31#define _GLIBCXX_MAX_SIZE_TYPE_H 1
32
33#ifdef _GLIBCXX_SYSHDR
34#pragma GCC system_header
35#endif
36
37#if __cplusplus > 201703L && __cpp_lib_concepts
38#include <ext/numeric_traits.h>
39#include <bit> // __bit_width
40#include <numbers>
41#include <limits> // __glibcxx_integral_traps
42
43// This header implements unsigned and signed integer-class types (as per
44// [iterator.concept.winc]) that are one bit wider than the widest supported
45// integer type.
46//
47// The set of integer types we consider includes the extended integer types
48// __int128 and unsigned __int128 (when they exist).
49
50namespace std _GLIBCXX_VISIBILITY(default)
51{
52_GLIBCXX_BEGIN_NAMESPACE_VERSION
53
54template<typename _Tp>
55 struct numeric_limits;
56
57namespace ranges
58{
59 namespace __detail
60 {
61 class __max_size_type
62 {
63 public:
64 __max_size_type() = default;
65
66 template<typename _Tp> requires integral<_Tp>
67 constexpr
68 __max_size_type(_Tp __i) noexcept
69 : _M_val(__i), _M_msb(__i < 0)
70 { }
71
72 constexpr explicit
73 __max_size_type(const __max_diff_type& __d) noexcept;
74
75 template<typename _Tp> requires integral<_Tp>
76 constexpr explicit
77 operator _Tp() const noexcept
78 { return _M_val; }
79
80 constexpr explicit
81 operator bool() const noexcept
82 { return _M_val != 0 || _M_msb != 0; }
83
84 constexpr __max_size_type
85 operator+() const noexcept
86 { return *this; }
87
88 constexpr __max_size_type
89 operator~() const noexcept
90 { return __max_size_type{~_M_val, !_M_msb}; }
91
92 constexpr __max_size_type
93 operator-() const noexcept
94 { return operator~() + 1; }
95
96 constexpr __max_size_type&
97 operator++() noexcept
98 { return *this += 1; }
99
100 constexpr __max_size_type
101 operator++(int) noexcept
102 {
103 auto __tmp = *this;
104 ++*this;
105 return __tmp;
106 }
107
108 constexpr __max_size_type&
109 operator--() noexcept
110 { return *this -= 1; }
111
112 constexpr __max_size_type
113 operator--(int) noexcept
114 {
115 auto __tmp = *this;
116 --*this;
117 return __tmp;
118 }
119
120 constexpr __max_size_type&
121 operator+=(const __max_size_type& __r) noexcept
122 {
123 const auto __sum = _M_val + __r._M_val;
124 const bool __overflow = (__sum < _M_val);
125 _M_msb = _M_msb ^ __r._M_msb ^ __overflow;
126 _M_val = __sum;
127 return *this;
128 }
129
130 constexpr __max_size_type&
131 operator-=(const __max_size_type& __r) noexcept
132 { return *this += -__r; }
133
134 constexpr __max_size_type&
135 operator*=(__max_size_type __r) noexcept
136 {
137 constexpr __max_size_type __threshold
138 = __rep(1) << (_S_rep_bits / 2 - 1);
139 if (_M_val < __threshold && __r < __threshold)
140 // When both operands are below this threshold then the
141 // multiplication can be safely computed in the base precision.
142 _M_val = _M_val * __r._M_val;
143 else
144 {
145 // Otherwise, perform the multiplication in four steps, by
146 // decomposing the LHS and the RHS into 2*x+a and 2*y+b,
147 // respectively, and computing 4*x*y + 2*x*b + 2*y*a + a*b.
148 const bool __lsb = _M_val & 1;
149 const bool __rlsb = __r._M_val & 1;
150 *this >>= 1;
151 __r >>= 1;
152 _M_val = (2 * _M_val * __r._M_val
153 + _M_val * __rlsb + __r._M_val * __lsb);
154 *this <<= 1;
155 *this += __rlsb * __lsb;
156 }
157
158 return *this;
159 }
160
161 constexpr __max_size_type&
162 operator/=(const __max_size_type& __r) noexcept
163 {
164 __glibcxx_assert(__r != 0);
165
166 if (!_M_msb && !__r._M_msb) [[likely]]
167 _M_val /= __r._M_val;
168 else if (_M_msb && __r._M_msb)
169 {
170 _M_val = (_M_val >= __r._M_val);
171 _M_msb = 0;
172 }
173 else if (!_M_msb && __r._M_msb)
174 _M_val = 0;
175 else if (_M_msb && !__r._M_msb)
176 {
177 // The non-trivial case: the dividend has its MSB set and the
178 // divisor doesn't. In this case we compute ((LHS/2)/RHS)*2
179 // in the base precision. This quantity is either the true
180 // quotient or one less than the true quotient.
181 const auto __orig = *this;
182 *this >>= 1;
183 _M_val /= __r._M_val;
184 *this <<= 1;
185 if (__orig - *this * __r >= __r)
186 ++_M_val;
187 }
188 return *this;
189 }
190
191 constexpr __max_size_type&
192 operator%=(const __max_size_type& __r) noexcept
193 {
194 if (!_M_msb && !__r._M_msb) [[likely]]
195 _M_val %= __r._M_val;
196 else
197 *this -= (*this / __r) * __r;
198 return *this;
199 }
200
201 constexpr __max_size_type&
202 operator<<=(const __max_size_type& __r) noexcept
203 {
204 __glibcxx_assert(__r <= _S_rep_bits);
205 if (__r != 0)
206 {
207 _M_msb = (_M_val >> (_S_rep_bits - __r._M_val)) & 1;
208
209 if (__r._M_val == _S_rep_bits) [[unlikely]]
210 _M_val = 0;
211 else
212 _M_val <<= __r._M_val;
213 }
214 return *this;
215 }
216
217 constexpr __max_size_type&
218 operator>>=(const __max_size_type& __r) noexcept
219 {
220 __glibcxx_assert(__r <= _S_rep_bits);
221 if (__r != 0)
222 {
223 if (__r._M_val == _S_rep_bits) [[unlikely]]
224 _M_val = 0;
225 else
226 _M_val >>= __r._M_val;
227
228 if (_M_msb) [[unlikely]]
229 {
230 _M_val |= __rep(1) << (_S_rep_bits - __r._M_val);
231 _M_msb = 0;
232 }
233 }
234 return *this;
235 }
236
237 constexpr __max_size_type&
238 operator&=(const __max_size_type& __r) noexcept
239 {
240 _M_val &= __r._M_val;
241 _M_msb &= __r._M_msb;
242 return *this;
243 }
244
245 constexpr __max_size_type&
246 operator|=(const __max_size_type& __r) noexcept
247 {
248 _M_val |= __r._M_val;
249 _M_msb |= __r._M_msb;
250 return *this;
251 }
252
253 constexpr __max_size_type&
254 operator^=(const __max_size_type& __r) noexcept
255 {
256 _M_val ^= __r._M_val;
257 _M_msb ^= __r._M_msb;
258 return *this;
259 }
260
261 template<typename _Tp> requires integral<_Tp>
262 friend constexpr _Tp&
263 operator+=(_Tp& __a, const __max_size_type& __b) noexcept
264 { return (__a = static_cast<_Tp>(__a + __b)); }
265
266 template<typename _Tp> requires integral<_Tp>
267 friend constexpr _Tp&
268 operator-=(_Tp& __a, const __max_size_type& __b) noexcept
269 { return (__a = static_cast<_Tp>(__a - __b)); }
270
271 template<typename _Tp> requires integral<_Tp>
272 friend constexpr _Tp&
273 operator*=(_Tp& __a, const __max_size_type& __b) noexcept
274 { return (__a = static_cast<_Tp>(__a * __b)); }
275
276 template<typename _Tp> requires integral<_Tp>
277 friend constexpr _Tp&
278 operator/=(_Tp& __a, const __max_size_type& __b) noexcept
279 { return (__a = static_cast<_Tp>(__a / __b)); }
280
281 template<typename _Tp> requires integral<_Tp>
282 friend constexpr _Tp&
283 operator%=(_Tp& __a, const __max_size_type& __b) noexcept
284 { return (__a = static_cast<_Tp>(__a % __b)); }
285
286 template<typename _Tp> requires integral<_Tp>
287 friend constexpr _Tp&
288 operator&=(_Tp& __a, const __max_size_type& __b) noexcept
289 { return (__a = static_cast<_Tp>(__a & __b)); }
290
291 template<typename _Tp> requires integral<_Tp>
292 friend constexpr _Tp&
293 operator|=(_Tp& __a, const __max_size_type& __b) noexcept
294 { return (__a = static_cast<_Tp>(__a | __b)); }
295
296 template<typename _Tp> requires integral<_Tp>
297 friend constexpr _Tp&
298 operator^=(_Tp& __a, const __max_size_type& __b) noexcept
299 { return (__a = static_cast<_Tp>(__a ^ __b)); }
300
301 template<typename _Tp> requires integral<_Tp>
302 friend constexpr _Tp&
303 operator<<=(_Tp& __a, const __max_size_type& __b) noexcept
304 { return (__a = static_cast<_Tp>(__a << __b)); }
305
306 template<typename _Tp> requires integral<_Tp>
307 friend constexpr _Tp&
308 operator>>=(_Tp& __a, const __max_size_type& __b) noexcept
309 { return (__a = static_cast<_Tp>(__a >> __b)); }
310
311 friend constexpr __max_size_type
312 operator+(__max_size_type __l, const __max_size_type& __r) noexcept
313 {
314 __l += __r;
315 return __l;
316 }
317
318 friend constexpr __max_size_type
319 operator-(__max_size_type __l, const __max_size_type& __r) noexcept
320 {
321 __l -= __r;
322 return __l;
323 }
324
325 friend constexpr __max_size_type
326 operator*(__max_size_type __l, const __max_size_type& __r) noexcept
327 {
328 __l *= __r;
329 return __l;
330 }
331
332 friend constexpr __max_size_type
333 operator/(__max_size_type __l, const __max_size_type& __r) noexcept
334 {
335 __l /= __r;
336 return __l;
337 }
338
339 friend constexpr __max_size_type
340 operator%(__max_size_type __l, const __max_size_type& __r) noexcept
341 {
342 __l %= __r;
343 return __l;
344 }
345
346 friend constexpr __max_size_type
347 operator<<(__max_size_type __l, const __max_size_type& __r) noexcept
348 {
349 __l <<= __r;
350 return __l;
351 }
352
353 friend constexpr __max_size_type
354 operator>>(__max_size_type __l, const __max_size_type& __r) noexcept
355 {
356 __l >>= __r;
357 return __l;
358 }
359
360 friend constexpr __max_size_type
361 operator&(__max_size_type __l, const __max_size_type& __r) noexcept
362 {
363 __l &= __r;
364 return __l;
365 }
366
367 friend constexpr __max_size_type
368 operator|(__max_size_type __l, const __max_size_type& __r) noexcept
369 {
370 __l |= __r;
371 return __l;
372 }
373
374 friend constexpr __max_size_type
375 operator^(__max_size_type __l, const __max_size_type& __r) noexcept
376 {
377 __l ^= __r;
378 return __l;
379 }
380
381 friend constexpr bool
382 operator==(const __max_size_type& __l, const __max_size_type& __r) noexcept
383 { return __l._M_val == __r._M_val && __l._M_msb == __r._M_msb; }
384
385#if __cpp_lib_three_way_comparison
386 friend constexpr strong_ordering
387 operator<=>(const __max_size_type& __l, const __max_size_type& __r) noexcept
388 {
389 if (__l._M_msb ^ __r._M_msb)
390 return __l._M_msb ? strong_ordering::greater : strong_ordering::less;
391 else
392 return __l._M_val <=> __r._M_val;
393 }
394#else
395 friend constexpr bool
396 operator!=(const __max_size_type& __l, const __max_size_type& __r) noexcept
397 { return !(__l == __r); }
398
399 friend constexpr bool
400 operator<(const __max_size_type& __l, const __max_size_type& __r) noexcept
401 {
402 if (__l._M_msb == __r._M_msb)
403 return __l._M_val < __r._M_val;
404 else
405 return __r._M_msb;
406 }
407
408 friend constexpr bool
409 operator>(const __max_size_type& __l, const __max_size_type& __r) noexcept
410 { return __r < __l; }
411
412 friend constexpr bool
413 operator<=(const __max_size_type& __l, const __max_size_type& __r) noexcept
414 { return !(__l > __r); }
415
416 friend constexpr bool
417 operator>=(const __max_size_type& __l, const __max_size_type& __r) noexcept
418 { return __r <= __l; }
419#endif
420
421#if __SIZEOF_INT128__
422 __extension__
423 using __rep = unsigned __int128;
424#else
425 using __rep = unsigned long long;
426#endif
427 static constexpr size_t _S_rep_bits = sizeof(__rep) * __CHAR_BIT__;
428
429 __rep _M_val = 0;
430 unsigned _M_msb:1 = 0;
431
432 private:
433 constexpr explicit
434 __max_size_type(__rep __val, int __msb) noexcept
435 : _M_val(__val), _M_msb(__msb)
436 { }
437
438 friend __max_diff_type;
439 friend std::numeric_limits<__max_size_type>;
440 friend std::numeric_limits<__max_diff_type>;
441 };
442
443 class __max_diff_type
444 {
445 public:
446 __max_diff_type() = default;
447
448 template<typename _Tp> requires integral<_Tp>
449 constexpr
450 __max_diff_type(_Tp __i) noexcept
451 : _M_rep(__i)
452 { }
453
454 constexpr explicit
455 __max_diff_type(const __max_size_type& __d) noexcept
456 : _M_rep(__d)
457 { }
458
459 template<typename _Tp> requires integral<_Tp>
460 constexpr explicit
461 operator _Tp() const noexcept
462 { return static_cast<_Tp>(_M_rep); }
463
464 constexpr explicit
465 operator bool() const noexcept
466 { return _M_rep != 0; }
467
468 constexpr __max_diff_type
469 operator+() const noexcept
470 { return *this; }
471
472 constexpr __max_diff_type
473 operator-() const noexcept
474 { return __max_diff_type(-_M_rep); }
475
476 constexpr __max_diff_type
477 operator~() const noexcept
478 { return __max_diff_type(~_M_rep); }
479
480 constexpr __max_diff_type&
481 operator++() noexcept
482 { return *this += 1; }
483
484 constexpr __max_diff_type
485 operator++(int) noexcept
486 {
487 auto __tmp = *this;
488 ++*this;
489 return __tmp;
490 }
491
492 constexpr __max_diff_type&
493 operator--() noexcept
494 { return *this -= 1; }
495
496 constexpr __max_diff_type
497 operator--(int) noexcept
498 {
499 auto __tmp = *this;
500 --*this;
501 return __tmp;
502 }
503
504 constexpr __max_diff_type&
505 operator+=(const __max_diff_type& __r) noexcept
506 {
507 _M_rep += __r._M_rep;
508 return *this;
509 }
510
511 constexpr __max_diff_type&
512 operator-=(const __max_diff_type& __r) noexcept
513 {
514 _M_rep -= __r._M_rep;
515 return *this;
516 }
517
518 constexpr __max_diff_type&
519 operator*=(const __max_diff_type& __r) noexcept
520 {
521 _M_rep *= __r._M_rep;
522 return *this;
523 }
524
525 constexpr __max_diff_type&
526 operator/=(const __max_diff_type& __r) noexcept
527 {
528 __glibcxx_assert (__r != 0);
529 const bool __neg = *this < 0;
530 const bool __rneg = __r < 0;
531 if (!__neg && !__rneg)
532 _M_rep = _M_rep / __r._M_rep;
533 else if (__neg && __rneg)
534 _M_rep = -_M_rep / -__r._M_rep;
535 else if (__neg && !__rneg)
536 _M_rep = -(-_M_rep / __r._M_rep);
537 else
538 _M_rep = -(_M_rep / -__r._M_rep);
539 return *this ;
540 }
541
542 constexpr __max_diff_type&
543 operator%=(const __max_diff_type& __r) noexcept
544 {
545 __glibcxx_assert (__r != 0);
546 if (*this >= 0 && __r > 0)
547 _M_rep %= __r._M_rep;
548 else
549 *this -= (*this / __r) * __r;
550 return *this;
551 }
552
553 constexpr __max_diff_type&
554 operator<<=(const __max_diff_type& __r) noexcept
555 {
556 _M_rep.operator<<=(__r._M_rep);
557 return *this;
558 }
559
560 constexpr __max_diff_type&
561 operator>>=(const __max_diff_type& __r) noexcept
562 {
563 // Arithmetic right shift.
564 const auto __msb = _M_rep._M_msb;
565 _M_rep >>= __r._M_rep;
566 if (__msb)
567 _M_rep |= ~(__max_size_type(-1) >> __r._M_rep);
568 return *this;
569 }
570
571 constexpr __max_diff_type&
572 operator&=(const __max_diff_type& __r) noexcept
573 {
574 _M_rep &= __r._M_rep;
575 return *this;
576 }
577
578 constexpr __max_diff_type&
579 operator|=(const __max_diff_type& __r) noexcept
580 {
581 _M_rep |= __r._M_rep;
582 return *this;
583 }
584
585 constexpr __max_diff_type&
586 operator^=(const __max_diff_type& __r) noexcept
587 {
588 _M_rep ^= __r._M_rep;
589 return *this;
590 }
591
592 template<typename _Tp> requires integral<_Tp>
593 friend constexpr _Tp&
594 operator+=(_Tp& __a, const __max_diff_type& __b) noexcept
595 { return (__a = static_cast<_Tp>(__a + __b)); }
596
597 template<typename _Tp> requires integral<_Tp>
598 friend constexpr _Tp&
599 operator-=(_Tp& __a, const __max_diff_type& __b) noexcept
600 { return (__a = static_cast<_Tp>(__a - __b)); }
601
602 template<typename _Tp> requires integral<_Tp>
603 friend constexpr _Tp&
604 operator*=(_Tp& __a, const __max_diff_type& __b) noexcept
605 { return (__a = static_cast<_Tp>(__a * __b)); }
606
607 template<typename _Tp> requires integral<_Tp>
608 friend constexpr _Tp&
609 operator/=(_Tp& __a, const __max_diff_type& __b) noexcept
610 { return (__a = static_cast<_Tp>(__a / __b)); }
611
612 template<typename _Tp> requires integral<_Tp>
613 friend constexpr _Tp&
614 operator%=(_Tp& __a, const __max_diff_type& __b) noexcept
615 { return (__a = static_cast<_Tp>(__a % __b)); }
616
617 template<typename _Tp> requires integral<_Tp>
618 friend constexpr _Tp&
619 operator&=(_Tp& __a, const __max_diff_type& __b) noexcept
620 { return (__a = static_cast<_Tp>(__a & __b)); }
621
622 template<typename _Tp> requires integral<_Tp>
623 friend constexpr _Tp&
624 operator|=(_Tp& __a, const __max_diff_type& __b) noexcept
625 { return (__a = static_cast<_Tp>(__a | __b)); }
626
627 template<typename _Tp> requires integral<_Tp>
628 friend constexpr _Tp&
629 operator^=(_Tp& __a, const __max_diff_type& __b) noexcept
630 { return (__a = static_cast<_Tp>(__a ^ __b)); }
631
632 template<typename _Tp> requires integral<_Tp>
633 friend constexpr _Tp&
634 operator<<=(_Tp& __a, const __max_diff_type& __b) noexcept
635 { return (__a = static_cast<_Tp>(__a << __b)); }
636
637 template<typename _Tp> requires integral<_Tp>
638 friend constexpr _Tp&
639 operator>>=(_Tp& __a, const __max_diff_type& __b) noexcept
640 { return (__a = static_cast<_Tp>(__a >> __b)); }
641
642 friend constexpr __max_diff_type
643 operator+(__max_diff_type __l, const __max_diff_type& __r) noexcept
644 {
645 __l += __r;
646 return __l;
647 }
648
649 friend constexpr __max_diff_type
650 operator-(__max_diff_type __l, const __max_diff_type& __r) noexcept
651 {
652 __l -= __r;
653 return __l;
654 }
655
656 friend constexpr __max_diff_type
657 operator*(__max_diff_type __l, const __max_diff_type& __r) noexcept
658 {
659 __l *= __r;
660 return __l;
661 }
662
663 friend constexpr __max_diff_type
664 operator/(__max_diff_type __l, const __max_diff_type& __r) noexcept
665 {
666 __l /= __r;
667 return __l;
668 }
669
670 friend constexpr __max_diff_type
671 operator%(__max_diff_type __l, const __max_diff_type& __r) noexcept
672 {
673 __l %= __r;
674 return __l;
675 }
676
677 friend constexpr __max_diff_type
678 operator<<(__max_diff_type __l, const __max_diff_type& __r) noexcept
679 {
680 __l <<= __r;
681 return __l;
682 }
683
684 friend constexpr __max_diff_type
685 operator>>(__max_diff_type __l, const __max_diff_type& __r) noexcept
686 {
687 __l >>= __r;
688 return __l;
689 }
690
691 friend constexpr __max_diff_type
692 operator&(__max_diff_type __l, const __max_diff_type& __r) noexcept
693 {
694 __l &= __r;
695 return __l;
696 }
697
698 friend constexpr __max_diff_type
699 operator|(__max_diff_type __l, const __max_diff_type& __r) noexcept
700 {
701 __l |= __r;
702 return __l;
703 }
704
705 friend constexpr __max_diff_type
706 operator^(__max_diff_type __l, const __max_diff_type& __r) noexcept
707 {
708 __l ^= __r;
709 return __l;
710 }
711
712 friend constexpr bool
713 operator==(const __max_diff_type& __l, const __max_diff_type& __r) noexcept
714 { return __l._M_rep == __r._M_rep; }
715
716#if __cpp_lib_three_way_comparison
717 constexpr strong_ordering
718 operator<=>(const __max_diff_type& __r) const noexcept
719 {
720 const auto __lsign = _M_rep._M_msb;
721 const auto __rsign = __r._M_rep._M_msb;
722 if (__lsign ^ __rsign)
723 return __lsign ? strong_ordering::less : strong_ordering::greater;
724 else
725 return _M_rep <=> __r._M_rep;
726 }
727#else
728 friend constexpr bool
729 operator!=(const __max_diff_type& __l, const __max_diff_type& __r) noexcept
730 { return !(__l == __r); }
731
732 constexpr bool
733 operator<(const __max_diff_type& __r) const noexcept
734 {
735 const auto __lsign = _M_rep._M_msb;
736 const auto __rsign = __r._M_rep._M_msb;
737 if (__lsign ^ __rsign)
738 return __lsign;
739 else
740 return _M_rep < __r._M_rep;
741 }
742
743 friend constexpr bool
744 operator>(const __max_diff_type& __l, const __max_diff_type& __r) noexcept
745 { return __r < __l; }
746
747 friend constexpr bool
748 operator<=(const __max_diff_type& __l, const __max_diff_type& __r) noexcept
749 { return !(__r < __l); }
750
751 friend constexpr bool
752 operator>=(const __max_diff_type& __l, const __max_diff_type& __r) noexcept
753 { return !(__l < __r); }
754#endif
755
756 __max_size_type _M_rep = 0;
757
758 friend class __max_size_type;
759 };
760
761 constexpr
762 __max_size_type::__max_size_type(const __max_diff_type& __d) noexcept
763 : __max_size_type(__d._M_rep)
764 { }
765
766 } // namespace __detail
767} // namespace ranges
768
769 template<>
770 struct numeric_limits<ranges::__detail::__max_size_type>
771 {
772 using _Sp = ranges::__detail::__max_size_type;
773 static constexpr bool is_specialized = true;
774 static constexpr bool is_signed = false;
775 static constexpr bool is_integer = true;
776 static constexpr bool is_exact = true;
777 static constexpr bool is_bounded = true;
778 static constexpr bool is_modulo = true;
779 static constexpr bool traps = __glibcxx_integral_traps;
780 static constexpr int radix = 2;
781 static constexpr int digits
782 = __gnu_cxx::__int_traits<_Sp::__rep>::__digits + 1;
783 static constexpr int digits10
784 = static_cast<int>(digits * numbers::ln2 / numbers::ln10);
785 static constexpr int max_digits10 = 0;
786 static constexpr int min_exponent = 0;
787 static constexpr int min_exponent10 = 0;
788 static constexpr int max_exponent = 0;
789 static constexpr int max_exponent10 = 0;
790 static constexpr bool is_iec559 = false;
791 static constexpr bool has_infinity = false;
792 static constexpr bool has_quiet_NaN = false;
793 static constexpr bool has_signaling_NaN = false;
794 _GLIBCXX23_DEPRECATED
795 static constexpr bool has_denorm_loss = false;
796 static constexpr bool tinyness_before = false;
797#pragma GCC diagnostic push
798#pragma GCC diagnostic ignored "-Wdeprecated-declarations" // denorm_absent
799 _GLIBCXX23_DEPRECATED
800 static constexpr float_denorm_style has_denorm = denorm_absent;
801#pragma GCC diagnostic pop
802 static constexpr float_round_style round_style = round_toward_zero;
803
804 static constexpr _Sp
805 min() noexcept
806 { return 0; }
807
808 static constexpr _Sp
809 max() noexcept
810 { return _Sp(static_cast<_Sp::__rep>(-1), 1); }
811
812 static constexpr _Sp
813 lowest() noexcept
814 { return min(); }
815
816 static constexpr _Sp
817 denorm_min() noexcept
818 { return 0; }
819
820 static constexpr _Sp
821 epsilon() noexcept
822 { return 0; }
823
824 static constexpr _Sp
825 round_error() noexcept
826 { return 0; }
827
828 static constexpr _Sp
829 infinity() noexcept
830 { return 0; }
831
832 static constexpr _Sp
833 quiet_NaN() noexcept
834 { return 0; }
835
836 static constexpr _Sp
837 signaling_NaN() noexcept
838 { return 0; }
839 };
840
841 template<>
842 struct numeric_limits<ranges::__detail::__max_diff_type>
843 {
844 using _Dp = ranges::__detail::__max_diff_type;
845 using _Sp = ranges::__detail::__max_size_type;
846 static constexpr bool is_specialized = true;
847 static constexpr bool is_signed = true;
848 static constexpr bool is_integer = true;
849 static constexpr bool is_exact = true;
850 static constexpr bool is_bounded = true;
851 static constexpr bool is_modulo = false;
852 static constexpr bool traps = __glibcxx_integral_traps;
853 static constexpr int radix = 2;
854 static constexpr int digits = numeric_limits<_Sp>::digits - 1;
855 static constexpr int digits10
856 = static_cast<int>(digits * numbers::ln2 / numbers::ln10);
857 static constexpr int max_digits10 = 0;
858 static constexpr int min_exponent = 0;
859 static constexpr int min_exponent10 = 0;
860 static constexpr int max_exponent = 0;
861 static constexpr int max_exponent10 = 0;
862 static constexpr bool is_iec559 = false;
863 static constexpr bool has_infinity = false;
864 static constexpr bool has_quiet_NaN = false;
865 static constexpr bool has_signaling_NaN = false;
866 _GLIBCXX23_DEPRECATED
867 static constexpr bool has_denorm_loss = false;
868 static constexpr bool tinyness_before = false;
869#pragma GCC diagnostic push
870#pragma GCC diagnostic ignored "-Wdeprecated-declarations"
871 _GLIBCXX23_DEPRECATED
872 static constexpr float_denorm_style has_denorm = denorm_absent;
873#pragma GCC diagnostic pop
874 static constexpr float_round_style round_style = round_toward_zero;
875
876 static constexpr _Dp
877 min() noexcept
878 { return _Dp(_Sp(0, 1)); }
879
880 static constexpr _Dp
881 max() noexcept
882 { return _Dp(_Sp(static_cast<_Sp::__rep>(-1), 0)); }
883
884 static constexpr _Dp
885 lowest() noexcept
886 { return min(); }
887
888 static constexpr _Dp
889 denorm_min() noexcept
890 { return 0; }
891
892 static constexpr _Dp
893 epsilon() noexcept
894 { return 0; }
895
896 static constexpr _Dp
897 round_error() noexcept
898 { return 0; }
899
900 static constexpr _Dp
901 infinity() noexcept
902 { return 0; }
903
904 static constexpr _Dp
905 quiet_NaN() noexcept
906 { return 0; }
907
908 static constexpr _Dp
909 signaling_NaN() noexcept
910 { return 0; }
911 };
912
913 template<>
914 inline constexpr int
915 __bit_width(ranges::__detail::__max_size_type __x) noexcept
916 {
917 if (__x._M_msb)
918 return numeric_limits<ranges::__detail::__max_size_type>::digits;
919 else
920 return std::__bit_width(__x._M_val);
921 }
922
923_GLIBCXX_END_NAMESPACE_VERSION
924} // namespace
925
926#endif // C++20 && library concepts
927#endif // _GLIBCXX_MAX_SIZE_TYPE_H
bit
limits
numbers
std::chrono::operator<=
constexpr bool operator<=(const duration< _Rep1, _Period1 > &__lhs, const duration< _Rep2, _Period2 > &__rhs)
Definition chrono.h:863
std::chrono::operator>=
constexpr bool operator>=(const duration< _Rep1, _Period1 > &__lhs, const duration< _Rep2, _Period2 > &__rhs)
Definition chrono.h:877
std::chrono::operator%
constexpr duration< __common_rep_t< _Rep1, __disable_if_is_duration< _Rep2 > >, _Period > operator%(const duration< _Rep1, _Period > &__d, const _Rep2 &__s)
Definition chrono.h:787
std::chrono::operator<
constexpr bool operator<(const duration< _Rep1, _Period1 > &__lhs, const duration< _Rep2, _Period2 > &__rhs)
Definition chrono.h:830
std::chrono::operator>
constexpr bool operator>(const duration< _Rep1, _Period1 > &__lhs, const duration< _Rep2, _Period2 > &__rhs)
Definition chrono.h:870
std::operator*
constexpr complex< _Tp > operator*(const complex< _Tp > &__x, const complex< _Tp > &__y)
Return new complex value x times y.
Definition complex:434
std::operator-
constexpr complex< _Tp > operator-(const complex< _Tp > &__x, const complex< _Tp > &__y)
Return new complex value x minus y.
Definition complex:404
std::operator+
constexpr complex< _Tp > operator+(const complex< _Tp > &__x, const complex< _Tp > &__y)
Return new complex value x plus y.
Definition complex:374
std::operator/
constexpr complex< _Tp > operator/(const complex< _Tp > &__x, const complex< _Tp > &__y)
Return new complex value x divided by y.
Definition complex:464
std
ISO C++ entities toplevel namespace is std.
std::float_round_style
float_round_style
Describes the rounding style for floating-point types.
Definition limits:181
std::round_toward_zero
@ round_toward_zero
To zero.
Definition limits:183
std::float_denorm_style
float_denorm_style
Describes the denormalization for floating-point types.
Definition limits:196
std::denorm_absent
@ denorm_absent
The type does not allow denormalized values.
Definition limits:200
std::operator^
constexpr bitset< _Nb > operator^(const bitset< _Nb > &__x, const bitset< _Nb > &__y) noexcept
Global bitwise operations on bitsets.
Definition bitset:1638
std::operator>>
std::basic_istream< _CharT, _Traits > & operator>>(std::basic_istream< _CharT, _Traits > &__is, bitset< _Nb > &__x)
Global I/O operators for bitsets.
Definition bitset:1658
std::operator<<
std::basic_ostream< _CharT, _Traits > & operator<<(std::basic_ostream< _CharT, _Traits > &__os, const bitset< _Nb > &__x)
Global I/O operators for bitsets.
Definition bitset:1754
std::operator|
constexpr bitset< _Nb > operator|(const bitset< _Nb > &__x, const bitset< _Nb > &__y) noexcept
Global bitwise operations on bitsets.
Definition bitset:1628
std::operator&
constexpr bitset< _Nb > operator&(const bitset< _Nb > &__x, const bitset< _Nb > &__y) noexcept
Global bitwise operations on bitsets.
Definition bitset:1618
std::__numeric_limits_base::is_modulo
static constexpr bool is_modulo
Definition limits:303
std::__numeric_limits_base::has_quiet_NaN
static constexpr bool has_quiet_NaN
Definition limits:272
std::__numeric_limits_base::is_integer
static constexpr bool is_integer
Definition limits:239
std::__numeric_limits_base::max_digits10
static constexpr int max_digits10
Definition limits:232
std::__numeric_limits_base::min_exponent
static constexpr int min_exponent
Definition limits:252
std::__numeric_limits_base::digits
static constexpr int digits
Definition limits:224
std::__numeric_limits_base::is_bounded
static constexpr bool is_bounded
Definition limits:294
std::__numeric_limits_base::has_denorm_loss
static constexpr bool has_denorm_loss
Definition limits:285
std::__numeric_limits_base::is_iec559
static constexpr bool is_iec559
Definition limits:289
std::__numeric_limits_base::is_exact
static constexpr bool is_exact
Definition limits:244
std::__numeric_limits_base::traps
static constexpr bool traps
Definition limits:306
std::__numeric_limits_base::has_signaling_NaN
static constexpr bool has_signaling_NaN
Definition limits:276
std::__numeric_limits_base::is_specialized
static constexpr bool is_specialized
Definition limits:219
std::__numeric_limits_base::max_exponent
static constexpr int max_exponent
Definition limits:261
std::__numeric_limits_base::is_signed
static constexpr bool is_signed
Definition limits:236
std::__numeric_limits_base::digits10
static constexpr int digits10
Definition limits:227
std::__numeric_limits_base::min_exponent10
static constexpr int min_exponent10
Definition limits:256
std::__numeric_limits_base::tinyness_before
static constexpr bool tinyness_before
Definition limits:309
std::__numeric_limits_base::round_style
static constexpr float_round_style round_style
Definition limits:314
std::__numeric_limits_base::has_infinity
static constexpr bool has_infinity
Definition limits:268
std::__numeric_limits_base::radix
static constexpr int radix
Definition limits:248
std::__numeric_limits_base::max_exponent10
static constexpr int max_exponent10
Definition limits:265
std::__numeric_limits_base::has_denorm
static constexpr float_denorm_style has_denorm
Definition limits:280
std::numeric_limits
Properties of fundamental types.
Definition limits:328
std::numeric_limits::max
static constexpr _Tp max() noexcept
Definition limits:336
std::numeric_limits::epsilon
static constexpr _Tp epsilon() noexcept
Definition limits:348
std::numeric_limits::quiet_NaN
static constexpr _Tp quiet_NaN() noexcept
Definition limits:361
std::numeric_limits::lowest
static constexpr _Tp lowest() noexcept
Definition limits:342
std::numeric_limits::min
static constexpr _Tp min() noexcept
Definition limits:332
std::numeric_limits::denorm_min
static constexpr _Tp denorm_min() noexcept
Definition limits:372
std::numeric_limits::infinity
static constexpr _Tp infinity() noexcept
Definition limits:356
std::numeric_limits::round_error
static constexpr _Tp round_error() noexcept
Definition limits:352
std::numeric_limits::signaling_NaN
static constexpr _Tp signaling_NaN() noexcept
Definition limits:366
numeric_traits.h