자기참조 구조체 예제

Tempo de leitura: menos de 1 minuto

0 Flares Filament.io 0 Flares ×

수학 및 컴퓨팅 이론에서 자기 참조(임피디티티라고도 함)는 많은 시스템의 한계를 증명하는 핵심 개념입니다. 괴델의 정리는 수학의 공식적인 일관된 시스템은 이제까지 자신의 구조에 대한 몇 가지 진실을 증명 할 수 없기 때문에, 모든 가능한 수학적 진리를 포함 할 수 없다는 것을 보여주기 위해 사용합니다. 계산 이론에서 중단 문제는 컴퓨터가 수행할 수 없는 작업, 즉 자체에 대한 추론이 항상 있음을 보여줍니다. 이러한 증거는 러셀의 역설과 베리의 역설과 같은 수학적 역설의 오랜 전통과 관련이 있으며, 궁극적으로 는 고전 철학적 역설과 관련이 있습니다. 위의 예에서 이루어진 연결은 다음 그림을 사용하여 이해할 수 있다. 구조체 양식을 평가할 때마다 다른 구조체 형식의 이름과 필드가 같은 경우에도 모든 기존 구조 체 유형과 구별되는 구조 형식을 생성합니다. 확장된 구조체 형식은 기존 구조 형식을 확장하는 구조 형식인 구조 하위 유형을 정의하는 데 사용할 수 있습니다. 배열에 삽입할 수 있는 요소수가 배열의 크기에 따라 제한되는 배열과 같은 정적 데이터 구조와 달리 자체 참조 구조는 동적으로 확장되거나 축소될 수 있습니다. 자체 참조 구조에서 노드 삽입 또는 삭제와 같은 작업에는 포인터의 간단하고 정직한 변경이 포함됩니다. 이전 섹션의 프리팹 구조 유형에서 설명한 대로 기본 제공 구조 형식에 액세스합니다.

수퍼 id는 구조체 유형 이름(즉, 식으로 직접 사용할 수 없는 이름)으로 바인딩된 구조체 형식 이름이어야 합니다. 프리팹 구조 형식은 다른 프리팹 구조 형식을 수퍼타이브로 가질 수 있으며, 가변 필드를 가질 수 있으며 자동 필드를 가질 수 있습니다. 이러한 차원의 변형은 서로 다른 프리팹 구조 유형에 해당하며 구조 체 유형 이름의 인쇄된 형식은 모든 관련 세부 정보를 인코딩합니다. 이 간단한 구조는 사용/언급 구별을 구현합니다. 유형 구조링크의 객체를 선언하면 컴퓨터는 새 개체를 보유하도록 메모리를 따로 설정합니다. 이 메모리 블록은 정의에 따라 행동하며 적절한 형식의 두 하위 개체에 대한 액세스를 허용합니다. 이 새 개체는 링크를 사용합니다. 그러나 두 번째 하위 개체가 다른 링크에 대한 포인터로 정의되는 방법을 확인합니다. 포인터는 메모리에 있는 위치의 인코딩입니다.

다음에 유형 구조체 링크가 되는 것은 의미가 없습니다. 그 유형이 무한히 큰 만들 것입니다! 따라서 다음 링크 자체는 아니지만 다른 개체를 찾을 수 있는 위치를 나타냅니다. 링크의 언급입니다. 자체 참조 데이터 구조는 기본적으로 자체 종류의 구조에 대한 포인터인 하나 이상의 멤버를 포함하는 구조 정의입니다.

Os comentários foram encerrados, mas trackbacks e pingbacks estão abertos.