Как правильно передавать функцию в качестве параметра?

Question

[Matvey_Mt]

Всем привет.
Объясните пожалуйста чем такой вариант:

void fooPrint(void foo()) {
    foo();
}

отличается от вот такого:

void fooPrint(void (*foo)()) {
    foo();
}

Синтаксически понятно что во втором случае передается указатель на функцию, а в первом передается получается вся функция, я правильно понимаю? И это плохо с точки зрения производительности. Хотя в первом и во втором случае sizeof(foo) выдает одинаково 8 байт...

Comments

[Михаил]

"Вся функция" никак передаваться не может.

Answer 1

[res2001]

Оба варианта правильные. Имя функции это и есть указатель на функцию, так что sizeof(foo) == sizeof(&foo). По сути тут компилятор просто игнорирует операцию взятия адреса от функции.
Вся функция никогда не передается - только указатель.

Я бы предпочел второй вариант, т.к. тут явно указано, что надо передавать указатель на функцию.
На самом деле тип указателя на функцию я бы оформил через typedef, и в параметре указывал бы уже имя типа:

typedef void (*foo_t)();
void fooPrint(foo_t foo) {
    foo();
}

Comments

[Matvey_Mt]

Я правильно понял, что тут та же история что и с передачей массива в функцию, т.е. можно так:
void foo(int *arr, int const size) {}
или так:
void foo(int arr[], int const size) {}

[res2001]

Matvey_Mt, Верно.
Даже если вы попробуете передать автоматический массив, то все равно передается только указатель:

#define N   10
void foo(int arr[N]) {}
...
int array[N];
foo(array);

Но с автоматическими массивами надо быть аккуратным - имя такого массива не всегда ведет себя как указатель, в некоторых случаях оно ведет себя как массив. Например sizeof(array) из примера выше вернет полный размер массива в байтах, а не размер указателя.

[RabraBabr]

Matvey_Mt,

Я правильно понял, что тут та же история что и с передачей массива в функцию

А можно и так. Начиная с 20 стандарта для встроенных массивов возможен вариант с std::span (до этого из gsl)
void foo(span<int> arr);

[Matvey_Mt]

RabraBabr, Мне бы базу нормально освоить, до стандартов уже потом доберусь =)

Answer 2

[mayton2019]

Если компиллятор глотает оба варианта и тесты проходят - то я-бы взял просто первый вариант.

Там меньше букв.

Comments

[Matvey_Mt]

Сорян но очень плохой ответ, пальцем в небо называется. В каких-нибудь высокоуровневых языках возможно такой подход прокатывает, но в плюсах явно нет.

[Денис Загаевский]

Matvey_Mt, плюсы это такой специальный язык, в котором обязательно требуется, чтобы программист заебался. Не заебался — не настоящий программист, во.

[mayton2019]

Где-то читал про 19 способов инициализации переменной. В бытность С++ кодинга я использовал максимум 2 способа. На данный фокус с декларацией функций можно посмотреть с позиции новых стандартов С++17 например.