Т* releasee) throwO { Т* tmp(ap): ар = 0; return tnip:

Повторная инициализация void reset СТ* ptr=0) throwC) { if Cap != ptr) {

delete ap;

ap = ptr;

Специальные преобразования с применением вспомогатепьного типа используемые при копировании и присваивании auto ptr(auto ptr ref<T> rhs) throwO ; ap(rhs.yp) {

auto ptr& operator= (auto ptr ref<T> rhs) throwO { Новый reset(rhs.yp): return *this;

tempiate<class Y>

operator auto ptr ref<Y>C) throwO ( return auto ptr ref<Y>(releaseO);

tempiate<class Y> operator auto ptr<Y>0 throwO { return auto ptr<Y>(releaseC));

Числовые пределы

На практике предельные значения числовых типов зависят от платформы. В стандартной библиотеке С++ они реализованы в шаблоне numericjimits. Числовые пределы заменяют и дополняют обычные препроцессорные константы языка С. Впрочем, эти констарггы по-прежнему доступны для целочисленных типов в заголовочный файлах <climits> и <limits.h>, а для вещественных типов - в заголовочный файлах <float> и <float.h>. У новой концепции числовых пределов есть два достоинства: во-первых, она повышает уровень типовой безопасности, а во-вторых, позволяет программисту писать шаблоны, которые проверяют эти пределы.

Этот раздел посвящен числовым пределам. Однако следует заметить, что всегда рекомендуется писать независимый от платформы код, рассчитанный на

минимальный гарантированный размер данных типа. Минимальные размеры для разных типов перечислены в табл. 4.1.

Таблица 4.1. Минимальный размер базовых типов Тип Минимальный размер

Класс numeric limits

Обычно шаблоны применяются для реализации некой функциональности в любом типе. Однако шаблоны также могут использоваться для определения общего интерфейса, реализуемого в типах, поддерживающих этот интерфейс. Для этой цели определяются специализированные версии обобщенного шаблона. Ниже показано, как эта методика применяется в шаблоне numericjimits.

О Обобщенный шаблон задает числовые пределы по умолчанию для произвольного типа:

namespace std {

/* Числовые пределы по умолчанию для произвольного типа */ template <cla5s Т> class numericjimits ( public:

Специализация числовых пределов отсутствует static const bool is specialized = false:

... Прочие члены класса, которые не имеют смысла для обобщенных числовых пределов

Обобщенный шаблон числовых пределов указывает лишь на то, что для типа Т числовые пределы пе определены. Для этого переменной is specialized присваивается значение false.

О Специализированные версии шаблона определяют числовые пределы для всех числовых типов:

namespace std {

/* Числовые пределы для int */

template <> class numericjimits<int> {

public;

Да, для int существует специализация числовых пределов static const bool 1s spec1al1zecl - true;

static T minO throwO { return -2147483648;

static T maxO throwO { return 2147483647:

static const int digits - 31;

Ha этот раз переменной is speciali2ed присвоено значение true, а остальные члены класса используют числовые пределы конкретного типа (int в приведенном примере).

Обобщенный шаблон numericjimits и его стандартные специализации содержатся в заголовочном файле <limits>. Заголовок включает специализации для всех базовых типов, представляющих числовые значения: bool, char, signed char, unsigned char, wchar t, short, unsigned short, Int, unsigned Int, long, unsigned long, float, double и long double. Кроме того, аналогичные специализации легко определяются для пользовательских числовых типов.

В табл. 4.2 перечислены все члены класса numericjimitso с краткими описаниями, В правом столбце приводятся соответствующие константы С, определяемые в заголовочных файлах <cllmjts>, <llmlts.h>, <cfloat> и <float.h>.

Таблица 4.2. Члены класса numericjimitso

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

ls„spedalized Тип поддерживает специализацию числовых

пределов

ls slgned Знаковый тип

isjnteger Целочисленный тип

Is.exact Вычисления производятся без ошибок округления

(true для всех целочисленных типов)

ls bounded Тип имеет конечный набор допустимых значений

(true для всех встроенных типов)

is modulo Поддерживается сложение по модулю

(суммирование двух положительных чисел может привести к меньшему результату)

Isjec559 Тип соответствует стандартам IEC 559 и IEEE 754