인프런 커뮤니티 질문&답변

안녕하세요, 질문&답변 도우미 Soobak 입니다.

이 부분은 문법적인 내용이기 때문에, 직접 차근 차근 확인해보시면서 전체적인 과정을 이해하신 뒤,
조금씩 자주 접함으로써 익숙해지는 방법으로 학습을 진행하시는 것이 좋은 방법이라고 생각됩니다.

혼동된다고 말씀해주신 () 가 맨 뒤에 붙는 경우, 그리고 * 가 사용되는 경우에 대해서는,
각각의 기호가 '어떤 대상과 이어져서 해석되어야 하는지'(=말씀해주신 "안에서 밖으로" 의 순서대로) 차근 차근 점검해보시는 과정을 반복해보시는 것을 추천드립니다.
또한, typedef 기능을 이용해서 해석이 되는 부분부터 차근 차근 새로운 type 으로 선언해가시면서 이해를 해보시는 방법도 좋은 방법이라고 생각됩니다.
(참고, * 가 함수 이름의 앞에 붙게 되면, 해당 함수가 함수 포인터임을 나타냅니다.)

우선, 말씀해주신 예시들 중 문법적으로 올바른 선언에 대해서, 해석 과정을 설명 드려보면 다음과 같습니다.

• int(*f(int))[];

  • f(int) 는 f 가 int 타입의 매개변수를 받는다는 것을 나타냅니다.

  • (*f(int)) 는 위 함수를 (* ) 으로 감싼 형태로, 매개변수로 int 타입을 받는 함수 f 가 함수 포인터임을 나타내게 됩니다.

  • int(*f(int))[] 위 함수 포인터를 int()[] 으로 감싼 형태로, 이 함수 포인터가 정수 배열의 포인터를 반환한다는 것을 의미하게 됩니다.
    즉, int 를 매개변수로 받아서 '정수 배열의 포인터' 를 반환하는 함수 포인터로 해석됩니다.

• int(*g(int))(int);

  • g(int) 는 g 가 int 타입의 매개 변수를 받는다는 것을 나타냅니다.

  • (*g(int))(int) 는 위의 g 함수가 함수 포인터를 반환하며, 이 함수 포인터는 int 타입의 매개변수를 받고, int 를 반환하는 함수를 가리킨다는 것을 의미합니다.

  • int(*g(int))(int) 는 g 함수가 int 타입의 매개변수를 받고, 그 후 int 타입을 매개변수로 하여 int 를 반환하는 함수의 포인터를 반환한다는 것을 의미합니다.

그 외에, 첫 번째 int f(int)[]; 는 함수가 배열 자체를 직접 반환한다는 것을 의미하므로, 문법적으로 올바르지 않은 선언입니다. 세 번째 int g(int)(int); 역시 함수가 다른 '함수' 를 직접 반환하는 것은 불가능하므로 문법적으로 올바르지 않은 선언입니다. (함수 포인터를 반환할 수는 있습니다.)