강한 스마트 포인터와 약한 포인터, 퍼뮤테이션 벡터를 이용한 C++ 에서의 리소스 관리 방법론

http://kldp.org/node/130082

위 글타래에서 아래의 url 을 소개받았었습니다.

http://www.relisoft.com/resource/resmain.html

그 문서를 읽고 나름대로 요약을 해보았습니다.

C++ 에서 메모리 릭 혹은 메모리 이중 해제와 같은 성가신 문제를 해결하는 방법으로 이 글에서는 리소스 관리의 한 방법론을 설명한다.

이는 리소스 관리의 한가지 전제 , 그리고 리소스 획득의 한가지 원칙 으로 설명할 수 있다.

리소스 관리의 한가지 전제 : 모든 리소스가 자신의 소유자를 갖도록 해야 한다.
리소스 획득의 한가지 원칙 : 리소스의 할당(획득)은 생성자에서 리소스의 해제는 그에 상응하는 소멸자에서 수행해야 한다.

리소스는 자동 리소스(언어적 특징으로 리소스 관리가 자동으로 이루어짐. 자동변수)와 동적 리소스(new, delete 등, 크리티컬 섹션, 파일 등 처럼 명시적으로 할당 및 해제를 수행해야 함)가 있는데 리소스 관리의 관심사항은 동적 리소스이다. 요약해서 얘기하면 이 글의 방법론에서는 동적리소스도 std::auto_ptr 을 활용해서 자동리소스처럼 취급하도록 한다. 소유권을 가지는 강한 스마트 포인터와 소유권을 갖지 않는 약한 포인터의 개념이 도입되며 소유자가 두 개 이상 되어야만 하는 경우 사용할 수 있는 래퍼런스 카운트 기반의 스마트 포인터도 설명한다. 이를 위한 구체적인 가이드라인을 제시하며 소스코드도 제공한다.

글을 읽으면서 new를 항상 생성자가 불리는 곳에서 매개변수로 리소스를 할당하는데 사용하는 모습을 보면서 디자인패턴의 팩토리 패턴도 생각해보았다. 하지만 팩토리 패턴은 알고리즘과 구체적 구상클래스의 핸들링을 분리하는데 의가 있는 것으로 이 글의 리소스 관리의 방법론과는 차원이 다른 범주의 이야기이다.

글의 마지막에서 소개하는 사례가 아마도 이 글의 핵심적인 내용일 것이다. auto_ptr과 auto_vector를 사용해서 동적 리소스를 자동리소스화 했다. 이 때 사용된 auto_vector는 Permutation Vector 라는 것으로 소유권을 가지는 강한 스마트포인터(auto_ptr)을 퍼뮤테이션 벡터 한군데에 모아두고 핵심 알고리즘의 수행은 소유권을 갖지 않는 약한 포인터를 통해 표준 컨테이너 상에서 수행하고 있다.

질문 : 강한 (스마트) 포인터, 약한 포인터, 퍼뮤테이션 벡터 등의 용어는 어떤 과목에서 정의한 것인가?

단순한 질문을 할 수도 있었지만 좋은 토론을 할 수 있을 것 같아서 토론토의란에 글을 처음으로 써봅니다.

원문을 쓴 Bartosz Milewski 는 내공으로 보면 이름이 있는 분 같습니다. MS 출신이신 것 같고요... 그런데 이 글에서 이야기하고 있는 핵심적인 개념이 이 분만의 독창적인 것은 아닌 것 같은데, 이런 개념을 연구하는 전공과목이 있는지 궁금합니다. 컴공 학부나 대학원에서 어떤 과목에서 이런 내용을 연구할까요?