std::transform

 

C++

Язык

Заголовочные файлы

Концепты

Поддержка языка

Ошибка

Утилиты

Строки

Контейнеры

Алгоритмы

Итераторы

Работа с числами

Ввод/вывод

Локализация

Регулярные выражения (C++11)

Атомарные операции (C++11)

Потоки (C++11)

Файловая система (C++17)

Технические спецификации

 

Алгоритмы

Функции
Немодифицирующие линейные операции
all_ofany_ofnone_of Шаблон:lines for_each countcount_if mismatch equal	findfind_iffind_if_not Шаблон:lines find_end find_first_of adjacent_find search search_n
Модифицирующие линейные операции
copycopy_if Шаблон:lines copy_n Шаблон:lines copy_backward move Шаблон:lines move_backward Шаблон:lines fill fill_n transform generate generate_n removeremove_if remove_copyremove_copy_if	replacereplace_if replace_copyreplace_copy_if swap swap_ranges iter_swap reverse reverse_copy rotate rotate_copy random_shuffleshuffle Шаблон:lines unique unique_copy
Разделение
is_partitioned Шаблон:lines partition partition_copy Шаблон:lines	stable_partition partition_point Шаблон:lines
Сортировка (на отсортированных промежутках)
is_sorted Шаблон:lines is_sorted_until Шаблон:lines sort	partial_sort partial_sort_copy stable_sort nth_element
Бинарный поиск (на отсортированных промежутках)
lower_bound upper_bound	binary_search equal_range
Множества (на отсортированных промежутках)
merge inplace_merge includes	set_difference set_intersection set_symmetric_difference set_union
Куча
is_heap is_heap_until Шаблон:lines make_heap	push_heap pop_heap sort_heap
Минимум/максимум
max max_element min min_element minmax Шаблон:lines minmax_element Шаблон:lines	lexicographical_compare is_permutation Шаблон:lines next_permutation prev_permutation
Числовые операции
iota Шаблон:lines accumulate inner_product	adjacent_difference partial_sum
Библиотека C
qsort	bsearch

 

Defined in header <algorithm>
template< class InputIt, class OutputIt, class UnaryOperation > OutputIt transform( InputIt first1, InputIt last1, OutputIt d_first,                     UnaryOperation unary_op );	(1)
template< class InputIt1, class InputIt2, class OutputIt, class BinaryOperation > OutputIt transform( InputIt1 first1, InputIt1 last1, InputIt2 first2,                     OutputIt d_first, BinaryOperation binary_op );	(2)

Применяет заданную функцию к одному диапазону и сохраняет результат в другой диапазон, начинающийся с d_first.

В первом варианте унарная операция unary_op применяется к диапазону [first1, last1). Во втором варианте бинарная операция binary_op применяется к элементам из двух диапазонов: [first1, last1) и начинающемуся с first2.

Параметры

first1, last1	—	первый диапазон элементов для изменения
first2	—	начало второго диапазона элементов для изменения
d_first	—	начало целевого диапазона, может совпадать с first1 или first2
unary_op	—	unary operation function object that will be applied. The signature of the function should be equivalent to the following:  Ret fun(const Type &a); The signature does not need to have const &. Тип Type должен быть таков, что объект типа InputIt может быть разыменован и затем неявно преобразован в Type. Тип Ret должен быть таков, что объект типа OutputIt может быть разыменован, а результату разыменования присвоено значение типа Ret. ​
binary_op	—	binary operation function object that will be applied. The signature of the function should be equivalent to the following:  Ret fun(const Type1 &a, const Type2 &b); The signature does not need to have const &. Типы Type1 и Type2 должны быть таковы, что объекты типов InputIt1 и InputIt2 могут быть разыменованы и затем неявно преобразованы в Type1 и Type2 соответственно. Тип Ret должен быть таков, что объект типа OutputIt может быть разыменован, а результату разыменования присвоено значение типа Ret. ​
Требования к типам
- InputIt должен соответствовать требованиям InputIterator.
- InputIt1 должен соответствовать требованиям InputIterator.
- InputIt2 должен соответствовать требованиям InputIterator.
- OutputIt должен соответствовать требованиям OutputIterator.

Возвращаемое значение

Output-итератор на элемент, следующий за последним изменённым.

Сложность

1) Ровно std::distance(first1, last1) применений unary_op.

2) Ровно std::distance(first1, last1) применений binary_op.

Требования

unary_op и binary_op не имеют побочных эффектов. (до C++11)

unary_op и binary_op не делают некорректными никакие итераторы (включая конечные) и не изменяют никакие элементы участвующих диапазонов. (начиная с C++11)

Целью этих требований является возможность параллельных или неупорядоченных реализаций функции std::transform. Чтобы применить функцию к последовательности по порядку, следует использовать std::for_each.

Возможная реализация

Первый вариант
template<class InputIt, class OutputIt, class UnaryOperation> OutputIt transform(InputIt first1, InputIt last1, OutputIt d_first, UnaryOperation unary_op) { while (first1 != last1) { *d_first++ = unary_op(*first1++); } return d_first; }
Второй вариант
template<class InputIt1, class InputIt2, class OutputIt, class BinaryOperation> OutputIt transform(InputIt first1, InputIt last1, InputIt first2, OutputIt d_first, BinaryOperation binary_op) { while (first1 != last1) { *d_first++ = binary_op(*first1++, *first2++); } return d_first; }

Пример

Следующий код использует std::transform для приведения строки в верхний регистр при помощи функции std::toupper:

Запустить этот код

#include <string>
#include <cctype>
#include <algorithm>
#include <iostream>
 
int main()
{
    std::string s("hello");
    std::transform(s.begin(), s.end(), s.begin(), (int (*)(int))std::toupper);
    std::cout << s;
}

Вывод:

HELLO

См. также

for_each	Применяет функцию к диапазону элементов (шаблон функции)