P
Size: a a a
2020 November 27
AP
#вопрос к знатокам стандарта. Тут есть нарушение strict aliasing?
uint8_t buffer[8] = {1, 1, 1, 1, 0, 0, 0, 0};
uint32_t *p = reinterpret_cast<uint32_t *>(buffer);
printf("0x%x\n", *p);m
#вопрос к знатокам стандарта. Тут есть нарушение strict aliasing?
uint8_t buffer[8] = {1, 1, 1, 1, 0, 0, 0, 0};
uint32_t *p = reinterpret_cast<uint32_t *>(buffer);
printf("0x%x\n", *p);Зависит от того какой настоящий тип у
uint8_t. Если один из стандартной тройки char, unsigned char, byte, вроде все ок.АР
емнип это unspecified
АР
в том смысле что uint8_t, как сказали выше, может быть unsigned char или char, тогда по стандарту мы можем спокойно алиаситься
АР
а вот если uint8_t это distinct type, то нет
АР
В С++ иначе?
ну unsigned char != char != signed char если ты об этом
AP
Допустим даже, что в примере unsigned char вместо unit8_t. Стандарт действительно разрешает алиасить любой тип типом unsigned char, но тут пример в другую сторону
AP
unsigned char алиасится типом uint32_t, а не наоборот
LA
#вопрос к знатокам стандарта. Тут есть нарушение strict aliasing?
uint8_t buffer[8] = {1, 1, 1, 1, 0, 0, 0, 0};
uint32_t *p = reinterpret_cast<uint32_t *>(buffer);
printf("0x%x\n", *p);Да, здесь прямое нарушение, как минимум дважды
m
Да, здесь прямое нарушение, как минимум дважды
Но не правил алиасинга.
LA
Но не правил алиасинга.
Нет, и правил алиасинга, именно что можно алиасить чаром всё что угодно, но не в обратную сторону. Здесь можно было бы поправить через использование
memcpy, однако мы должны были бы копировать часть буфера, по размеру равную uint32_tm
Нет, и правил алиасинга, именно что можно алиасить чаром всё что угодно, но не в обратную сторону. Здесь можно было бы поправить через использование
memcpy, однако мы должны были бы копировать часть буфера, по размеру равную uint32_tВозможно я ошибаюсь, но буфер char'ов всегда можно было использовать под любой тип. Да, объект в этом буфере нужно в начале создать и в примере выше есть проблемы с лайфтамом. Но мне сложно поверить что там есть проблема с алиасингом.
АР
Нет, и правил алиасинга, именно что можно алиасить чаром всё что угодно, но не в обратную сторону. Здесь можно было бы поправить через использование
memcpy, однако мы должны были бы копировать часть буфера, по размеру равную uint32_tтривиальные типы и структуры вроде можно рентерпреткастить в/из char. Но не помню наверняка
АР
Допустим даже, что в примере unsigned char вместо unit8_t. Стандарт действительно разрешает алиасить любой тип типом unsigned char, но тут пример в другую сторону
unsigned char и char как раз могут алиаситься на любой тип
АР
одна из причин почему нужна u8string