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

안녕하세요, 교수님. 문득 궁금한게 생겨 다시 강의를 보다가 질문을 올립니다.

우선 순환참조는 스마트 포인터의 고질적인 문제인데요,

A, B, C가 있고,

A -> B <->C 의 참조 상태에서 A 변수의 참조가 끊겨도, B와 C는 서로 계속 가리키고 있어 영원히 메모리가 해제되지 않는 메모리 누수의 문제로 알고 있습니다. 따라서 weak_ptr<T>를 사용해야 하는데요.

UE의 GC 시스템은 Mark & Sweep 방식을 따른다고 했습니다.

전체 UObject에 대해 Unreachable로 설정 후,

Rootset을 따라서 참조 그래프를 순회하며 Unreachable 플래그를 해제하고 (Mark),

전체 UObject에 대해 Unreachable 플래그가 존재하면 메모리 해제를 진행한다. (Sweep)

이 방식은 Java나 c#의 GC와 비슷한 방식이며, 해당 언어의 경우

순환 참조 문제가 발생하지 않는 것으로 알고 있습니다.

(위에 써둔 순환 참조 문제에서, B<->C의 참조 상태여도 어차피 Root로 부터 Mark가 도달할 수 없기 때문에 지워짐)

그렇다면 언리얼 엔진의 GC에서도 위와 같은 순환 참조 문제가 발생하지 않나요?

발생하지 않는다면, TWeakObjectPtr<T>의 강참조 방지는 그냥 쓸데없는 생명주기 연장 + raw pointer 참조 시 GC 당해서 댕글링을 참조하는 문제 방지 등을 위해서 사용하는 것인가요?

만약 발생한다면, 그 이유는 무엇인가요? 제가 잘못 이해한건지, 아니면 Java나 C#에서의 RootSet 기준과 Unreal 에서의 Rootset의 기준이 달라서 그런것인지 궁금합니다.