배열이 아닌 데이터 구조에 대한 포인터 산술이 C에서 정의되었거나 정의되지 않은 동작입니까?

배열이 아닌 데이터 구조에서 포인터 연산이 정의되지 않은 동작인가요?

포인터에 관한 C 17 표준 간의 명백한 충돌에서 문제가 발생합니다. 추가 및 매크로 오프셋 기능. 인용된 단락에 따르면 "char " 포인터에 추가하면 char 배열을 가리키지 않으면 정의되지 않은 동작이 발생합니다. 그러나 제공된 코드 예제에는 "Foo" 구조체의 주소를 reinterpret_casting하여 얻은 "char " 포인터에 추가하는 작업이 포함됩니다. 포인터가 char 배열을 가리키지 않기 때문에 이는 규칙을 따르지 않는 것 같습니다.

그러나 표준을 추가로 조사한 결과 섹션 3.9.2에서 지침을 찾을 수 있습니다. 간단하게 복사 가능한 유형 T의 (기본 클래스 하위 객체 제외), 객체가 유형 T의 유효한 값을 보유하는지 여부에 관계없이 객체를 구성하는 기본 바이트는 char 또는 unsigned 배열로 복사될 수 있습니다. char."

이 문장은 표준이 배열을 나타내는지 여부에 관계없이 모든 객체의 기본 바이트를 복사 가능한 것으로 간주함을 나타냅니다. 이는 포인터가 배열을 가리키지 않더라도 코드에서 수행하는 추가가 유효해야 함을 의미합니다. 추가는 원시 바이트에 정의되고 결과 값은 "Foo" 구조체의 원하는 float 멤버에 액세스하는 데 사용됩니다.

따라서 제공된 코드 예제의 추가 작업은 정의되지 않은 동작이 아닙니다. reinterpret_casting 및 offsetof를 사용하여 구조체의 멤버를 나타내는 바이트에 액세스하고 수정할 수 있습니다.

위 내용은 배열이 아닌 데이터 구조에 대한 포인터 산술이 C에서 정의되었거나 정의되지 않은 동작입니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!