Перевести биты int в unsigned int

@k0vpack · Регистрация: 13.02.2018

Студворк — интернет-сервис помощи студентам

Доброго времени суток, как можно получить из int -> unsigned int, т.е. где все биты в таком же порядке, по идее тогда будет без минуса.

Пример:
int - -2147483647
unsigned int - 0

int 0
unsigned int - 2147483647

@Azazel-San · 12.10.2019, 22:31

Сообщение от Evg

с точки зрения стандарта является не законным

Это вы о С++?

Сообщение от Evg

а потому в компиляторах это поддержано

Ну ясен пень, разработчики компиляторов не дураки, они не станут вставлять палки в колеса разработчикам С++, поэтому в С++ type punning через union работает (на большинстве современных компиляторов).

Сообщение от Evg

Это один из тех редких случаев, когда здравый оказался выше стандарта

Соглашусь.

Сообщение от rat0r

Ну с точки зрения стандарта плюсов это не очень понятно что значит.

Ну, это главное на что опираются в спорах на то, является ли каст через memcpy - UB.
Т.е. это хождение по тонкому льду, все зависит от реализации memcpy, с другой стороны так вполне может быть есть memcpy реализован в потрохах на асембли? Там же нет такого как strict aliasing и прочих проблем?
Еще с третьей стороны разработчикам компиляторов же можно делать всякие такие касты по типу type punning?

Сообщение от rat0r

Да ничего не значит, он никогда не использовался.

Т.е. это по сути ничего не меняет?

@rat0r · 12.10.2019, 22:37

Сообщение от Azazel-San

Ну, это главное на что опираются в спорах на то, является ли каст через memcpy - UB.

Я думал достаточно назвать memcpy магической функцией, которая делает то, что она делает просто потому что стандарт так говорит. А написать её на переносимом C++ невозможно.

Сообщение от Azazel-San

Т.е. это по сути ничего не меняет?

Я уже не помню, что именно было сутью.

@Azazel-San · 12.10.2019, 22:44

Сообщение от rat0r

Я думал достаточно назвать memcpy магической функцией, которая делает то, что она делает просто потому что стандарт так говорит.

Ну, теперь то так можно сказать об bit_cast уж точно

Сообщение от rat0r

А написать её на переносимом C++ невозможно.

Так что мы имеем? Написать на С++17 что-то, что бы позволяло делать типа type punning на переносимом C++ невозможно?

@rat0r · 12.10.2019, 22:46

Сообщение от Azazel-San

Ну, теперь то так можно сказать об bit_cast уж точно

Ну это ясно. bit_cast должен быть constexpr, так что на основе memcpy его не напишешь.

Сообщение от Azazel-San

Написать на С++17 что-то, что бы позволяло делать типа type punning на переносимом C++ невозможно?

Вроде того.

@Folian · 12.10.2019, 22:48

Сообщение от nonedark2008

вместо unsigned int вставить, скажем, float (одного размера с int), то уже будет UB.

Я, видимо, неправильно выразился. Я и не собирался получать вменяемое значение во float, например, это понятно.

Вот, кстати, утилитарный вопрос:
Считиваю я таким макаром двоично-побайтно файл "X" (ну, через char, например), добавляю мишуру и сохраняю в "Y".
И у меня есть программа "APP", которая читает таким же методом файлы типа "Y". Возможно ли, что на конечной машине программа "APP" считает "Y" неправильно, например там char развернёт и на выходе будет каша? Если да, то какова примерная вероятность такого глюка на современных пользовательских машинах?

Извиняюся за нубские вопросы

@Azazel-San · 12.10.2019, 22:53

Сообщение от rat0r

Вроде того.

Это то, что меня интересовало, спасибо.

Добавлено через 1 минуту

Сообщение от rat0r

так что на основе memcpy его не напишешь

Это странно, но cppreference определяет именно реализацию через memcpy, что забавно.
Правда с указанием некой магии с добавлением constexpr.

Добавлено через 2 минуты
rat0r, а и скажи, что думаешь на счет memmove?
С его разрешением на то что объекты могут оверлапиться?

@rat0r · 12.10.2019, 22:58

Сообщение от Azazel-San

а и скажи, что думаешь на счет memmove?
С его разрешением на то что объекты могут оверлапиться?

Думаю, что в [basic.types] ничего про копирование себя поверх себя не написано.

@nonedark2008 · 12.10.2019, 23:04

Сообщение от rat0r

но не говорит что будет при доступе через разрешённые

Верно, не говорит. Однако в стандарте четко прописан формат целых чисел, а также известно, что:

each signed integer type has the same object representation as its corresponding unsigned integer type

У меня больше нет сил копать этот вопрос, так что оставим его в подвешенном состоянии.

Добавлено через 4 минуты

Сообщение от Azazel-San

хождение по тонкому льду, все зависит от реализации memcpy

Я думаю, что реализация memcpy тут не имеет никакого значения. Гарантируется, что он копирует байты из одного места в другое. Значение имеет только то, каким объектам принадлежат эти байты и что произойдет, если в взять байтовое представление некоторого объекта и перезаписать там часть байт...

@rat0r · 12.10.2019, 23:05

Сообщение от nonedark2008

Однако в стандарте четко прописан формат целых чисел

В коде типа (я заменю std::cout на инициализацию переменной)

C++
1
2
int a = -1;
unsinged u = *reinterpret_cast<unsigned*>(&a);

это не играет никакого значения. Абсолютно. Как бы неожиданно это ни звучало.

@Azazel-San · 12.10.2019, 23:08

Сообщение от rat0r

