Есть ли законный способ конвертировать указатель без знака в указатель std :: byte?

Question

Я использую библиотеку STB для загрузки изображений в память. Специальная функция, stbi_load, возвращает указатель на unsigned char, который является массивом.

Я испытываю желание использовать новый API C ++ 17 для необработанных данных, std::byte, который позволил бы мне быть более выразительным и позволил мне псевдоним необработанных данных попиксельно, или цвет за цветом, приведя его к другому типу данных (целые числа разного размера).

Теперь я попробовал это:

std::unique_ptr<std::byte[], stbi_deleter>(stbi_load(...));

Конечно, это не сработало из-за отсутствия неявного преобразования.

Тогда я попробовал это:

std::unique_ptr<std::byte[], stbi_deleter>(
  static_cast<std::byte*>(stbi_load(...))
);

Опять же, это все еще не сработало. Я должен был решить использовать reinterpret_cast вместо этого. И заставил меня задаться вопросом, является ли это преобразование законным или нет. Могу ли я законно преобразовать unsigned char* в std::byte* в соответствии со строгим правилом алиасинга ? И затем я могу привести данные к другому типу данных, например std::uint32_t*, и изменить его? Это также нарушит правило наложения имен?

Answer 1

Могу ли я по закону преобразовать неподписанный символ * в std :: byte * в соответствии со строгим правилом алиасинга?

Да, именно поэтому std::byte "наследует" от unsigned char. Но вы должны пройти через reinterpret_cast<> так же, как и при приведении произвольного типа к char* или unsigned char*

И затем я могу привести данные к другому типу данных, например std :: uint32_t *, и изменить его.

Нет. Вы не можете ничего сделать с std::byte, что вы не можете сделать с char* или unsigned char*.

Главное, для чего std::byte кажется полезным - иметь функции, которые могут иметь как строковые, так и необработанные перегрузки.

Кроме того, он избавляется от следующего раздражения:

char val = foo();
std::cout << (int)val << "\n";

Answer 2

Строгое правило псевдонимов никогда не запрещает какие-либо преобразования указателей. Речь идет о типе выражения, обращающегося к объекту.

std::byte может иметь псевдоним любого другого типа, это упомянуто на странице cppreference, на которую вы ссылаетесь, а также в правиле строгого псевдонима в Стандартном курсе (C ++ 17 basic.lval / 8.8). Поэтому можно использовать reinterpret_cast<std::byte *>, а затем читать или записывать массив unsigned char.

Если вы используете выражение типа uint32_t для чтения или записи массива unsigned char, это нарушит правило строгого алиасинга.