`reinterpret_cast` 정의되지 않은 동작을 사용하여 비배열 포인터에 대한 포인터 연산이 이루어 집니까?

비배열 포인터에 대한 포인터 산술은 정의되지 않은 동작인가요?

C 표준에서는 포인터 결과에 적분 표현식을 더하거나 빼면 결과가 나온다고 지정합니다. 같은 유형의 포인터에서. 그러나 포인터가 원래 배열 내의 요소를 가리키는 경우 결과 포인터도 배열 내의 유효한 요소를 가리켜야 합니다. 이는 질문을 제기합니다. 실제로 문자 배열을 가리키지 않는 "char *" 포인터에 추가하는 것이 정의되지 않은 동작(UB)입니까?

다음 코드를 고려하세요.

struct Foo {
    float x, y, z;
};

Foo f;
char *p = reinterpret_cast<char *>(&f) + offsetof(Foo, z); // (*)
*reinterpret_cast<float *>(p) = 42.0f;

Line()은 reinterpret_cast를 수행하여 f의 주소를 "char " 포인터로 변환한 다음 z 멤버의 오프셋을 추가합니다. 결과 포인터 p는 f.z의 값을 수정하는 데 사용됩니다.

표준에 따르면 p가 문자 배열을 가리키지 않기 때문에 이 줄은 UB가 되어야 합니다. 그러나 일반적으로 이러한 포인터를 사용하여 객체의 기본 메모리 표현을 조작하는 것이 허용된다고 가정합니다.

표준에서는 이것이 UB라고 명시적으로 명시하지 않지만 사소하게 복사 가능한 유형의 객체는 다음과 같은 작업을 수행할 수 있어야 합니다. char 또는 unsigned char 배열로 복사됩니다. 이는 객체를 구성하는 원시 바이트에 대한 포인터에 대해 포인터 연산을 정의해야 하며 위 작업이 가능함을 의미합니다.

따라서 "char *" 포인터에 추가하는 것이 합리적이라고 결론을 내리는 것이 합리적입니다. 기본 바이트를 배열에 복사하려는 시나리오에서는 문자 배열이 UB가 아님을 가리킵니다.

위 내용은 `reinterpret_cast` 정의되지 않은 동작을 사용하여 비배열 포인터에 대한 포인터 연산이 이루어 집니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!