Думаю, что в [basic.types] ничего про копирование себя поверх себя не написано.

Ну, да так и есть

Сообщение от nonedark2008

Значение имеет только то, каким объектам принадлежат эти байты и что произойдет, если в взять байтовое представление некоторого объекта и перезаписать там часть байт...

Ну, это то и зависит от реализации? Не?)

@nonedark2008 · 12.10.2019, 23:19

Сообщение от rat0r

это не играет никакого значения. Абсолютно. Как бы неожиданно это ни звучало.

Интересно, зачем вообще добавили в [basic.types] пункт про signed/unsigned?

Добавлено через 3 минуты
Стоило ли вот это отличие того?

@rat0r · 12.10.2019, 23:19

Сообщение от nonedark2008

Интересно, зачем вообще добавили в [basic.types] пункт про signed/unsigned?

Ну, для совместимости с C, где такое разрешено.
Поведение unsigned u = *reinterpret_cast<unsigned*>(&a); не всегда ведь не определено, а зависит от значения a.
При int a = -1; (и вообще любых отрицательных значениях) не определено, при неотрицательных значениях определено.

@Azazel-San · 12.10.2019, 23:31

Сообщение от rat0r

При int a = -1; (и вообще любых отрицательных значениях) не определено, при неотрицательных значениях определено.

А вот тут что-то не понял мы же о unsigned говорим?
При отрицательном значении разве не добавляется что-то типа UINT_MAX + 1?

@rat0r · 12.10.2019, 23:33

Сообщение от Azazel-San

А вот тут что-то не понял мы же о unsigned говорим?
При отрицательном значении разве не добавляется что-то типа UINT_MAX + 1?

При reinterpret_cast-е ничего не добавляется.

@Azazel-San · 12.10.2019, 23:33

Сообщение от rat0r

При reinterpret_cast-е ничего не добавляется.

Точно, туплю.

@TheCalligrapher · 16.10.2019, 04:36

Сообщение от nonedark2008

Однако в стандарте четко прописан формат целых чисел

Это где это? До тех пор пока стандарт формально разрешает три различных представления знаковых целых чисел, ни о каком "четко прописан формат" речи быть не может.

@outoftime · 16.10.2019, 07:01

Сообщение от k0vpack

как можно получить из int -> unsigned int

C++
1
2
int i = ... ;
unsigned ui{i};

nonedark2008,

Сообщение от k0vpack

все биты в таком же порядке, по идее тогда будет без минуса.

Размер типов одинаковый. Формат представления в памяти "платформозависимый". По идее работает только в пределах платформы.

Новые блоги и статьи Все статьи Все блоги /
сукцессия 14. Обновленная схема модели anaschu 28.06.2026 ГЛОБАЛЬНАЯ ОПИСАТЕЛЬНАЯ СПЕЦИФИКАЦИЯ ЭКОСИСТЕМНОЙ МОДЕЛИ «SOIL CHEMISTRY & MYCORRHIZA 2. 0» https:/ / ibb. co/ NnkGpfMd Представленная интегрированная схема описывает непрерывную нелинейную. . .	сукцессия 13. Питон модель трехзонного мицелия, пока что в основном арбускулярного anaschu 28.06.2026 ## Разработка агентной модели микоризной сукцессии: от выявления артефактов к созданию комплексной системы ### Аннотация Представлено исследование по разработке агентной модели микоризной. . .	сукцессия 12. краткий список проверок модели перед запуском. anaschu 27.06.2026 Скрытые отказы в моделях систем динамики (SD-models) экологических систем: два случая из практики Контекст Разбирался прототип модели систем динамики (SD-модели) микоризной сукцессии: пять. . .	Сукцессия 11. Проверка орудий перед войной: разработка через тестирование anaschu 27.06.2026 Как не дать модели соврать самой себе: проверки для симуляции микоризной сукцессии Введение Когда вы строите математическую модель живой системы — грибов, растений, почвы — главная опасность. . .
10 сукцессия. Питон код войны грибов и растений anaschu 27.06.2026 import numpy as np class PlantAgent: def __init__(self, name, strategy, initial_biomass): self. name = name self. strategy = strategy # "greedy" (широколиственные) или. . .	сукцессия 9. Математика подлости: как растения предали грибных друзей anaschu 27.06.2026 Статья 2. Глобальная фосфорная война: эволюционно-экономические механизмы распределения биомов Земли Введение: Экологический рынок как игра с нулевой суммой Традиционная экология долгое время. . .	сукцессия 8. Как я спорил с ИИ, которые - агенты растений и ненавистники грибов! anaschu 27.06.2026 Статья 1. Хроники грибного восстания: как Сократов диалог разрушил академические догмы ИИ Введение: Синдром «цифрового учебника» Современные большие языковые модели (LLM) обладают колоссальным. . .	Главный вопрос моделирования сукцессии anaschu 27.06.2026 главный вопрос. Если эктомикориза лучше добывает недоступный фосфор. И ее масса максимальна из всех. А широколиственный лес тоже имеет самую крутую биомассу. То почему не возникло их симбиоза? Это. . .

@k0vpack 82 / 78 / 34 Регистрация: 13.02.2018 Сообщений: 1,347

	Перевести биты int в unsigned int 10.10.2019, 17:33. Показов 7002. Ответов 56 Метки нет (Все метки) Доброго времени суток, как можно получить из int -> unsigned int, т.е. где все биты в таком же порядке, по идее тогда будет без минуса. Пример: int - -2147483647 unsigned int - 0 int 0 unsigned int - 2147483647 0