Come si dichiara una funzione che restituisce un puntatore a una funzione che restituisce un puntatore a funzione senza utilizzare un typedef in C?

Question

Mi chiedevo come scrivere una funzione che restituisce un puntatore a una funzione che restituisce un puntatore a funzione, senza typedef. Per esempio una funzione che restituisce un puntatore a funzione può essere definire come:

type (*f_name(..))(..){..} 

Quindi questo restituisce un puntatore a una funzione che restituisce un 'tipo', ora come si fa a dichiarare la funzione se il 'tipo' è un puntatore di funzione. Ma siccome il mio supervisore non vuole i typedef usati non posso usarli.

Grazie per l'aiuto che puoi dare.

Answer 1

Per domande come questa c'è un'utilità elegante chiamata cdecl (http://cdecl.org/) che traduce tra dichiarazioni in inglese e C.

Per esempio

cdecl> declare f as function (int) returning pointer to function (char) returning pointer to function (void) returning long 

dà la risposta

long (*(*f(int))(char))(void) 

e, nell'altra direzione,

cdecl> explain int (*(*g(float))(double, double))(char) 

dà

dichiarare g come funzione (float) ritornando puntatore alla funzione (doppia, doppia) tornando puntatore alla funzione (char) ritornando int

Answer 2

Innanzitutto si scrive una funzione prendendo un int e restituisce un galleggiante.

float First(int f) 
{ 
    return (float)f ; 
} 

Poi abbiamo scrivere una funzione di prendere nulla e restituire un puntatore ad una funzione di prendere un int e restituisce un float.
Questo puntatore è dello stesso tipo di First.

float (*Second(void))(int) 
{ 
    float (*f)(int) = First ; 

return f ; 
} 

Infine si scrive una funzione prendendo un char e restituisce un puntatore a una funzione di prendere nulla e restituisce un puntatore a una funzione di prendere un int e restituisce un galleggiante. Questo puntatore è dello stesso tipo di Second.

float (*(*Third(char c))(void))(int) 
{ 
    (void)c ; 
    float (*(*s)(void))(int) = Second ; 

return s ; 
} 

Se si posizionano i prototipi lungo l'un l'altro, la sintassi strano comincia ad avere senso:

float  First     (int) ; 
float ( *Second   (void))(int) ; 
float (*(*Third(char))(void))(int) ; 

L'unica differenza di tornare un puntatore non-funzione è che i parametri puntatori a funzione va alla fine della dichiarazione e delle parentesi:

  type* Name(void) ; 
function_type (*Name(void))(int) ;