Член класса

Описание

Константы С

min()

max() digits

digitslO radix

min exponent

niax exponent

min exponentlO

maxexponentlO

epsiionO

round style round error()

hasjnfinity

infinityO

has„quiet NaN

quieLNaN has signaiing NaN slgnaiing NaN() has denorm

Минимальное конечное значение (минимальное нормализованное значение для вещественных типов с денормализацией; имеет смысл, если is bounded}!is j5igned)

Максимальное конечное значение (имеет смысл, если is bounded)

Символьные, целочисленные типы - количество незнаковых битов; вещественные типы - количество цифр основания radix (см. далее) в мантиссе

Количество десятичных цифр (имеет смысл, если is bounded)

Целочисленные типы - основание системы счисления, использованной для представления (почти всегда 2); вещественные типы - основание системы счисления, использованной для представления экспоненты

Минимальный отрицательный целый показатель степени с основанием radix

Максимальный положительный целый показатель степени с основанием radix

Минимальный отрицательный целый показатель степени с основанием 10

Максимальный положительный целый показатель степени с основанием 10

Разность между 1 и минимальной величиной, большей 1

Стиль округления (см. с. 77)

Оценка максимальной ошибки округления

(в соответствии со стандартом ISO/IEC 10967-1)

Признак наличия представления для положительной бесконечности

Представление положительной бесконечности (если оно есть)

Признак наличия пассивного представления NaN («не число»)

Пассивное представление NaN

Признак наличия сигнального представления NaN

Сигнальное представление NaN

Возможность представления де нормализован ных значений (с переменным количеством битов экспоненты - см. с. 77)

INT MIN, FLT MIN, CHAR MIN, ...

INT MAX, FLT MAX, ...

CHAR BIT

FLT DIG, ...

FLT RADIX

FLT MIN EXP, ... FLT MAX EXP,... FLT MIN 10 EXP, FLT MAX 10 EXP, FLT EPSILON,...

продолжение

Таблица 4.2 (продолжение)

Член класса Описание Константы С

has clenormJoss Потеря точности обнаруживается как потеря денормализации, а не как неточный результат

denorni mtn() Минимальное положительное денормализованное

значение

traps В типе реализован механизм «ловушек»

tinyness.before Предельно малые значения обнаруживаются перед округлением

Ниже приведен один из вариантов полной специализации числовых пределов для зависимого от платформы типа float. Кроме того, в нем приведены точные сигнатуры членов.

namespace std {

templateo class numericJimlts<float> { publ1 с:

Да. для float существует специализация числовых пределов static const bool is specialized = true;

inline static float min() throwO { return 1.17549435E-38F;

inline static float maxO throwO { return 3.402e2347E+38F;

static const int digits = 24; static const 1nt digitslO = 6;

static const bool is slgned = true;

static const bool is 1nteger = false:

static const bool is exact = false;

static const bool is bounded -= true;

static const bool is modulo = false;

static const bool isjec559 = true;

static const int radix = 2;

inline static float epsilonO throwO { return 1.19209290E-07F;

static const float round style round style

= round to nearest; inline static float round error() throwO {

return 0.5F:

static const int ni1n exponent = -125: static const Int max exponent = +126: static const int ni1n exponentlO = -37; static const int niax exponentlO = +38;

static const bool hasjnfinity = true;

Inline static float infinityO throwO ( return .„; }

static const bool has quiet NaN = true;

inline static float qu1et NaN0 throwO { return ...; }

static const bool has s1gnaling NaN = true;

inline static float s1gnaling NaNC) throwO { return ...; }

static const float denorm style hasjenorm = denorm absent;

static const bool has denormJoss = false:

inline static float denorm m1nO throwO { return mln(); }

static const bool traps = true:

static const bool tinyness before = true;

Обратите внимание: все переменные класса объявлены статическими и константными, чтобы их значения могли определяться на стадии компиляции. В некоторых реализациях значения, возвращаемые функциями, не удается определить па стадии компиляции. Например, при выполнении кода на разных процессорах вещественные числа могут иметь разные значения.

Значения round styte перечислены в табл. 4.3, а значения has denorm - в табл. 4.4. К сожалению, переменная has denorm не называется denorm style, что выглядело бы более логично. Это произошло из-за того, что на поздней стадии стандартизации логический тип был заменен перечисляемым. Тем не менее переменная has denorm может использоваться в логическом контексте, потому что в соответствии со стандартом значение denorm absent равно О (эквивалент false), а denorm present и denormjndetermlnate равны соответственно 1 и -1 (оба значения эквивалентны true). Следовательно, has denorm может интерпретироваться как логический признак, указывающий, допускает ли данный тип денормализо-ванные значения.

Таблица 4.3. Стили округления в numericjimitso Стнль Описание