Зависит ли от платформы значение выражения -1u, при размере типа, равном 32 бита?

@ct0r · Регистрация: 19.08.2012

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

Кто как думает, значение выражения -1u зависит от платформы или нет?

@GbaLog- · 22.01.2016, 17:48

ct0r, А что это вообще значит? Я просто не бум-бум.

@Kastaneda · 22.01.2016, 17:53

ct0r, ну размер точно зависит. Или вопрос как оно интерпретируется компилятором?

@rikimaru2013 · 22.01.2016, 18:01

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

Кто как думает, значение выражения -1u зависит от платформы или нет?

"Если бы не зависило - этой темы бы не было" (с) капитан_очевидность

Думаю ответ:
"Тип литерала зависит от компилятора, который оптимизирует память выделяемую под литерал"

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

@ct0r · 22.01.2016, 18:03 **[ТС]**

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

ну размер точно зависит

Размер - это слишком очевидно

Хотя нужно было мне про это написать, мой косяк. Пусть будет всегда 32 бита.

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

"Если бы не зависило - этой темы бы не было" (с) капитан_очевидность

Кто знает, кто знает...

@GbaLog- · 22.01.2016, 18:04

Так может кто-нибудь объяснит мне что это за выражение? Мне для повышения кругозора, гугл молчит. Ну или хоть дайте подсказку что именно гуглить.

@Kastaneda · 22.01.2016, 18:09

makfak, http://en.cppreference.com/w/c... er_literal
про -1 надеюсь не надо ссылку?

Добавлено через 57 секунд
ct0r,

Кликните здесь для просмотра всего текста

может быть просто 1?

@GbaLog- · 22.01.2016, 18:12

А, так это литерал, всё, понял. А я думал что-то интересное.

@ct0r · 22.01.2016, 18:18 **[ТС]**

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

А, так это литерал, всё, понял.

-1u это не литерал.

Kastaneda, разве std::cout << -1u выводит это значение?

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

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

Значит, UB. Ты жесткий...

@GbaLog- · 22.01.2016, 18:21

ct0r, u - литерал unsigned. -1u - это попытка преобразования знакового числа в беззнаковое число, что само по себе UB, ну это я так думаю, хотя нет, не только я, мой компилятор тоже.

@ct0r · 22.01.2016, 18:29 **[ТС]**

makfak, ваши 2 голоса записаны

Шухер, Croessmah смотрит тему, вангую выдержки из стандарта или типа того

@Kastaneda · 22.01.2016, 18:45

ct0r, гадать можно долго, тут нужна цитата из стандарта, мне лень туда лезть

Я на самом деле не брезгую делать вот так

C++
1
#define MAX_SIZE size_t(-1)

пока еще ни разу не подводило.
Хотя это не одно и то же с -1u.

Croessmah · 22.01.2016, 18:49

Не по теме:

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

Шухер, Croessmah смотрит тему, вангую выдержки из стандарта или типа того

Хотел посмотреть что-то, но увы, пришлось учетку на ноуте настраивать :pardon:
А теперь лень куда-то лезть

@Kastaneda · 22.01.2016, 18:57

Не по теме:

ct0r, оказалось "типа того" :D

@DrOffset · 22.01.2016, 18:57

Вероятно речь об этом:

Сообщение от 5.3.1/8

The negative of an unsigned quantity is computed by subtracting its value from 2ⁿ, where ⁿ is the number of bits in the promoted operand. The type of the result is the type of the promoted operand.

Иными словами тут все законно.

@Kastaneda · 22.01.2016, 18:59

DrOffset, но тут по сути сказано, что -1 это 0xFFFFFFFF, т.е. очевидная вещь.

@DrOffset · 22.01.2016, 19:07

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

но тут по сути сказано

Там описано поведение применения унарного минуса к значению беззнакового типа.
-1u - это -(1u)
В цитате сказано как нужно поступать в этом случае.
Если в вопросе имелось в виду под "зависит от платформы" нечто вроде "implementation defined" или какой-нибудь "unspecified behaviour", то цитата это опровергает. Все вполне "specified"

.

@avgoor · 22.01.2016, 19:08

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

Иными словами тут все законно.

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

C++
1
auto i=-1u;

Какой тип должен быть у i?

@Kastaneda · 22.01.2016, 19:09

С другой стороны раз стандарт это обещает, значит

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

Кто как думает, значение выражения -1u зависит от платформы или нет?

нет, не зависит

Меня только одно смущает, если u дает нам unsigned long long, то для 2^n нет более широкого типа, как эту ситуацию компилятор разрулит? Обрежет и сделает 0?

@DrOffset · 22.01.2016, 19:18

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

Какой тип должен быть у i?

unsigned int

The type of the result is the type of the promoted operand.

