C++ std :: queue :: pop()은 소멸자를 호출합니다. 포인터 유형은 무엇입니까?

Question

std::queue은 스레드 안전 큐를 만들기 위해 템플릿 기반 클래스로 래핑됩니다. 이 클래스에는 두 가지 버전이 있습니다. 하나는 값 유형을 저장하는 버전이고 다른 하나는 포인터 유형을 저장하는 버전입니다.

포인터 유형의 경우 삭제시 대기열 요소를 삭제하는 데 문제가 있습니다. 그 이유는 항목을 안전하게 큐에서 제거하는 방법을 모르기 때문입니다.

This 대기 상태에서 요소를 제거하는 유일한 방법은 pop()을 호출하는 것입니다 (공백 상태이므로 실제로는 상태가 아닙니다). 참조는 또한 pop()이 항목에 대한 소멸자를 호출한다고 말합니다.

글쎄, 포인터가 실제로 집계를 가리킬 수도 있고 그렇지 않을 수도 있기 때문에 포인터 유형에 문제가 발생합니다. 그것들 중 하나가 집합체를 가리키면 모두 그렇지만 래퍼가 템플리트 화되어 있기 때문에 어떤 유형 (집합체 또는 집합체가 아닌)을 다루고 있는지 보장 할 수 없습니다.

따라서 pop()이 소멸자를 호출하면 어떻게됩니까? 어떻게하면 모든 것이 제거되고 메모리 할당 해제가 제대로 이루어 지도록 할 수 있습니까?

마지막으로, 제 솔루션은 ARM9 용 GCC의 이전 버전을 사용하고 있습니다. 나는 이것에 대한 통제권이 없다. 나는 여기에 도움이 될 스마트 포인터와 컨테이너가있는 라이브러리가 있다는 것을 이해하지만, 그들은 나를 위해 출입 제한이 있습니다.

Answer 1

온라인 소스는 귀하가 지불하는 가치가 있습니다. Josuttis's book과 같은 적절한 참조를 얻으십시오. pop()은 "destructor를 호출하지 않습니다"- pop_front()를 호출하여 대기열 어댑터의 기본 표현 (기본적으로 std :: deque)에서 요소를 간단히 제거합니다. 만약 pop 된 객체가 소멸자를 가지면, pop 된 객체가 범위를 벗어날 때 사용되지만 큐 클래스는 그 객체와 아무 상관이 없습니다.

Answer 2

포인터 자신이에 실제로는 소멸자가 없으므로 포인터가 포함 된 대기열에서 pop()을 호출하면 포인터가 가리키는 객체의 소멸자가 호출되지 않습니다.

Answer 3

"모든 것을 제거하고 메모리 할당을 올바르게 제거하려면 어떻게합니까?" 당신이 절대적으로 당신의 큐에서 포인터를 저장해야하고, 당신은 그들이 포인터의 큐 대신 다음, pop 에드있을 때이를 자동으로 해제하려면

, 당신은 포인터를 저장하는 객체의 대기열을해야하고, 소멸자에서 삭제하십시오. 예를 들어 shared_ptr의 대기열을 사용할 수 있습니다. shared_ptr은 표준 라이브러리에 없지만 TR1의 일부이며 널리 사용 가능합니다.

그렇지 않으면 개체를 삭제하는 호출자의 책임 :

T *off = q.front(); 
q.pop(); 
delete off; 

요약은 포인터의 컨테이너 동적 오브젝트가 조금 어색 할당하는 것입니다. 컨테이너가 동적 객체에 대한 포인터 대신 객체의 복사본을 저장하도록 프로그램을 설계 할 수 있다면 그렇게하십시오. 그렇지 않으면 컨테이너가 아닌 리소스 소유권을 담당하게됩니다. STL 컨테이너는 소유권에 대해 아무 것도 모른다. 그들은 단지 value_type을 복사하고 파괴한다. 포인터를 복사하고 파기하는 것은 포인터가 가리키는 대상에는 아무런 영향을 미치지 않습니다.