Можете ли вы объяснить следующую инструкцию C/С++?

void (*func)(int(*[ ])());

Ответ 1

Общая процедура чтения волосатых деклараторов заключается в том, чтобы найти самый левый идентификатор и выйти из него, помня, что привязка [] и () до * (т.е. *a[] - это массив указателей, а не указатель на массив). Этот случай немного затруднен из-за отсутствия идентификатора в списке параметров, но опять же, [] связывается перед *, поэтому мы знаем, что *[] указывает массив poitners.

Итак, учитывая

void (*func)(int(*[ ])());

мы сломаем его следующим образом:

       func                   -- func
      *func                   -- is a pointer
     (*func)(           )     -- to a function taking
     (*func)(     [ ]   )     --    an array
     (*func)(    *[ ]   )     --    of pointers
     (*func)(   (*[ ])())     --    to functions taking 
                              --      an unspecified number of parameters
     (*func)(int(*[ ])())     --    returning int
void (*func)(int(*[ ])());    -- and returning void

Как бы это было на практике, это было бы примерно так:

/**
 * Define the functions that will be part of the function array
 */
int foo() { int i; ...; return i; }
int bar() { int j; ...; return j; }
int baz() { int k; ...; return k; }
/**
 * Define a function that takes the array of pointers to functions
 */
void blurga(int (*fa[])())
{
  int i;
  int x;
  for (i = 0; fa[i] != NULL; i++)
  {
    x = fa[i](); /* or x = (*fa[i])(); */
    ...
  }
}    
...
/**
 * Declare and initialize an array of pointers to functions returning int
 */
int (*funcArray[])() = {foo, bar, baz, NULL};
/**
 * Declare our function pointer
 */
void (*func)(int(*[ ])());
/**
 * Assign the function pointer
 */
func = blurga;
/**
 * Call the function "blurga" through the function pointer "func"
 */
func(funcArray); /* or (*func)(funcArray); */

Ответ 2

Это не утверждение, это объявление.

Он объявляет func как указатель на функцию, возвращающую void, и принимает один аргумент типа int (*[])(), который сам является указателем на указатель на функцию, возвращающую int и принимающую фиксированное, но неопределенное количество аргументов.

вывод cdecl для небольшой веры:

cdecl> explain void (*f)(int(*[ ])());
declare f as pointer to function (array of pointer to function returning int) returning void

Ответ 3

Да:

$ cdecl
explain void (* x)(int (*[])());
declare x as pointer to function 
  (array of pointer to function returning int) returning void

Ответ 4

void (*func)(blah); является указателем на функцию, принимающую blah в качестве аргумента, где blah сам является int(*[ ])() - это массив указателей функций.

Ответ 5

Здесь приведено руководство по чтению объявлений C:

http://www.ericgiguere.com/articles/reading-c-declarations.html

Ответ 6

Geordi - бот С++, позволяющий обучать этому:

<litb> geordi: {} void (*func)(int(*[ ])());
<litb> geordi: -r << ETYPE_DESC(func)
<geordi> lvalue pointer to a function taking a pointer to a pointer to a nullary function 
         returning an integer and returning nothing

Он может делать много полезных вещей, например показывать все объявления-параметры (это, по сути, просто соответствует именам правил грамматики raw C++):

<litb> geordi: show parameter-declarations
<geordi> `int(*[ ])()`.

Сделайте это в противоположном направлении:

<litb> geordi: {} int func;
<litb> geordi: make func a pointer to function returning void and taking array of pointer to 
       functions returning int
<litb> geordi: show
<geordi> {} void (* func)(int(*[])());

Он выполняет все, что вы ему даете, если вы спросите его. Если вы обучены, но просто забыли некоторые из правил страшных круглых скобок, вы можете также смешивать описания типов в стиле С++ и типа geordi:

<litb> geordi: make func a (function returning void and taking (int(*)()) []) *
<geordi> {} void (* func)(int(*[])());

Удачи!