답변.

C 언어의 정적 저장 영역에서의 메모리 작업은 변수와 프로그램 자원의 생명 주기를 이해하는 중요한 부분입니다.

문제의 역사

C에서는 변수의 저장 영역을 자동(스택), 동적(힙) 및 정적(데이터/bss 세그먼트)으로 구분합니다. 정적 저장 영역은 프로그램 실행 동안 지속되는 변수를 위한 메모리 영역입니다. 이 영역에는 static 스펙 지정자(함수 내부 및 외부)와 전역 변수가 선언된 변수가 저장됩니다.

문제

저장 영역에 대한 오류는 변수의 생명 주기를 잘못 관리하거나, 다중 초기화 시도 또는 다중 스레드 접근에 대한 잘못된 가정에서 발생할 수 있습니다. 초보자들은 정적 메모리를 동적 또는 자동 메모리와 혼동하는 경우가 많습니다.

해결책

정적 변수는 데이터 세그먼트(또는 초기화되지 않은 경우 bss)에 저장됩니다. 이들은 main() 수행 전에 한 번 초기화되며, 함수 호출 간에 값을 유지하지만, 함수나 파일 내에서 static으로 선언되지 않는 한 가시성이 제한됩니다. 이는 호출 간 상태를 저장하거나 데이터의 프라이버시를 구현하는 데 사용됩니다.

코드 예시:

#include <stdio.h>

void counter() {
    static int count = 0;
    count++;
    printf("Called %d times\n", count);
}

int main() {
    for (int i = 0; i < 3; i++) counter();
    return 0;
}

주요 특징:

• 정적 변수는 main 시작 전 한 번만 초기화되며 프로그램 종료 시까지 유지됩니다.
• 함수 내부의 static 변수는 함수 호출 간에 값을 유지합니다.
• static 변수의 가시성은 제한적(함수 또는 파일)이며, 생명 주기는 프로그램 전체 실행 시간 동안입니다.

속임수 질문.

정적 변수는 로컬과 전역일 수 있습니까? 차이점은 무엇입니까?

네, 로컬 static 변수는 함수 내부에서 선언되며, 전역 변수는 모든 함수 외부에서 선언됩니다. 로컬 변수는 함수 내부에서만 보이며, 전역 변수는 파일 전체에서 보입니다(정적이 전역 변수 전에 지정되면 파일에 "프라이빗"으로 제한됩니다).

코드 예시:

static int g_val = 42; // 이 파일 전체에서 접근 가능
void foo() {
    static int count = 0; // foo에서만 보이고 프로그램의 전체 실행 시간 동안 유지됨
}

정적 변수는 언제 초기화됩니까: 함수에 들어갈 때마다, 첫 번째 호출 시 또는 main 시작 전?

모든 정적 변수(전역 및 로컬, static으로 선언된)는 main() 시작 전 즉, 프로그램 로딩 중에 초기화됩니다. 초기화가 명시적이면 지정된 값을 사용하며, 그렇지 않으면 변수는 0으로 초기화됩니다.

함수 본문 내에서 static 수정자를 가진 변수 배열을 선언할 수 있습니까? 그 동작은 어떻게 됩니까?

네, 가능합니다. 이러한 배열은 함수 호출 간에 값을 유지하고 첫 번째 호출 시에 0으로 초기화됩니다(별도의 지정이 없으면).

코드 예시:

void bar() {
    static int arr[3]; // 첫 번째 호출 시 모든 요소는 0으로 초기화됨
    arr[0]++;
    printf("arr[0]=%d\n", arr[0]);
}

일반적인 오류 및 안티 패턴

장점: 함수 호출 간 상태를 편리하게 저장하고, "프라이빗" 데이터를 구현하며, 수동으로 메모리를 할당/해제할 필요가 없습니다.

단점: 추가 동기화 없이 스레드 안전한 프로그램에 적합하지 않으며, 대량의 데이터를 저장하는 데 오용될 수 있고, 값이 잘못 변경될 경우 예측할 수 없는 행동을 유발할 수 있습니다.

실 생활의 예

부정적인 사례: 개발자가 함수 내부의 static 변수로 큰 배열의 임시 작업 복사본을 저장합니다. 결과적으로 애플리케이션은 이 배열이 필요하지 않을 때도 항상 큰 메모리를 차지합니다. 장점: 접근의 용이함, 단점: 높은 메모리 소비, 명시적인 메모리 관리 부족.

긍정적인 사례: 정적 함수 호출 카운터는 진단 및 프로파일링에 사용됩니다(위의 예 참조). 장점: 전역 변수를 필요로 하지 않음, 단점: 다중 스레드와 관련하여 조심해야 하며 동기화가 필요합니다.