Объявление typedef функции

Question

Как работает следующий код без указания имени для typedef в третьей строке? Как компилятор предполагает pf как новый тип данных?

#include <stdio.h> 

int fun(int, int); 
typedef int (*pf) (int, int); 
int proc(pf, int, int); 

int main(){ 
    printf("%d\n", proc(fun, 6, 6)); 
    return 0; 
} 

int fun(int a, int b){ 
    return (a==b); 
} 

int proc(pf p, int a, int b){ 
    return ((*p)(a, b)); 
} 

Answer 1

Синтаксически, typedef рассматривается как спецификатор класса хранения, например extern или static. Он не определяет класс хранения; это просто определено для удобства. Таким образом, вы можете заменить typedef на static и получить объявление с другим смыслом, но похожим синтаксисом и определением того же идентификатора.

У вас есть:

typedef int (*pf) (int, int); 

Замена typedef на static дает:

static int (*pf) (int, int); 

который объявляет указатель на функцию с именем pf. Версия декларации typedef также объявляет идентификатор pf, но как имя типа, а не как объект-указатель.

Имейте в виду, что typedef не создает новый тип, просто новое имя для существующего типа.Вместо объявления pf в качестве объекта объявление typedef делает pf псевдоним для имени типа int (*)(int, int).

Поскольку класс хранения спецификаторы являются необязательными, вы также можете понять сложную typedef декларации, опуская слово typedef:

int (*pf) (int, int); 

который декларирует pf как объект типа int (*) (int, int).

Вы также можете использовать программу cdecl, чтобы объяснить сложные объявления, подобные этому. Он не понимает typedef (как в версии 2.5), но вы можете просто отказаться от typedef ключевого слова:

$ cdecl 
Type `help' or `?' for help 
cdecl> explain typedef int (*pf) (int, int); 
syntax error 
cdecl> explain int (*pf) (int, int); 
declare pf as pointer to function (int, int) returning int 
cdecl> 

Если у вас нет программы cdecl установленные в вашей системе, есть интернет-версия на http://cdecl.org/

Answer 2

Это даст ему имя:

typedef int (*pf) (int, int); 
       ^^ 

Это typedef'd имя. Он читается как: pf является указателем на функцию, которая принимает два int и возвращает int.

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

• Understanding typedefs for function pointers in C
• The function pointer tutorial

Answer 3

pf выступает в качестве псевдонима для функции, которая принимает два int S в качестве аргумента и возвращает a int.

Это указатель на функцию.

Answer 4

Объявление typedef имеет имя - «pf». И он представляет собой указатель на функцию (вместо указания на данные, он указывает на исполняемый код в памяти).

При объявлении указателей функций typedef не следует (обычно) шаблону - «typedef oldTypeName newAliasName». Скорее, псевдоним (т. Е. Pf в приведенном выше примере) появляется между типом возвращаемого значения (слева) и типами аргументов (справа).

Answer 5

pf как typedef - это определение типа; он определяет подпись функции (что нужно указать в качестве аргументов и что она вернет). Для функции proc с использованием p в качестве переменной; он определяет «контракт» при выполнении этой функции по адресу p; этот контракт может быть проверен только во время компиляции, потому что в основном во время выполнения переменная p является только адресом.