Новые блоги и статьи Все статьи Все блоги /
Модель микоризы: классовый агентный подход 3 anaschu 06.01.2026 aa0a7f55b50dd51c5ec569d2d10c54f6/ O1rJuneU_ls https:/ / vkvideo. ru/ video-115721503_456239114	Owen Logic: О недопустимости использования связки «аналоговый ПИД» + RegKZR ФедосеевПавел 06.01.2026 Owen Logic: О недопустимости использования связки «аналоговый ПИД» + RegKZR ВВЕДЕНИЕ Введу сокращения: аналоговый ПИД — ПИД регулятор с управляющим выходом в виде числа в диапазоне от 0% до. . .	Модель микоризы: классовый агентный подход 2 anaschu 06.01.2026 репозиторий https:/ / github. com/ shumilovas/ fungi ветка по-частям. коммит Create переделка под биомассу. txt вход sc, но sm считается внутри мицелия. кстати, обьем тоже должен там считаться. . . .	Расчёт токов в цепи постоянного тока igorrr37 05.01.2026 / * Дана цепь постоянного тока с сопротивлениями и напряжениями. Надо найти токи в ветвях. Программа составляет систему уравнений по 1 и 2 законам Кирхгофа и решает её. Последовательность действий:. . .
Новый CodeBlocs. Версия 25.03 palva 04.01.2026 Оказывается, недавно вышла новая версия CodeBlocks за номером 25. 03. Когда-то давно я возился с только что вышедшей тогда версией 20. 03. С тех пор я давно снёс всё с компьютера и забыл. Теперь. . .	Модель микоризы: классовый агентный подход anaschu 02.01.2026 Раньше это было два гриба и бактерия. Теперь три гриба, растение. И на уровне агентов добавится между грибами или бактериями взаимодействий. До того я пробовал подход через многомерные массивы,. . .	Советы по крайней бережливости. Внимание, это ОЧЕНЬ длинный пост. Programma_Boinc 28.12.2025 Советы по крайней бережливости. Внимание, это ОЧЕНЬ длинный пост. Налог на собак: https:/ / ********/ gallery/ V06K53e Финансовый отчет в Excel: https:/ / ********/ gallery/ bKBkQFf Пост отсюда. . .	Кто-нибудь знает, где можно бесплатно получить настольный компьютер или ноутбук? США. Programma_Boinc 26.12.2025 Нашел на реддите интересную статью под названием Anyone know where to get a free Desktop or Laptop? Ниже её машинный перевод. После долгих разбирательств я наконец-то вернула себе. . .

@ct0r Игогошка! 1801 / 708 / 44 Регистрация: 19.08.2012 Сообщений: 1,367

	Зависит ли от платформы значение выражения -1u, при размере типа, равном 32 бита? 22.01.2016, 17:46. Показов 2612. Ответов 33 Метки нет (Все метки) Кто как думает, значение выражения -1u зависит от платформы или нет? 1

@GbaLog- Любитель чаепитий 3745 / 1801 / 566 Регистрация: 24.08.2014 Сообщений: 6,020 Записей в блоге: 1
	22.01.2016, 17:48
	ct0r, А что это вообще значит? Я просто не бум-бум. 0

@Kastaneda 5232 / 3205 / 362 Регистрация: 12.12.2009 Сообщений: 8,143 Записей в блоге: 2
	22.01.2016, 17:53
	ct0r, ну размер точно зависит. Или вопрос как оно интерпретируется компилятором? 0

@GbaLog- Любитель чаепитий 3745 / 1801 / 566 Регистрация: 24.08.2014 Сообщений: 6,020 Записей в блоге: 1
	22.01.2016, 18:04
	Так может кто-нибудь объяснит мне что это за выражение? Мне для повышения кругозора, гугл молчит. Ну или хоть дайте подсказку что именно гуглить. 0

@Kastaneda 5232 / 3205 / 362 Регистрация: 12.12.2009 Сообщений: 8,143 Записей в блоге: 2
	22.01.2016, 18:09
	makfak, http://en.cppreference.com/w/c... er_literal про -1 надеюсь не надо ссылку? Добавлено через 57 секунд ct0r, Кликните здесь для просмотра всего текста может быть просто 1? 1

@GbaLog- Любитель чаепитий 3745 / 1801 / 566 Регистрация: 24.08.2014 Сообщений: 6,020 Записей в блоге: 1
	22.01.2016, 18:12
	А, так это литерал, всё, понял. А я думал что-то интересное. 0

@GbaLog- Любитель чаепитий 3745 / 1801 / 566 Регистрация: 24.08.2014 Сообщений: 6,020 Записей в блоге: 1
	22.01.2016, 18:21
	ct0r, u - литерал unsigned. -1u - это попытка преобразования знакового числа в беззнаковое число, что само по себе UB, ну это я так думаю, хотя нет, не только я, мой компилятор тоже. 0

@ct0r Игогошка! 1801 / 708 / 44 Регистрация: 19.08.2012 Сообщений: 1,367
	22.01.2016, 18:29 [ТС]
	makfak, ваши 2 голоса записаны Шухер, Croessmah смотрит тему, вангую выдержки из стандарта или типа того 2

@Kastaneda
	22.01.2016, 18:57
	Не по теме: ct0r, оказалось "типа того" :D 0

@Kastaneda 5232 / 3205 / 362 Регистрация: 12.12.2009 Сообщений: 8,143 Записей в блоге: 2
	22.01.2016, 18:59
	DrOffset, но тут по сути сказано, что -1 это 0xFFFFFFFF, т.е. очевидная вещь. 0