Читаем Язык программирования C++. Пятое издание полностью

Для Mod<Т>, где Mod естьЕсли T естьTo Mod<Т>::type есть
remove_referenceX& или X&&X
в противном случаеT
add_constX&, const X или функцияT
в противном случаеconst Т
add_l-value_referenceX&T
X&&X&
в противном случаеT&
add_r-value referenceX& или X&&T
в противном случаеТ&&
remove_pointerX*X
в противном случаеT
add_pointerX& или X&&X*
в противном случаеT*
make_signedunsigned XX
в противном случаеT
make_unsignedзнаковый типunsigned Т
в противном случаеТ
remove_extentX[n]X
в противном случаеT
remove_all_extentsX[n1][n2]...X
в противном случаеT

Используя шаблон remove_reference и замыкающий тип с выражением decltype, можно написать собственную функцию, возвращающую копию значения элемента:

// для использования типа-члена параметра шаблона следует

// использовать typename; см. p. 16.1.3

template auto fcn2(It beg, It end) ->

 typename remove_reference::type {

 // обработка диапазона

 return *beg; // возвратить копию элемента из диапазона

}

Обратите внимание, что тип-член type зависит от параметра шаблона. Таким образом, чтобы указать компилятору, что type представляет тип (см. раздел 16.1.3), в объявлении типа возвращаемого значения следует использовать ключевое слово typename.

Каждый из описанных в табл. 16.1 шаблонов трансформации типа работает так же, как шаблон remove_reference. У каждого шаблона есть открытый член type, представляющий тип. Этот тип может быть связан с собственным параметром типа шаблона способом, о котором свидетельствует имя шаблона. Если невозможно (или ненужно) преобразовать параметр шаблона, тип-член type имеет тип параметра самого шаблона. Например, если Т — это тип указателя, то remove_pointer::type возвращает тип, на который указывает указатель T. Если T не указатель, то никакого преобразования не нужно. В данном случае у типа type тот же тип, что и у Т.

Упражнения раздела 16.2.3

Упражнение 16.40. Корректна ли следующая функция? Если нет, то почему? Если она допустима, то каковы ограничения на типы ее аргументов (если они есть) и каков тип возвращаемого значения?

template

auto fcn3(It beg, It end) -> decltype(*beg + 0) {

 // обработка диапазона

 return *beg; // возвратить копию элемента из диапазона

}

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

<p><image l:href="#books.png"/>16.2.4. Указатели на функцию и дедукция аргумента</p>

При инициализации или присвоении указателя на функцию (см. раздел 6.7) из шаблона функции для вывода аргументов шаблона компилятор использует тип указателя.

Предположим, например, что есть указатель на функцию, которая возвращает тип int и получает два параметра, каждый из которых является ссылкой на const int. Этот указатель можно использовать для указания на экземпляр функции compare():

template int compare(const T&, const T&);

// pf1 указывает на экземпляр int compare(const int&, const int&)

int (*pf1)(const int&, const int&) = compare;

Тип параметров pf1 определяет тип аргумента шаблона для параметра Т. Аргументом шаблона для параметра Т будет int. Указатель pf1 указывает на экземпляр функции compare() с параметром Т, связанным с типом int. Если аргументы шаблона не могут быть выведены из типа указателя функции, произойдет ошибка:

// перегруженные версии func(); каждая получает разный тип указателя

// функции

void func(int(*)(const string&, const string&));

void func(int(*)(const int&, const int&));

func(compare); // ошибка: какой из экземпляров compare?

Перейти на страницу:

Похожие книги

1С: Бухгалтерия 8 с нуля
1С: Бухгалтерия 8 с нуля

Книга содержит полное описание приемов и методов работы с программой 1С:Бухгалтерия 8. Рассматривается автоматизация всех основных участков бухгалтерии: учет наличных и безналичных денежных средств, основных средств и НМА, прихода и расхода товарно-материальных ценностей, зарплаты, производства. Описано, как вводить исходные данные, заполнять справочники и каталоги, работать с первичными документами, проводить их по учету, формировать разнообразные отчеты, выводить данные на печать, настраивать программу и использовать ее сервисные функции. Каждый урок содержит подробное описание рассматриваемой темы с детальным разбором и иллюстрированием всех этапов.Для широкого круга пользователей.

Алексей Анатольевич Гладкий

Программирование, программы, базы данных / Программное обеспечение / Бухучет и аудит / Финансы и бизнес / Книги по IT / Словари и Энциклопедии
1С: Управление торговлей 8.2
1С: Управление торговлей 8.2

Современные торговые предприятия предлагают своим клиентам широчайший ассортимент товаров, который исчисляется тысячами и десятками тысяч наименований. Причем многие позиции могут реализовываться на разных условиях: предоплата, отсрочка платежи, скидка, наценка, объем партии, и т.д. Клиенты зачастую делятся на категории – VIP-клиент, обычный клиент, постоянный клиент, мелкооптовый клиент, и т.д. Товарные позиции могут комплектоваться и разукомплектовываться, многие товары подлежат обязательной сертификации и гигиеническим исследованиям, некондиционные позиции необходимо списывать, на складах периодически должна проводиться инвентаризация, каждая компания должна иметь свою маркетинговую политику и т.д., вообщем – современное торговое предприятие представляет живой организм, находящийся в постоянном движении.Очевидно, что вся эта кипучая деятельность требует автоматизации. Для решения этой задачи существуют специальные программные средства, и в этой книге мы познакомим вам с самым популярным продуктом, предназначенным для автоматизации деятельности торгового предприятия – «1С Управление торговлей», которое реализовано на новейшей технологической платформе версии 1С 8.2.

Алексей Анатольевич Гладкий

Финансы / Программирование, программы, базы данных