Для , где есть | Если T есть | To есть |
---|---|---|
remove_reference | X& или X&& | X |
в противном случае | T | |
add_const | X& , const X или функция | T |
в противном случае | const Т | |
add_l-value_reference | X& | T |
X&& | X& | |
в противном случае | T& | |
add_r-value reference | X& или X&& | T |
в противном случае | Т&& | |
remove_pointer | X* | X |
в противном случае | T | |
add_pointer | X& или X&& | X* |
в противном случае | T* | |
make_signed | unsigned X | X |
в противном случае | T | |
make_unsigned | знаковый тип | unsigned Т |
в противном случае | Т | |
remove_extent | X[n] | X |
в противном случае | T | |
remove_all_extents | X[n1][n2]... | X |
в противном случае | T |
Используя шаблон remove_reference
и замыкающий тип с выражением decltype
, можно написать собственную функцию, возвращающую копию значения элемента:
//
//
template
typename remove_reference
//
return *beg; //
}
Обратите внимание, что тип-член type
зависит от параметра шаблона. Таким образом, чтобы указать компилятору, что type представляет тип (см. раздел 16.1.3), в объявлении типа возвращаемого значения следует использовать ключевое слово typename
.
Каждый из описанных в табл. 16.1 шаблонов трансформации типа работает так же, как шаблон remove_reference
. У каждого шаблона есть открытый член type
, представляющий тип. Этот тип может быть связан с собственным параметром типа шаблона способом, о котором свидетельствует имя шаблона. Если невозможно (или ненужно) преобразовать параметр шаблона, тип-член type имеет тип параметра самого шаблона. Например, если Т
— это тип указателя, то remove_pointer
возвращает тип, на который указывает указатель T
. Если T
не указатель, то никакого преобразования не нужно. В данном случае у типа type
тот же тип, что и у Т
.
Упражнение 16.40. Корректна ли следующая функция? Если нет, то почему? Если она допустима, то каковы ограничения на типы ее аргументов (если они есть) и каков тип возвращаемого значения?
template
auto fcn3(It beg, It end) -> decltype(*beg + 0) {
//
return *beg; //
}
Упражнение 16.41. Напишите версию функции sum()
с типом возвращаемого значения, который будет гарантированно большим, чтобы содержать результат сложения.
При инициализации или присвоении указателя на функцию (см. раздел 6.7) из шаблона функции для вывода аргументов шаблона компилятор использует тип указателя.
Предположим, например, что есть указатель на функцию, которая возвращает тип int
и получает два параметра, каждый из которых является ссылкой на const int
. Этот указатель можно использовать для указания на экземпляр функции compare()
:
template
//
int (*pf1)(const int&, const int&) = compare;
Тип параметров pf1
определяет тип аргумента шаблона для параметра Т
. Аргументом шаблона для параметра Т
будет int
. Указатель pf1
указывает на экземпляр функции compare()
с параметром Т
, связанным с типом int
. Если аргументы шаблона не могут быть выведены из типа указателя функции, произойдет ошибка:
//
//
void func(int(*)(const string&, const string&));
void func(int(*)(const int&, const int&));
func(compare); //