Czy prototyp funkcji typedef może być używany w definicjach funkcji?

Question

mam szereg funkcji z tego samego prototypu, powiedzmy

int func1(int a, int b) { 
    // ... 
} 
int func2(int a, int b) { 
    // ... 
} 
// ... 

Teraz chcę, aby uprościć ich definicji i deklaracji. Oczywiście mógłbym użyć makra tak:

#define SP_FUNC(name) int name(int a, int b) 

Ale chciałbym, aby utrzymać go w C, więc próbowałem użyć specyfikatora przechowywania typedef na to:

typedef int SpFunc(int a, int b); 

Wydaje się, działać dobrze dla deklaracji:

SpFunc func1; // compiles 

ale nie dla definicji:

SpFunc func1 { 
    // ... 
} 

która daje mi następujący błąd:

error: expected '=', ',', ';', 'asm' or '__attribute__' before '{' token 

Czy istnieje sposób, aby to zrobić prawidłowo, czy jest to niemożliwe? Dla mojego zrozumienia C to powinno zadziałać, ale tak nie jest. Czemu?

---

Uwaga, gcc rozumie, co próbuję zrobić, bo jeśli piszę

SpFunc func1 = { /* ... */ } 

mówi mi

error: function 'func1' is initialized like a variable 

Czyli gcc rozumie, że SpFunc jest funkcją rodzaj.

Answer 1

Nie możesz zdefiniuj funkcję za pomocą typedef dla typu funkcji. Jest to wyraźnie zabronione - patrz 6.9.1/2 i powiązany przypis:

The identifier declared in a function definition (which is the name of the function) shall have a function type, as specified by the declarator portion of the function definition.

The intent is that the type category in a function definition cannot be inherited from a typedef:

typedef int F(void); // type F is "function with no parameters 
        // returning int" 
F f, g; // f and g both have type compatible with F 
F f { /* ... */ } // WRONG: syntax/constraint error 
F g() { /* ... */ } // WRONG: declares that g returns a function 
int f(void) { /* ... */ } // RIGHT: f has type compatible with F 
int g() { /* ... */ } // RIGHT: g has type compatible with F 
F *e(void) { /* ... */ } // e returns a pointer to a function 
F *((e))(void) { /* ... */ } // same: parentheses irrelevant 
int (*fp)(void); // fp points to a function that has type F 
F *Fp; //Fp points to a function that has type F 

Answer 2

A typedef definiuje typ typu, a nie nagłówek (który jest tekstem kodu źródłowego). Musisz użyć #define (choć nie polecam tego), jeśli chcesz odfiltrować kod dla nagłówka.

([edited] Powód pierwszy działa to, że nie jest to definiowania prototyp. - To jest zdefiniowanie zmiennej typu zdefiniowanego przez typedef, co nie jest to, co chcesz)