Jak rozumieć "typedef int (xxx) (int yyy);"?

Question

typedef int (xxx)(int yyy); zdaje się definiować wskaźnik funkcji o nazwie xxx, który wskazuje na funkcję o parametrze całkowitym yyy.

Ale nie rozumiem tej składni ... Czy ktokolwiek mógłby podać dobre wyjaśnienie?

---

Znajduję typedef int xxx(int yyy); nadal działa. Jakaś różnica między nimi?

Answer 1

Definiuje typ funkcji, a nie typ wskaźnika funkcji.

Wzorzec z polega na tym, że modyfikuje każdą deklarację, tak że zamiast deklarować obiekt, deklaruje alias do typu, który miałby obiekt.

To jest całkowicie poprawny:

typedef int (xxx)(int yyy); // Note, yyy is just an unused identifier. 
// The parens around xxx are also optional and unused. 

xxx func; // Declare a function 

int func(int arg) { // Define the function 
    return arg; 
} 

C i C++ Języki konkretnie, i na szczęście, nie pozwolić na korzystanie z nazwy typedef jak cały typu w definicji funkcji.

Answer 2

Tak, typedef int (xxx)(int yyy); jest taki sam jak typedef int xxx(int yyy);, który definiuje typ funkcji. Przykład można znaleźć na stronie 156 Standard C15 N1570. Cytat z tej strony,

All three of the following declarations of the signal function specify exactly the same type, the first without making use of any typedef names.

typedef void fv(int), (*pfv)(int); 
    void (*signal(int, void (*)(int)))(int); 
    fv *signal(int, fv *); 
    pfv signal(int, pfv); 

Answer 3

Jeśli masz jakieś declarator x w deklaracji T x, następnie T x(t1 p1, t2 p2) oznacza funkcji z params P1, P2, powrót tego samego typu jak declarator x został mający przed .

Nawias wokół deklaratora oznacza zastosować modyfikatory wewnątrz nawiasu najpierw.

W twoim przypadku nie ma żadnych modyfikatorów wewnątrz nawiasów. Oznacza to, że nie ma w nich potrzeby.

Prototyp funkcji oznacza Istnieje funkcja, która ma taki podpis i nosi nazwę Blah.

Typedef z prototypem funkcji oznacza Pozwala nadać nazwę bla na funkcję podpis. Nie oznacza to, że istnieje jakakolwiek funkcja z tym podpisem. Ta nazwa może być używana jako typ. Na przykład:

typedef int xxx(int yyy); 

xxx *func_ptr;  // Declaration of a variable that is a pointer to a function. 
xxx *func2(int p1); // Function that returns a pointer to a function.