Wywołanie funkcji za pomocą wskaźnika funkcji - usunięcie wskaźnika, czy nie? Co za różnica?

Question

Próbowałem zarówno - C i C++ i oba działają dobrze.

Jestem trochę nowych do wskaźników funkcji i oto prosty kod, który mnie zaskoczył:

#include <assert.h> 
void sort(int* arr, const int N); 

int main() 
{ 
    int arr1[] = { 1, 5, 2, 6, 2 }; 
    int arr2[] = { 1, 5, 2, 6, 2 }; 

    void (*sort_ptr)(int*, const int) = sort; 

    sort_ptr(arr1, 5); 
    (*sort_ptr)(arr2, 5); 

    assert(arr1[0] == 1 && arr1[1] == 2 && arr1[2] == 2 && 
      arr1[3] == 5 && arr1[4] == 6); 
    assert(arr2[0] == 1 && arr2[1] == 2 && arr2[2] == 2 && 
      arr2[3] == 5 && arr2[4] == 6); 

    return 0; 
} 

void sort(int* arr, const int N) 
{ 
    // sorting the array, it's not relevant to the question 
} 

Więc jaka jest różnica między

sort_ptr(arr1, 5); 

i

(*sort_ptr)(arr2, 5); 

Oba wydają się działać (brak błędów, brak ostrzeżeń, posortowane tablice) i jestem trochę zdezorientowany. Który z nich jest prawidłowy lub oba są poprawne?

Answer 1

sort_ptr(arr1, 5); 

i

(*sort_ptr)(arr2, 5); 

Obie są poprawne. W rzeczywistości, można umieścić jak najwięcej gwiazdki chcesz i wszystkie są prawidłowe:

(*****sort_ptr)(arr2, 5); 

Nazwa funkcji rozpada się wskaźnik do funkcji. W związku z tym wielokrotne odwoływanie się do niego będzie miało taki sam wskaźnik.

Answer 2

Jeśli chodzi o kompilator, sort_ptr i (*sort_ptr) są identyczne. Jeśli rzeczywiście jest wskaźnikiem sort_ptr, jawne wyłuskiwanie go sprawia, że ​​czytelnik jest bardziej zrozumiały. Ogólnie; istnieje jeden przypadek, w którym fakt, że można wywołać funkcję bezpośrednio na wskaźniku do funkcji, jest przydatny: w szablonach, gdzie tworzy wskaźnik do działania obiektu funkcjonalnego, który zachowuje się dokładnie jak klasa z operator()().