언리얼 엔진에서 순환 참조가 발생할 수 있나요? + TWeakObjectPtr

Question

안녕하세요, 교수님. 문득 궁금한게 생겨 다시 강의를 보다가 질문을 올립니다. 우선 순환참조는 스마트 포인터의 고질적인 문제인데요, A, B, C가 있고, A -> B <->C 의 참조 상태에서 A 변수의 참조가 끊겨도, B와 C는 서로 계속 가리키고 있어 영원히 메모리가 해제되지 않는 메모리 누수의 문제로 알고 있습니다. 따라서 weak_ptr를 사용해야 하는데요. UE의 GC 시스템은 Mark & Sweep 방식을 따른다고 했습니다. 전체 UObject에 대해 Unreachable로 설정 후, Rootset을 따라서 참조 그래프를 순회하며 Unreachable 플래그를 해제하고 (Mark), 전체 UObject에 대해 Unreachable 플래그가 존재하면 메모리 해제를 진행한다. (Sweep) 이 방식은 Java나 c#의 GC와 비슷한 방식이며, 해당 언어의 경우 순환 참조 문제가 발생하지 않는 것으로 알고 있습니다. (위에 써둔 순환 참조 문제에서, B<->C의 참조 상태여도 어차피 Root로 부터 Mark가 도달할 수 없기 때문에 지워짐) 그렇다면 언리얼 엔진의 GC에서도 위와 같은 순환 참조 문제가 발생하지 않나요? 발생하지 않는다면, TWeakObjectPtr의 강참조 방지는 그냥 쓸데없는 생명주기 연장 + raw pointer 참조 시 GC 당해서 댕글링을 참조하는 문제 방지 등을 위해서 사용하는 것인가요? 만약 발생한다면, 그 이유는 무엇인가요? 제가 잘못 이해한건지, 아니면 Java나 C#에서의 RootSet 기준과 Unreal 에서의 Rootset의 기준이 달라서 그런것인지 궁금합니다.

이득우 · Answer

Java와 C#이라고 상호참조 문제가 발생하지 않는 것은 아닙니다.
C++과는 조금 다른 유형이지만, 불필요하게 한 인스턴스가 특정 객체를 계속 레퍼런싱하는 경우 GC에 탐지되지 않기 때문에 메모리에서 내려오지 않는 문제가 발생합니다. 이를 방지하기 위해 서로 참조해야하는 상황이 발생할 때는 한 곳은 레퍼런싱 카운팅 없는 약참조를 걸도록 설계해야 해당 객체가 모두 사용될 때 비로소 메모리가 해지됩니다.
예를 들어 UI매니저 같이 객체에 대한 소유권이 없고, 게임 중에 계속 살아있는 클래스는 가급적 약참조를 걸고 있는게 바람직합니다.

언리얼은 Native C++과 Java/C#의 두 가지를 모두 사용하므로, 두 개의 약참조 API를 제공합니다.