В связи с этим вопросом возник такой.
Как правильно написать функцию, которая принимает другую случайную функцию, возможно что-то делает, вызывает принятую функцию, возможно опять что-то делает, а потом возвращает результат этой принятой функции?
При этом все типы должны сохраняться, то есть если принятая функция возвращает что-то по ссылке или по значению, то и результат функции-декоратора должен быть таким же. Параметры тоже должны передаваться идеально. Не должно быть лишних копирований и перемещений (может быть копирование результата исходной функции, только если этот результат нужен нашему декоратору (например, залогировать его), но такое копирование не лишнее, а необходимое). Если переданная функция выкидывает исключение, то "опять что-то делает" не происходит (то есть если у нас должен писаться лог после вызова исходной функции, то при исключении он не пишется). Если для исходной функции была возможна оптимизация возвращающего значения, то и для вызова декорирующей она должна быть.
Пример вызова такой декорирующей функции log_invoke
:
struct A {} a;
auto foo = []() -> A { return {}; };
auto bar = []() -> A& { return a; };
int main() {
auto rvo = log_invoke(foo);
auto no_rvo = log_invoke(bar);
}
std::invoke
?