Вызывает ли арифметика указателя в этом использовании неопределенное поведение ⇐ C++

[Anonymous]

Это продолжение следующего вопроса. Я был в предположении, что арифметика указателя, которую я первоначально использовал, вызовет неопределенное поведение. Однако коллега мне сказал, что использование на самом деле хорошо определена. Ниже приведен упрощенный пример: < /p>
typedef struct StructA {
int a;
} StructA ;

typedef struct StructB {
StructA a;
StructA* b;
} StructB;

int main() {
StructB* original = (StructB*)malloc(sizeof(StructB));
original->a.a = 5;
original->b = &original->a;

StructB* copy = (StructB*)malloc(sizeof(StructB));
memcpy(copy, original, sizeof(StructB));
free(original);
ptrdiff_t offset = (char*)copy - (char*)original;
StructA* a = (StructA*)((char*)(copy->b) + offset);
printf("%i\n", a->a);
free(copy)
}
< /code>
Согласно §5.7 ¶5 из C ++ 11 Spec: < /p>

Если как операнд указателя, так и результат указывают на переполнение одного и того же массива или один прошлый элемент объекта Array, оценка не должна производить переполнение; В противном случае поведение не определен.ptrdiff_t offset = (char*)copy - (char*)original;
StructA* a = (StructA*)((char*)(copy->b) + offset);
< /code>
вызывает неопределенное поведение, поскольку оно: < /p>

Вычитает два указателя, которые указывают на разные массивы < /li>
Полученное указательное указатель. Неверно истолковывать спецификацию C ++? Применяется ли то же самое в C?ptrdiff_t offset = (char*)(copy->b) - (char*)original;
StructA* a = (StructA*)((char*)copy + offset);
< /code>
будет определена бы при работе с индексами: < /p>
typedef struct StructB {
StructA a;
ptrdiff_t b_offset;
} StructB;

int main() {
StructB* original = (StructB*)malloc(sizeof(StructB));
original->a.a = 5;
original->b_offset = (char*)&(original->a) - (char*)original

StructB* copy = (StructB*)malloc(sizeof(StructB));
memcpy(copy, original, sizeof(StructB));
free(original);
StructA* a = (StructA*)((char*)copy + copy->b_offset);
printf("%i\n", a->a);
free(copy);
}


Подробнее здесь: https://stackoverflow.com/questions/674 ... d-behavior