함수포인터에 대해서 헷갈리지 않게 부연설명 합니다.

2. 함수

int (*song(int))(int);

이것은 해석할때 song이 괄호안의 (int)라는 것과 결합을 먼저합니다.

<--
컴파일러가 이 문장을 볼때 괄호를 열어보고 song이란 단어를 중심으로 해석을 시도합니다.
맨먼저 하는 일이 *song()이란 문장에서 왼쪽을 먼저 해석하면 song이란 어떤 형태든 포인터가 될 것이고 ()을 먼저 해석하면 song은 어떤 형태이던지 함수가 될 것입니다.
그런데 컴파일러는 *보다, ()나 []를 결합도가 더 높이 평가하므로 song은 함수가 됩니다.
-->

그래서 song이라는 함수는 int를 인자로 가진다 라고 일단 해석해야 합니다.
song이 함수이고 인자를 가졌으므로 이것을 제외한 나머지는 int (*) (int)가 됩니다.
그러므로 이때는 이것이 return value가 됩니다.

<--
song이란 것이 함수임을 알았으니 다음은 ()안을 해석할텐데 그때에 int라는 글자를 인식하고 song이란 함수는 integer를 인자로 한다고 판단합니다.
그다음에는 song(int)가 다 해석되었으므로 왼쪽의 *를 판단해야 하는데 song(int)를 빼고 보면 (*)라는게 걸리게 됩니다. (물론 song이 함수이며 인자까지를 판단한 컴파일러는 (*)가 뭔지는 모르지만 리턴값이라고 판단합니다)

따라서 컴파일러는 (*)이것이 무언가를 가르키는 포인터이며 리턴값인데 도대체 그것이 뭘까 하고 (*)양쪽을 보게 되는데 이때에는 양쪽에 int와 (int)가 있고 따라서 당연 결합도가 더 높은 (int)를 먼저 해석하고 비로서 포인터가 int를 인자로 가지는 함수임을 알게 되며 나머지 int를 해석하여 이 함수의 리턴값은 int임을 확인합니다.

이러한 과정을 거쳐 컴파일러는 song의 리턴값이 포인터이며 int를 인자로 하고 int를 리턴하는 함수를 가르킨다고 최종 판단하게 됩니다.
-->

따라서 이 경우는 <song이라는 함수는 int를 인자로 가지며 리턴 값은 int를 리턴하고 int를 인자로 가지는 함수포인터>가 되겠죠.

---------------------------------------------------------------------------------

좀 이해하기 쉽게 step by step으로 컴파일러의 판단을 추적해 보았습니다.

잘 생각해 보시면 매우 단순한 규칙, 즉 결합도 우선의 법칙에 의해서 반복해서 해석하고 있음을 알수 있을 것입니다.

도움이 되셨기를 바랍니다. ^^;