Параметрам шаблонного класса можно присваивать значения по умолчанию (см. п. п. 14.1/9 в [1]). Разрешается присваивать значения по умолчанию и для параметров-типов. Например, для шаблона TSimpleArray можно присвоить по умолчанию тип double и размер массива равный 100. Заголовок шаблона пишется привычным способом:
template<typename Т = double, std::size_t N = 100>
В реализации методов ничего изменять не требуется. Тогда допускаются объявления массивов такого вида:
TSimpleArray<int, 20> t; .TSimpleArray<Date> d: TSimpleArrayo p:
// полное объявление
// количество по умолчанию
// тип и количество по умолчанию
Пустые скобки писать обязательно, иначе компилятор будет искать обычный класс TSimpleArray (и, естественно, не найдет). Во всех объявлениях инициализация выполняется по умолчанию. Класс Date должен иметь конструктор без аргументов, или конструктор инициализации с параметрами по умолчанию.
Как и для функций с параметрами по умолчанию, при определении объекта нельзя пропускать левые параметры, например:
TSimpleArray<10> t; // ошибка трансляции
Такое объявление приведет к ошибке трансляции — компилятор не обнаружит определения шаблона с одним целочисленным параметром.
Для целочисленных параметров допускается задавать в качестве значения константное выражение, которое компилятор способен вычислить на этапе трансляции. Для параметров-типов, естественно, можно задать либо встроенный тип, либо любое имя типа, видимое в точке определения шаблона.
Как и для обычных функций, присваивать значения по умолчанию нужно правым параметрам. Например, можно написать заголовок шаблона TSimpleArray:
template<typename Т, std::size_t N = 100>
При этом не разрешается писать так:
template<typename Т = double, std::size_t N>
|
Главная
Каталог файлов
