비슷한 질문 이 있었지만 정적에 대해서는 묻지 않았습니다.

정적, 힙 및 스택 메모리의 요약 :

• 정적 변수는 전역 적으로 액세스 할 수없는 경우에도 기본적으로 전역 변수입니다. 일반적으로 실행 파일 자체에 주소가 있습니다. 전체 프로그램에 대해 하나의 사본 만 있습니다. 함수 호출 (또는 클래스) (및 스레드 수)에 몇 번이나 상관없이 변수는 동일한 메모리 위치를 참조합니다.

• 힙은 동적으로 사용할 수있는 메모리입니다. 객체에 4kb를 원하면 동적 할당자는 힙에서 사용 가능한 공간 목록을 살펴보고 4kb 청크를 선택하여 사용자에게 제공합니다. 일반적으로 동적 메모리 할당 자 (malloc, new 등)는 메모리 끝에서 시작하여 뒤로 작동합니다.

• 스택이 어떻게 늘어나고 줄어드는 지 설명하는 것은이 답변의 범위를 벗어나지 만, 항상 끝에서만 추가하고 제거한다고 말하면 충분합니다. 스택은 일반적으로 시작하여 더 낮은 주소로 증가합니다. 스택이 중간 어딘가에서 동적 할당자를 만나면 메모리가 부족합니다 (물리적 메모리와 가상 메모리 및 조각화 참조). 다중 스레드에는 다중 스택이 필요합니다 (프로세스는 일반적으로 스택의 최소 크기를 예약합니다).

각각을 사용하고 싶을 때 :

• 스태틱 / 글로벌은 항상 필요하고 할당 해제를 원하지 않는 메모리에 유용합니다. (이러한 방식으로, 임베디드 환경은 정적 메모리 만있는 것으로 생각할 수 있습니다. 스택 및 힙은 세 번째 메모리 유형 (프로그램 코드)이 공유하는 알려진 주소 공간의 일부입니다. 프로그램 코드는 종종 동적 할당을 수행합니다. 링크 된리스트와 같은 것들이 필요할 때 정적 메모리 그러나, 정적 메모리 자체 (버퍼) 자체는 “할당”되지 않고 오히려 다른 목적은이 목적을 위해 버퍼가 보유한 메모리에서 할당됩니다. 콘솔 게임은 내장 된 동적 메모리 메커니즘을 자주 배제하여 모든 할당에 대해 사전 설정된 크기의 버퍼를 사용하여 할당 프로세스를 엄격하게 제어합니다.)

• 스택 변수는 함수가 범위 내 (스택 어딘가)에있는 한 변수가 유지되기를 원할 때 유용합니다. 스택은 코드가있는 코드에 필요하지만 해당 코드 외부에서는 필요하지 않은 변수에 좋습니다. 또한 파일과 같은 리소스에 액세스 할 때 유용하며 해당 코드를 떠날 때 리소스가 자동으로 사라지기를 원합니다.

• 힙 할당 (동적 할당 메모리)은 위의 것보다 더 유연하게하고 싶을 때 유용합니다. 종종 이벤트에 응답하기 위해 함수가 호출됩니다 (사용자가 “상자 만들기”버튼을 클릭 함). 올바른 응답을 위해서는 함수가 종료 된 후 오래 지속되어야하는 새 개체 (새 Box 개체)를 할당해야하므로 스택에있을 수 없습니다. 그러나 프로그램을 시작할 때 얼마나 많은 상자를 원하는지 알 수 없으므로 정적 일 수 없습니다.

가비지 콜렉션

최근 가비지 콜렉터가 얼마나 훌륭한 지에 대해 많이 들었으므로 약간의 반대 의견이 도움이 될 것입니다.

가비지 콜렉션은 성능이 큰 문제가 아닐 때 훌륭한 메커니즘입니다. GC가 점점 더 정교 해지고 있다고 들었지만 사실 (사용 사례에 따라) 성능 저하를 감수해야 할 수도 있습니다. 게 으르더라도 여전히 제대로 작동하지 않을 수 있습니다. 가비지 콜렉터는 최상의 경우 참조가 더 이상 없다는 것을 알게되면 메모리가 사라진다는 것을 알게됩니다 ( 참조 횟수 계산 참조)). 그러나 자신을 참조하는 오브젝트가있는 경우 (아마도 다른 오브젝트를 참조하여 참조하는 경우) 참조 카운트만으로는 메모리를 삭제할 수 있음을 나타내지 않습니다. 이 경우 GC는 전체 참조 수프를보고 자신 만 참조하는 섬이 있는지 확인해야합니다. 오프 핸드, 나는 O (n ^ 2) 연산이라고 생각하지만, 그것이 무엇이든간에 성능에 관심이 있다면 나빠질 수 있습니다. (편집 : Martin B 는 합리적으로 효율적인 알고리즘의 경우 O (n)임을 지적 합니다. 성능에 관심이 있고 가비지 수집없이 일정한 시간에 할당을 취소 할 수 있으면 여전히 O (n)입니다.)

개인적으로 사람들이 C ++에 가비지 수집이 없다고 말하면 내 마음에 C ++의 기능으로 태그가 지정되지만 소수에 해당합니다. 아마도 사람들이 C와 C ++에서의 프로그래밍에 대해 배우기 가장 어려운 것은 포인터와 동적 메모리 할당을 올바르게 처리하는 방법 일 것입니다. 파이썬과 같은 다른 언어는 GC가 없으면 끔찍할 것이므로 언어에서 원하는 것에 달려 있다고 생각합니다. 신뢰할 수있는 성능을 원한다면 가비지 수집이없는 C ++이 Fortran의 유일한 측면입니다. 사용하기 쉽고 훈련 휠을 원한다면 ( “적절한”메모리 관리를 배우지 않고도 충돌을 피하기 위해) GC로 무언가를 선택하십시오. 메모리를 잘 관리하는 방법을 알고 있더라도 다른 코드를 최적화하는 데 시간을 절약 할 수 있습니다. 실제로 더 이상 성능 저하가 발생하지 않지만 신뢰할 수있는 성능 (및 커버 아래에서 진행 상황을 정확하게 알 수있는 기능)이 정말로 필요한 경우 C ++을 고수합니다. 내가 들어 본 모든 주요 게임 엔진이 C ++ (C 또는 어셈블리가 아닌 경우)에있는 이유가 있습니다. Python 등은 스크립팅에는 적합하지만 주요 게임 엔진에는 적합하지 않습니다.

답변

if(some condition) {
    int a[3]; // array a has automatic storage duration
    fill_it(a);
    print_it(a);
}

// static storage duration. in global namespace scope
string globalA;
int main() {
    foo();
    foo();
}

void foo() {
    // static storage duration. in local scope
    static string localA;
    localA += "ab"
    cout << localA;
}

class A {
    static string classScopeA;
};

string A::classScopeA;

A a, b; &a.classScopeA == &b.classScopeA == &A::classScopeA;

int main() {
    // the object that s points to has dynamic storage 
    // duration
    string *s = new string;
    // pass a pointer pointing to the object around. 
    // the object itself isn't touched
    foo(s);
    delete s;
}

void foo(string *s) {
    cout << s->size();
}

int main() {
    shared_ptr<string> s(new string);
    foo(s);
}

void foo(shared_ptr<string> s) {
    cout << s->size();
}