Як визначається пріоритет у покажчиках С?

Я зіткнувся з двома заявами вказівника, що у мене виникають проблеми з розумінням. Моє розуміння правил пріоритетності виглядає приблизно так:

Operator             Precedence             Associativity
(), [ ]                  1                  Left to Right
*, identifier            2                  Right to Left
Data type                3

Але навіть враховуючи це, я не можу зрозуміти, як правильно оцінити такі приклади:

Перший приклад

float * (* (*ptr)(int))(double **,char c)

Моя оцінка:

1. *(ptr)
2. (int)
3. *(*ptr)(int)
4. *(*(*ptr)(int))

Потім,

1. double **
2. char c

Другий приклад

unsigned **( * (*ptr) [5] ) (char const *,int *)

1. *(ptr)
2. [5]
3. *(*ptr)[5]
4. *(*(*ptr)[5])
5. **(*(*ptr)[5])

Як я повинен їх читати?

Моя здогадка для першого : ptr - вказівник на функцію, яка приймає за параметр int, і повертає вказівник на функцію, яка приймає в якості параметрів вказівник на вказівник на подвійне і char, а повертає вказівник на плавання.

Інтерпретація :

(* ptr) (int)

говорить, що ptr - вказівник на функцію, що приймає int як аргумент. Щоб дізнатися, що повертає ця функція, нам потрібно розширити наш погляд:

(* (* ptr) (int))

це означає, що функція повертає покажчик на іншу функцію. Параметри цієї іншої функції:

(подвійний **, знак c)

і воно повертається

плавати *

А для другого : ptr - вказівник на масив з п’яти покажчиків на функції, які приймають за параметри постійний вказівник на char та вказівник на int, повертаючи вказівник на покажчик неподписаного int.

Інтерпретація :

(* (* ptr) [5])

оголошує ptr як вказівник на масив з п'яти покажчиків на прийняття функції

(char const *, int *)

як аргументи і повернення

без підпису **

Ви можете спробувати метод «Спіраль за годинниковою стрілкою», щоб зрозуміти ці божевільні декларації:

http://c-faq.com/decl/spiral.anderson.html

Я про це також блогував:

http://www.kalekold.net/index.php?post=4

Це покажчик функції. Людина, яка написала це, могла б краще використовувати typedefs, щоб зробити це зрозумілішим.

Фактично вказівник функціонує з цими параметрами. float * myfunc (подвійний **, char)

Використання cdecl.org:

char * const (* (* бар const) [5]) (int)

оголосити бар як const вказівник для масиву 5 покажчика на функцію (int), який повертає const покажчик до char

без підпису ** (* (* ptr) [5]) (char const *, int *)

оголосити ptr вказівником для масиву 5 вказівника на функцію (вказівник на const char, вказівник на int), що повертає покажчик на покажчик на непідписаний