C ++ 11 підтримка функцій списку вищого порядку

Більшість функціональних мов програмування (наприклад , Common Lisp, Scheme / ракетки, Clojure, Haskell, Scala, Ocaml, SML) підтримують деякі загальні функції вищого порядку в списках, такі як map, filter, takeWhile, dropWhile, foldl, foldr(см , наприклад , Common Lisp, Scheme / Ракетка, Довідковий лист Clojure , документація Haskell , Scala , OCaml та документація SML .)

Чи C ++ 11 має еквівалентні стандартні методи або функції у списках? Наприклад, розглянемо наступний фрагмент Haskell:

let xs = [1, 2, 3, 4, 5]
let ys = map (\x -> x * x) xs

Як я можу виразити другий вираз у сучасному стандарті C ++?

std::list<int> xs = ... // Initialize the list in some way.
std::list<int> ys = ??? // How to translate the Haskell expression?

А що з іншими згаданими вище функціями вищого порядку?
Чи можуть вони бути безпосередньо виражені в C ++?

Навіть більше, у C ++ є такі функції, погляньте на заголовок алгоритму (або з додатками C ++ 11 ):

std::transform
std::for_each
std::remove_copy_if

Їх можна легко використовувати з будь-яким контейнером.

Наприклад, ваш код може бути виражений так (з C ++ 11 лямбда для легкого кодування):

std::vector<int> x = {1, 2, 3, 4, 5};
std::vector<int> y;
std::transform(x.begin(), x.end(), std::back_inserter(y), [](int elem){ return elem * elem; });

Менш інтуїтивно зрозумілий, але ви можете легко std::transformперетворити виклик у функцію, яка б повернула новий контейнер (із moveсемантикою для кращої продуктивності).