Czy gwiazdka jest opcjonalna w wskaźniku funkcji?

Question

Kod używam jest to stwierdzenie:

typedef void (udp_data_notify)(OS_FIFO * pfifo, WORD port); 

To wygląda deklaracji wskaźnika do funkcji udp_data_notify, jednak nie ma *. Czy nadal może być wskaźnikiem funkcji bez gwiazdki?

Oto oświadczenie, że korzysta udp_data_notify:

void RegisterUDPFifoWithNotify(WORD dp, OS_FIFO *pnewfifo , udp_data_notify * nudp) 

Każda pomoc, co dzieje się będą mile widziane!

Answer 1

Wyświetlany typedef deklaruje, że udp_data_notify jest aliasem dla typu funkcji. Następnie deklaracja parametru udp_data_notify *nudp deklaruje, że jest ona wskaźnikiem funkcji tego typu. Nie ma tutaj żadnej funkcji.

Jeśli chodzi o operator wywołania funkcji (przyrostek ()), wyrażenie określające wywoływaną funkcję musi być wskaźnikiem dla funkcji. Gdy wywołujesz funkcję normalnie, bez wskaźnika, na przykład sqrt(2), funkcja jest automatycznie konwertowana na wskaźnik dla ciebie. Tak więc sqrt(2) jest w rzeczywistości (&sqrt)(2). Gdy wywołujesz funkcję ze wskaźnikiem, wywołanie jest już we właściwej formie.

Answer 2

typedef takich jak:

typedef void name(int); 

(nawias około name są redundantne) definiuje name jako typ funkcji, a nie wskaźnik funkcji. To będzie:

typedef void (*pname)(int); 

Prawdopodobnie zastanawiasz się, do czego są one dobre. Dobrze, typy funkcyjne nie są bardzo przydatne, inne niż dla deklarujących wskaźników:

name *pointer_to_function; 

i które mogą być wykonane prawdopodobnie bardziej czytelne z drugiej typedef:

pname pointer_to_function; 

to dlatego, że nie można zdefiniować zmienną funkcja typu. Jeśli spróbujesz, będziesz po prostu napisać prototyp funkcji, ale w dość zaszyfrowanej składnię:

name foo; //declaration (prototype), not variable 
void foo(int x) //definition 
{ 
} 

Należy jednak pamiętać, że nie można używać typedef zdefiniować funkcję:

name foo {} //syntax error! 

Answer 3

Jak już powiedział, typedef deklaruje alias dla typu funkcji. Jeśli chcesz go użyć do zadeklarowania wskaźnika funkcji, wymagana jest gwiazdka (udp_data_notify* x). Deklaracja bez gwiazdki (udp_data_notify x) byłaby deklaracją funkcji, z wyjątkiem jednego szczególnego przypadku. Gdy używany w parametrze typu funkcja automatycznie się do odpowiedniego typu wskaźnik funkcji:

typedef void F(void); 
void foo(F a, F* b) // special case; a and b are both function pointers 
{ 
    F c; // function declaration 
    F* d; // function pointer 
}