Стенли Липпман - Язык программирования C++. Пятое издание

}

Точный тип, подлежащий возвращению, неизвестен, но известно, что он будет ссылкой на тип элемента обрабатываемой последовательности:

vector vi = {1,2,3,4,5};

Blob ca = { "hi", "bye" };

auto &i = fcn(vi.begin(), vi.end()); // fcn() должна возвратить int&

auto &s = fcn(ca.begin(), ca.end()); // fcn() должна возвратить string&

Здесь известно, что функция возвратит ссылку *beg, а также, что можно использовать выражение decltype(*beg)для получения типа этого выражения. Однако параметр begне существует, пока не встретится список параметров. Чтобы определить эту функцию, следует использовать замыкающий тип возвращаемого значения (см. раздел 6.3.3). Поскольку замыкающий тип располагается после списка параметров, он может использовать параметры функции:

// замыкающий тип позволяет объявлять тип возвращаемого значения уже

// после списка параметров

template

auto fcn(It beg, It end) -> decltype(*beg) {

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

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

}

Здесь компилятору было указано, что тип возвращаемого значения функции fcn()совпадает с типом, возвращенным при обращении к значению параметра beg. Оператор обращения к значению возвращает l-значение (см. раздел 4.1.1), таким образом, выведенный выражением decltypeтип является ссылкой на тип элемента, обозначаемого параметром beg. Следовательно, если функция fcn()будет вызвана для последовательности строк, то типом возвращаемого значения будет string&. Если это будет последовательность элементов типа int, то возвращен будет тип int&.

Иногда прямого доступа к необходимому типу нет. Например, может возникнуть необходимость в функции, подобной fcn(), которая возвращает элемент по значению (см. раздел 6.3.2), а не по ссылке.

Проблема написания этой функции в том, что о передаваемых типах неизвестно почти ничего. Единственные известные в этой функции операции, которые можно использовать, — это операции с итераторами, и нет никаких операций с итераторами, которые возвращают элементы (в противоположность ссылкам на элементы).

Чтобы получить тип элемента, можно использовать библиотечный шаблон трансформации типа (type transformation). Эти шаблоны определяются в заголовке type_traits. Обычно классы заголовка type_traitsиспользуются для так называемого шаблонного метапрограммирования, не рассматриваемого в данной книге. Однако шаблоны трансформации типа полезны и в обычном программировании. Они описаны в табл. 16.1, а их реализация рассматривается в разделе 16.5 (стр. 892).

В данном случае для получения типа элемента можно использовать шаблон remove_reference. У шаблона remove_referenceодин параметр типа шаблона и (открытый) тип-член type. Если экземпляр шаблона remove_referenceсоздается со ссылочным типом, то тип typeбудет ссылочным. Например, если создать экземпляр remove_reference, то типом type будет int. Точно так же, если создать экземпляр remove_reference, то типом type будет stringи т.д. Таким образом, при условии, что beg— итератор, следующее выражение возвратит тип элемента, на который указывает итератор beg:

remove_reference::type

Выражение decltype(*beg)возвратит ссылочный тип элемента type. Выражение remove_reference::typeудаляет ссылку, оставляя тип самого элемента.

Таблица 16.1. Стандартные шаблоны трансформации типа

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