++ указатель на функцию C, Beginner Вопрос

Question

Я хочу спросить о указателе в C++

У меня есть простой код:

int add(int a, int b){ 
return a+b; 
} 

int runner(int x,int y, int (*functocall)(int, int)){ 
return (*functocall)(x,y); 
} 

Теперь предположим, что я называю эти функции, используя этот путь:

cout<<runner(2,5,&add); 

или, может быть

cout<<runner(2,5,add); 

есть ли разница? потому что, когда я пытался, результат тот же и без ошибок.

Большое спасибо

Answer 1

Я считаю, что второй вызов автоматически разрешает к первому вызову в компиляторе ...

Answer 2

Функция будет неявно приведен к указателю согласно C++ Standard (4,3/1). Нет никакой разницы. Однако это преобразование никогда не применяется к нестатической функции-члену. Для них вы должны явно написать &.

Answer 3

Нет никакой разницы. Для согласованности с другими способами получения указателя вы можете использовать &, но само название не имеет другого смысла, поэтому предполагается, что он означает «получить адрес».

Это очень похоже на имена переменных массива, которые выступают в качестве адреса первого элемента массива.

Answer 4

это потому, что нет такого объекта (в терминах выражений) как функции, есть только указатели на функции. Когда вы хотите передать функцию своей функции, единственное, что вы можете передать, - это указатель, поэтому компилятор делает это для вас

Answer 5

Нет, в этом конкретном случае нет разницы. Любой из них дает вам адрес функции.

Обратите внимание, что в C++ для получения указателя на элемент требуется, чтобы вы использовали оператор '&'.

Answer 6

Обратите внимание, что вы можете иметь ссылки на функцию

int runner(int x,int y, int (&functocall)(int, int)){ 
return functocall(x,y); 
} 

Теперь призывающей его с &add больше не будет работать, потому что вы пытаетесь связать ссылку на функцию к указателю, а не к функции. Иногда это просвечивает при использовании шаблонов

template<typename T> 
int runner(int x,int y, T &functocall, T otherfunc){ 
return functocall(x,y) + otherfunc(y, x); 
} 

Теперь называя его runner(10, 20, add, add) потерпит неудачу, потому что T Стараются быть выведено как указатель функции и типа функции (без распада до указателя делаются при переходе к ссылке параметр!).