Как извлечь элементы многобайтового массива как единое число?

Question

[hasound]

Добрый день.

Есть динамический массив из 9 эелементов типа char. Нулевой элемент - служебный, а элементы с 1 по 8 представляют сообй единое число типа unsigned long long. Могу ли я как-то преобразовать указатель на 1 элемент массива в указатель на ULL, чтобы извлечь следующие 8 байт как число ULL?

Спасибо.

Comments

[Everything_is_not_so_bad]

А порядок байтов (архитектуру процессора) нужно учитывать?

Answer 1

[Wataru]

Лучше так делать не надо. Это UB - нарушение всяких strict aliasing, выравниваия и вообще от порядка байт в машине зависит. Лучше руками собрать ULL по частям, вроде

for (int i = 0; i < 8; ++i) result |= byte_array[i+1] << (8ULL*i);

или

for (int i = 0; i < 8; ++i) result |= byte_array[i+1] << (8ULL*(7-i));

На худой конец, если очень узкое место, надо делать memcpy из массива в &result.

Answer 2

[Adamos]

Если в этих элементах биты и байты реально в том порядке, в котором нужно - банальный reinterpret_cast< ULL* >(&arr[1]);

Comments

[jcmvbkbc]

банальный reinterpret_cast< ULL* >(&arr[1]);

и получить SIGBUS на половине существующих архитектур при обращении по полученному указателю

[Adamos]

jcmvbkbc, я специально оговорился о "если" и ни разу не сказал, что это хорошая идея ;)

[Wataru]

jcmvbkbc, подтверждаю. Этот код - это UB. Так делать нельзя.

[jcmvbkbc]

я специально оговорился о "если"
Если в этих элементах биты и байты реально в том порядке, в котором нужно

порядок байт тут не при делах, дело в выравнивании.

[Wataru]

Adamos, Помимо выравнивания, дело еще в strict aliasing. Ну вот нельзя обращаться к данным по указателю не того типа (за редкими исключениями, которые тут не применимы). Компилятор может там всякого наворотить. Это UB.

[hasound]

А так приемлемо?

char* buffer[9];
// ...
// Где-то здесь буфер заролняется числами
// ...
unsigned long long id;
void* _p = &id;
char* _id = static_cast<char*>(_p);
for (auto _i = 0; _i < sizeof(unsigned long long); _i++)
  _id[i] = buffer[i+1];

[Adamos]

hasound, вам уже посоветовали memcpy вместо этого велосипеда.

[Wataru]

hasound, Так уже нет проблем с aliasing и выравниванием. Можно обращаться к long long по char* (но нельзя наоборот!). Но лучше memcpy(&id, buffer, sizeof(id));.

[mayton2019]

Можно взять решение Wataru, только добавить #ifdef для проверки платформы.

[Wataru]

hasound, Советую отменить отметку как ответа этого поста - он содержит Undefined behavior и так делать нельзя.