Может ли прототип функции typedef использоваться в определениях функций? - PullRequest
Новая
       9

Может ли прототип функции typedef использоваться в определениях функций?

33 голосов
/ 01 января 2011

У меня есть ряд функций с одним и тем же прототипом, скажем, 

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

Теперь я хочу упростить их определение и объявление. Конечно, я мог бы использовать такой макрос: 

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

Но я бы хотел сохранить его в C, поэтому я попытался использовать для этого спецификатор хранилища typedef: 

typedef int SpFunc(int a, int b);

Кажется, это нормально работает для объявления: 

SpFunc func1; // compiles

но не для определения: 

SpFunc func1 {
  // ...
}

, который дает мне следующую ошибку: 

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

Есть ли способ сделать это правильно или это невозможно? Насколько я понимаю, это должно работать, но это не так. Почему?

Обратите внимание, gcc понимает, что я пытаюсь сделать, потому что, если я напишу 

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

это говорит мне 

error: function 'func1' is initialized like a variable

Это означает, что gcc понимает, что SpFunc является типом функции.

Ответы [ 2 ]

43 голосов
/ 01 января 2011

Вы не можете определить функцию, используя typedef для типа функции.Это явно запрещено - см. 6.9.1 / 2 и соответствующую сноску:

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

Намерение состоит в том, что категория типа в определении функции не может быть унаследована от определения типа: 

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
0 голосов
/ 01 января 2011

A typedef определяет тип , а не заголовок (который является текстом исходного кода).Вы должны использовать #define (хотя я не рекомендую это), если вам нужно выделить код для заголовка.

([Отредактировано]). Причина, по которой первый работает, заключается в том, что он не определяетПрототип - это определение переменной типа, определенного typedef, что не соответствует вашим ожиданиям.)

...