C składnia funkcji powracających wskaźników funkcji

Question

Rozważmy następujące typedefs:

typedef int (*f1)(float); 
typedef f1 (*f2)(double); 
typedef f2 (*f3)(int); 

f2 to funkcja, która zwraca wskaźnik funkcji. To samo z f3, ale typ funkcji, której wskaźnik zwraca f3, to f2. Jak mogę zdefiniować f3 bez typedefs? Wiem, że typedefs są czystsze i łatwiej zrozumieć sposób definiowania f3. Jednak moim zamiarem jest lepsze zrozumienie składni C.

Answer 1

Start z oświadczeniem o f1:

int (*f1)(float); 

Chcesz f2 jako wskaźnik do funkcji powracającego f1, więc zastąpił f1 w zgłoszeniu powyżej deklaracji dla f2:

int (*  f1 )(float); 
      | 
     +-----+-----+ 
     |   | 
     v   v 
int (*(*f2)(double))(float); 

Deklaracja jest oznaczana jako

 f2     -- f2 
     *f2     -- is a pointer 
     (*f2)( )   -- to a function 
     (*f2)(double)   -- taking a double parameter 
    *(*f2)(double)   -- returning a pointer 
    (*(*f2)(double))( ) -- to a function 
    (*(*f2)(double))(float) --  taking a float parameter 
int (*(*f2)(double))(float) --  returning int 

powtórzyć proces f3:

int (*(* f2 )(double))(float); 
      | 
     +---+----+ 
     |  | 
     v  v 
int (*(*(*f3)(int))(double))(float); 

który brzmi

  f3       -- f3 
     *f3       -- is a pointer 
     (*f3)( )      -- to a function 
     (*f3)(int)      -- taking an int parameter 
     *(*f3)(int)      -- returning a pointer 
     (*(*f3)(int))( )   -- to a function 
     (*(*f3)(int))(double)   --  taking a double parameter 
    *(*(*f3)(int))(double)   --  returning a pointer 
    (*(*(*f3)(int))(double))( ) --  to a function 
    (*(*(*f3)(int))(double))(float) --  taking a float parameter 
int (*(*(*f3)(int))(double))(float); --  returning int 

Answer 2

To samo, co w przypadku typedef, tylko w miejscu jego nazwy umieszczana jest definicja funkcji.

Oto jak f2 wyglądałby następująco:

typedef int (*(*f2)(double))(float); 

Można zrobić f3 jako ćwiczenie, ponieważ jestem przy założeniu jest to praca domowa;)

Answer 3

W C++, cud szablonów może to odrobinę łatwiej.

#include <type_traits> 

std::add_pointer< 
    std::add_pointer< 
     std::add_pointer< 
      int(float) 
     >::type(double) 
    >::type(int) 
>::type wow; 

Answer 4

Po prostu nie. Można to zrobić, ale będzie to bardzo mylące. Typedef jest tam, aby ułatwić pisanie i czytanie tego krótkiego kodu.

Funkcja f że nie wymaga żadnych argumentów i zwraca wskaźnik funkcji int (*)(float) będzie prawdopodobnie coś jak (niesprawdzone):

int (*f())(float); 

Potem przez resztę po prostu trzeba zachować dodając nawias aż wygląda Lisp.

Answer 5

Zastosowanie std::function:

typedef std::function<int(float)> f1; 
typedef std::function<f1(double)> f2; 
typedef std::function<f2(int)> f3; 

lub

typedef std::function<std::function<std::function<int(float)>(double)>(int)> f3; 

Answer 6

pozwala poznać the right-left rule:

Reguła „prawo-lewo” jest całkowicie regularny reguła do rozszyfrowania C deklaracji. Może być również przydatny w ich tworzeniu.