답변.

C 언어는 ANSI/ISO 표준에서 중첩 함수에 대한 지원이 없습니다. 역사적으로 C는 컴팩트하고 하드웨어에 가까운 언어로 설계되었으며, 함수는 변환 단위(파일)의 최상위 수준에서 존재합니다. Pascal과 같은 언어와는 달리 C는 문법적으로 다른 함수 안에서 함수를 선언하는 것을 허용하지 않습니다.

프로그래머가 직면하는 문제는 종종 로컬 보조 하위 함수를 사용하여 한 함수 내에서만 볼 수 있도록 하고, 로직을 캡슐화하거나 코드 중복을 피하고 싶어한다는 점입니다. 중첩에 대한 내장 지원은 가시 범위를 축소하고 코드를 보다 모듈화하는 데 도움이 되었을 것입니다.

인기 있는 해결 방법 중 하나는 파일 수준에서 정적(static) 함수를 사용하거나 외부 함수에 대한 함수 포인터를 전달하거나 구조체와 콜백 함수를 통해 중첩을 흉내 내는 것입니다. 컨텍스트의 "클로저"가 필요할 경우 데이터에 대한 포인터를 포함한 구조체를 사용할 수 있습니다(클로저의 유사).

포인터 전달을 통한 "로컬" 함수의 예:

#include <stdio.h>

static int helper(int x) { return x * x; }

void myFunction(void) {
    printf("5의 제곱: %d\n", helper(5));
}

주요 특징:

C 언어에서 중첩 함수는 표준 수준에서 존재하지 않습니다.
정적 함수를 사용하거나 구조체를 통한 클로저로 유사한 시나리오를 구현할 수 있습니다.
일부 컴파일러(예: GCC)는 중첩 함수를 확장으로 지원하지만, 이는 이식성을 저하시킵니다.

속이는 질문.

표준 C에서 다른 함수 내에 내부 함수를 정의하고 호출할 수 있습니까?

아니요. C 언어(ANSI/ISO 표준)에서는 다른 함수 내에서 함수를 선언할 수 없습니다. 이를 시도하면 컴파일 오류가 발생합니다. 일부 비표준 확장(예: GCC에서는 가능하지만)은 이를 허용하지만, 그런 프로그램은 이식성이 없습니다.

정적 함수가 의미와 안전성에서 중첩 함수의 완전한 대체가 될 수 있습니까?

정적 함수는 파일 기능으로 가시성을 제한하지만 블록 기능으로는 제한하지 않습니다. 이는 정적 함수가 동일한 파일의 모든 코드에서 사용 가능하다는 것을 의미하며, 이는 실제 중첩 함수와 같은 완전한 캡슐화를 보장하지 않습니다.

순수 C에서 중첩 함수에 "클로저"를 구현할 수 있습니까?

아니요, 직접적으로 그런 지원은 없습니다. 그러나 데이터를 포함하는 구조체와 함수를 사용하여 클로저와 비슷한 동작을 할 수 있습니다:

typedef struct {
    int context;
    int (*func)(int, int);
} closure;

int add(int a, int b) { return a + b; }

closure cl = { .context = 5, .func = add };

전형적인 오류 및 안티 패턴

ANSI C에서 다른 함수 내에 함수를 선언하는 것(컴파일 오류).
비표준 확장을 사용하는 것, 이식성을 잃음.
로컬 코드에 대한 정적 함수 남용.

실제 사례

부정적 사례

개발자가 GCC 확장을 사용하여 프로젝트에서 내부 함수를 선언한 후 코드가 MSVC 및 다른 컴파일러에서 컴파일되지 않음.

장점:

로컬 함수의 컴팩트함과 편리함.

단점:

이식성 없음, 유지 관리의 어려움, 다른 컴파일러에서 코드 재사용 불가.

긍정적 사례

개발자가 모든 보조 함수의 가시성을 정적(static)으로 제한하고 컨텍스트를 전달하기 위해 구조체를 사용함.