불완전한 유형을 표준 컨테이너에서 인스턴스화할 수 있습니까?

표준 컨테이너의 불완전한 유형 인스턴스화

C에서 std::Vector 및 std::map과 같은 컨테이너는 다음을 사용하여 컨테이너의 인스턴스화를 허용합니다. 불완전한 유형. 이 방법은 일반적으로 자기 참조 유형을 통해 재귀 구조를 만드는 데 사용되었습니다. 그러나 C 표준에서는 이러한 인스턴스화가 허용되는지 여부에 대한 의문이 제기됩니다.

C 11 표준의 §17.6.4.8에 따르면 불완전한 유형 인스턴스화는 명시적으로 허용되지 않으면 정의되지 않은 동작으로 이어질 수 있습니다. std::Vector와 같은 일부 컨테이너는 값으로 value_type 개체와 상호 작용하는 value_type 멤버나 함수를 보유하지 않기 때문에 불완전한 유형에서 적절하게 작동합니다. 그러나 std::map은 이와 관련하여 문제가 있는 동작을 나타냅니다.

표준의 목적은 특정 구현에서 문제가 발생하지 않더라도 불완전한 유형 인스턴스화를 금지하는 것입니다. 이는 주로 고정된 수의 요소에 대해 std::Vector를 최적화하는 것과 같은 잠재적인 구현 어려움으로 인해 발생하며, 이는 재귀 구조가 허용되는 경우 중단될 수 있습니다.

따라서 표준에서는 컨테이너에 대한 완전한 유형의 사용을 요구합니다. 인스턴스화. 그러나 std::unique_ptr과 같이 불완전한 유형을 명시적으로 지원하는 사용자 정의 클래스 템플릿을 생성할 가능성은 인정합니다.

따라서 표준 컨테이너는 불완전한 유형으로 인스턴스화되어서는 안 됩니다. 이러한 용도를 수용하는 사용자 정의 클래스 템플릿을 고안하세요.

위 내용은 불완전한 유형을 표준 컨테이너에서 인스턴스화할 수 있습니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!