종료 시 안정적인 정리를 위해 std::shared_ptr을 사용할 수 있습니까?

std::shared_ptr: 예상치 못한 기능

C 11에 도입된 std::shared_ptr은 다음을 제공합니다. 공유 소유권을 사용하여 동적으로 할당된 개체를 관리하는 방법입니다. 그러나 종료 시 임의 정리에 사용되는 std::shared_ptr를 사용하는 흥미로운 사용 사례가 나타났습니다. 직관에 반하는 것처럼 보이지만 이 기술은 std::shared_ptr의 동작과 안정성에 대한 근본적인 질문을 제기합니다.

작업 예제

다음 코드 조각을 고려하세요.

<code class="cpp">#include <memory>
#include <vector>

class Test {
public:
  Test() { std::cout << "Test created" << std::endl; }
  ~Test() { std::cout << "Test destroyed" << std::endl; }
};

int main() {
  std::vector<std::shared_ptr<void>> v;
  {
    v.push_back(std::shared_ptr<Test>(new Test()));
  }
  return 0;
}</code>

놀랍게도 이 코드는 다음을 출력합니다.

Test created
Test destroyed

이는 Test 개체가 std::shared_ptr에 의해 보관되어 있음에도 불구하고 제대로 삭제되었음을 의미합니다.

기본 메커니즘

std::shared_ptr은 관리 객체의 유형을 구현에서 분리하는 유형 삭제 기능을 제공합니다. 내부적으로는 원본 객체의 유형에 따라 적절한 소멸자를 호출하는 삭제자 함수를 저장합니다.

std::shared_ptr std::shared_ptr에 복사되더라도 삭제 기능은 그대로 유지됩니다. 저장된 삭제자는 이 예에서 테스트 소멸자를 호출하는 역할을 담당합니다.

표준 준수 및 신뢰성

설명된 동작은 현재 작동하지만 구현 세부 사항에 의존하며 C 표준에서는 보장되지 않습니다. 이는 두 가지 이유 때문입니다:

• 유형 삭제: shared_ptr 내부 유형의 분리로 인해 향후 구현이 변경되면 예기치 않은 동작이 발생할 수 있습니다.
• 삭제 기능: std::shared_ptr 구현은 void*에 대한 삭제 기능을 구현할 의무가 없습니다.

따라서 std::shared_ptr 임의 정리는 위험할 수 있으므로 신뢰할 수 있는 코드에는 권장되지 않습니다.

위 내용은 종료 시 안정적인 정리를 위해 std::shared_ptr을 사용할 수 있습니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!