Програмиране от по-висок ред в C++

Функция, някои формални параметри на която са функции, се нарича функция от по-висок ред.

В езика C++ е възможно формален параметър на функция да е указател към функция, а също е възможно резултатът от изпълнението на функция да е указател към функция. Това позволява да се реализират функции от по-висок ред, а също такива които връщат функция.

1. Указател към функция

Името на функция е константен указател, сочещ към първата машинна инструкция от изпълнимия й машинен код. В езика C++ е възможно да се дефинират променливи, които са указатели към функции (Фиг. 1).

<дефиниция_на_променлива_указател_към_функция> ::=

<тип_на_функция>(*<указател_към_функция>)(<формални_параметри>)