`std::unique_ptr` 및 `std::shared_ptr`에 T의 완전한 정의가 필요한 경우는 언제입니까?

std::unique_ptr T의 완전한 정의가 필요합니까?

C 프로그래밍에서 표준 라이브러리 내의 템플릿 동작은 인스턴스화하는 유형의 완전성에 따라 달라지는 경우가 많습니다. 대부분의 템플릿에는 완전한 유형이 필요하지만 std::unique_ptr 및 std::shared_ptr은 예외입니다.

std::unique_ptr 및 불완전 유형

std::unique_ptr은 불완전을 허용합니다. 특정 상황에서는 유형이 있지만 전부는 아닙니다. 특히 다음과 같은 경우 완전한 유형이 필요합니다.

• 소멸자 호출(~std::unique_ptr)
• 원시 포인터로 재설정(reset(T*))

그렇지 않으면 다음과 같은 불완전한 유형에서도 작동할 수 있습니다. for:

• 기본 구성
• 다른 std::unique_ptr에서 구성 복사 및 이동
• 이동 할당을 통한 소유권 이전

std::shared_ptr 및 불완전함 유형

std::shared_ptr은 std::unique_ptr과 유사한 규칙을 따르지만 두 가지 주요 차이점이 있습니다.

• 다음과 같은 경우 완전한 유형이 필요합니다.

  • 원시 그대로 구성 포인터
  • 소멸자 호출(~std::shared_ptr)
  • shared_ptr에 소유자가 여러 명 있는 경우 원시 포인터로 재설정
• 그렇지 않습니다. 불완전한 작업 시 이동 할당 연산자를 제공하지 마세요.

구현에 대한 영향

이러한 완전성 요구 사항은 std::unique_ptr 및 std::shared_ptr의 서로 다른 구현이 불완전한 유형을 다르게 처리할 수 있음을 의미합니다. 예를 들어 Visual Studio 2010-SP1 구현에서는 std::unique_ptr를 인스턴스화하기 위해 T 유형의 완전한 정의가 필요할 수 있지만 다른 구현에서는 불완전한 유형이 허용될 수 있습니다.

표준 요구 사항

std::unique_ptr 및 std::shared_ptr의 표준 불완전한 유형으로 작업할 수 없다고 명시적으로 명시하지 않습니다. 그러나 특정 상황에서의 동작에 대한 요구 사항은 완전한 유형이 필요함을 의미합니다. 이는 C 표준에 설명되어 있는데, 특정 작업의 유효성은 템플릿으로 인스턴스화된 유형의 완전성에 따라 달라집니다.

결론적으로 std::unique_ptr 및 std::shared_ptr은 불완전한 유형을 허용합니다. 특정 상황에서는 특정 작업에 대해 완전한 유형이 필요합니다. 이 요구 사항은 표준 사양에서 비롯되며 다양한 구현에서 템플릿의 동작에 영향을 미칠 수 있습니다.

위 내용은 `std::unique_ptr` 및 `std::shared_ptr`에 T의 완전한 정의가 필요한 경우는 언제입니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!