21 Language support library [language.support]

21.3 Implementation properties [support.limits]

21.3.4 Class template numeric_­limits [numeric.limits]

21.3.4.1 numeric_­limits members [numeric.limits.members]

1
#

Каждая функция-член, определенная в этом подпункте, является signal-safe ([csignal.syn]).

static constexpr T min() noexcept;

2
#

Минимальное конечное значение.188

3
#

Для типов с плавающей запятой с субнормальными числами возвращает минимальное положительное нормализованное значение.

4
#

Имеет значение для всех специализаций, в которых is_­bounded != false, или is_­bounded == false && is_­signed == false.

static constexpr T max() noexcept;
5
#

Максимальное конечное значение.189

6
#

Имеет значение для всех специализаций, в которых is_­bounded != false.

static constexpr T lowest() noexcept;

7
#

Конечное значениеx такое, что не существует другого конечного значенияy гдеy < x.190

8
#

Имеет значение для всех специализаций, в которыхis_­bounded != false.

static constexpr int digits;

9
#

Количество radix цифр, которое можно представить без изменений.

10
#

Для целочисленных типов - количество битов без знака в представлении.

11
#

Для типов с плавающей запятой - количествоradix цифр в мантиссе.191

static constexpr int digits10;

12
#

Количество десятичных разрядов, которое может быть представлено без изменений.192

13
#

Имеет значение для всех специализаций, в которых is_­bounded != false.

static constexpr int max_digits10;

14
#

Количество десятичных разрядов, необходимое для того, чтобы всегда различать различающиеся значения.

15
#

Имеет значение для всех типов с плавающей запятой.

static constexpr bool is_signed;

16
#

true если тип подписан.

17
#

Имеет значение для всех специализаций.

static constexpr bool is_integer;

18
#

true если тип целочисленный.

19
#

Имеет значение для всех специализаций.

static constexpr bool is_exact;

20
#

true если тип использует точное представление. Все целочисленные типы являются точными, но не все точные типы являются целыми числами. Например, рациональные представления и представления с фиксированным показателем являются точными, но не целочисленными.

21
#

Имеет значение для всех специализаций.

static constexpr int radix;

22
#

Для типов с плавающей запятой указывает основание или основание системы счисления экспоненты (часто 2).193

23
#

Для целочисленных типов указывает основу представления.194

24
#

Имеет значение для всех специализаций.

static constexpr T epsilon() noexcept;

25
#

Машинный эпсилон: разница между 1 и наименьшим представимым значением больше 1.195

26
#

Имеет значение для всех типов с плавающей запятой.

static constexpr T round_error() noexcept;

27
#

Мера максимальной ошибки округления.196

static constexpr int min_exponent;

28
#

Минимальное отрицательное целое число, radix возведенное в степень на единицу меньше этого целого, является нормализованным числом с плавающей запятой.197

29
#

Имеет значение для всех типов с плавающей запятой.

static constexpr int min_exponent10;

30
#

Минимальное отрицательное целое число, при котором 10 в этой степени находится в диапазоне нормализованных чисел с плавающей запятой.198

31
#

Имеет значение для всех типов с плавающей запятой.

static constexpr int max_exponent;

32
#

Максимальное положительное целое число, radix возведенное в степень на единицу меньше этого целого, является представимым конечным числом с плавающей запятой.199

33
#

Имеет значение для всех типов с плавающей запятой.

static constexpr int max_exponent10;

34
#

Максимальное положительное целое число, такое, что 10 в этой степени находится в диапазоне представимых конечных чисел с плавающей запятой.200

35
#

Имеет значение для всех типов с плавающей запятой.

static constexpr bool has_infinity;

36
#

true если тип имеет представление для положительной бесконечности.

37
#

Имеет значение для всех типов с плавающей запятой.

38
#

Должен быть true для всех специализаций, в которых is_­iec559 != false.

static constexpr bool has_quiet_NaN;

39
#

true если тип имеет представление для тихого (не сигнализирующего) «Not a Number».201

40
#

Имеет значение для всех типов с плавающей запятой.

41
#

Должен быть true для всех специализаций, в которых is_­iec559 != false.

static constexpr bool has_signaling_NaN;

42
#

true если тип имеет представление для сигнализации «Not a Number».202

43
#

Имеет значение для всех типов с плавающей запятой.

44
#

Должен быть true для всех специализаций, в которых is_­iec559 != false.

static constexpr float_denorm_style has_denorm;

45
#

denorm_­present если тип допускает субнормальные значения (переменное количество битов экспоненты)203, denorm_­absent если тип не допускает субнормальных значений, и denorm_­indeterminate если он не определен во время компиляции, допускает ли тип субнормальные значения.

46
#

Имеет значение для всех типов с плавающей запятой.

static constexpr bool has_denorm_loss;

47
#

true если потеря точности определяется как потеря денормализации, а не как неточный результат.204

static constexpr T infinity() noexcept;

48
#

Представление положительной бесконечности, если доступно.205

49
#

Имеет значение для всех специализаций, для которых has_­infinity != false. Обязателен в специализациях, для которых is_­iec559 != false.

static constexpr T quiet_NaN() noexcept;

50
#

Представление тихого «Не числа», если доступно.206

51
#

Имеет значение для всех специализаций, для которых has_­quiet_­NaN != false. Обязателен в специализациях, для которых is_­iec559 != false.

static constexpr T signaling_NaN() noexcept;

52
#

Отображение сигнализации «Не число», если таковая имеется.207

53
#

Имеет значение для всех специализаций, для которых has_­signaling_­NaN != false. Обязателен в специализациях, для которых is_­iec559 != false.

static constexpr T denorm_min() noexcept;

54
#

Минимальное положительное субнормальное значение.208

55
#

Имеет значение для всех типов с плавающей запятой.

56
#

В специализациях, для которых has_­denorm == falseвозвращает минимальное положительное нормализованное значение.

static constexpr bool is_iec559;

57
#

true тогда и только тогда, когда тип соответствует ISO / IEC / IEEE 60559.209

58
#

Имеет значение для всех типов с плавающей запятой.

static constexpr bool is_bounded;

59
#

true если набор значений, представимых типом, конечно.210 [  Note: Все фундаментальные типы ([basic.fundamental]) ограничены. Этот член предназначенfalse для типов произвольной точности. ] — end note 

60
#

Имеет значение для всех специализаций.

static constexpr bool is_modulo;

61
#

true если тип по модулю.211 Тип определяется по модулю, если для любой операции с участием+,-или * со значениями этого типа, результат которых выходит за пределы диапазона [min(), max()], возвращаемое значение отличается от истинного значения на целое число, кратноеmax() - min() + 1.

62
#

[  Example: is_­modulo предназначенfalse для целочисленных типов со знаком ([basic.fundamental]), если реализация, как расширение этого международного стандарта, не определяет целочисленное переполнение со знаком для переноса. ] — end example 

63
#

Имеет значение для всех специализаций.

static constexpr bool traps;

64
#

true если при запуске программы существует значение типа, которое вызовет арифметическую операцию с использованием этого значения для перехвата.212

65
#

Имеет значение для всех специализаций.

static constexpr bool tinyness_before;

66
#

true если крошечность обнаружена до округления.213

67
#

Имеет значение для всех типов с плавающей запятой.

static constexpr float_round_style round_style;

68
#

Стиль округления для шрифта.214

69
#

Имеет значение для всех типов с плавающей запятой. Должны возвращаться специализации для целочисленных типов round_­toward_­zero.

188)

ЭквивалентCHAR_­MIN,SHRT_­MIN, FLT_­MIN,DBL_­MINи т.д.

189)

ЭквивалентCHAR_­MAX,SHRT_­MAX, FLT_­MAX,DBL_­MAXи т.д.

190)

lowest() необходимо, потому что не все представления с плавающей запятой имеют наименьшее (наиболее отрицательное) значение, которое является отрицательным из наибольшего (наиболее положительного) конечного значения.

191)

ЭквивалентFLT_­MANT_­DIG,DBL_­MANT_­DIG, LDBL_­MANT_­DIG.

192)

ЭквивалентFLT_­DIG,DBL_­DIG, LDBL_­DIG.

193)

ЭквивалентноFLT_­RADIX.

194)

Различает типы с основанием, отличным от 2 (например, BCD).

195)

ЭквивалентFLT_­EPSILON,DBL_­EPSILON,LDBL_­EPSILON.

196)

Ошибка округления описана в разделе 5.2.4 LIA-1 и разделе C.5.2.4 «Обоснование» приложения C. - Округление и константы округления.

197)

ЭквивалентFLT_­MIN_­EXP,DBL_­MIN_­EXP, LDBL_­MIN_­EXP.

198)

Эквивалент FLT_­MIN_­10_­EXP,DBL_­MIN_­10_­EXP,LDBL_­MIN_­10_­EXP.

199)

ЭквивалентFLT_­MAX_­EXP, DBL_­MAX_­EXP,LDBL_­MAX_­EXP.

200)

Эквивалент FLT_­MAX_­10_­EXP,DBL_­MAX_­10_­EXP,LDBL_­MAX_­10_­EXP.

201)

Требуется LIA-1.

202)

Требуется LIA-1.

203)

Требуется LIA-1.

204)

См. ISO / IEC / IEEE 60559.

205)

Требуется LIA-1.

206)

Требуется LIA-1.

207)

Требуется LIA-1.

208)

Требуется LIA-1.

209)

ISO / IEC / IEEE 60559: 2011 совпадает с IEEE 754-2008.

210)

Требуется LIA-1.

211)

Требуется LIA-1.

212)

Требуется LIA-1.

213)

См. ISO / IEC / IEEE 60559. Требуется LIA-1.

214)

ЭквивалентноFLT_­ROUNDS. Требуется LIA-1.