Зависит ли от платформы значение выражения -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.

Новые блоги и статьи Все статьи Все блоги /
Модель микоризы: классовый агентный подход anaschu 02.01.2026 Раньше это было два гриба и бактерия. Теперь три гриба, растение. И на уровне агентов добавится между грибами или бактериями взаимодействий. До того я пробовал подход через многомерные массивы,. . .	Учёным и волонтёрам проекта «Einstein@home» удалось обнаружить четыре гамма-лучевых пульсара в джете Млечного Пути Programma_Boinc 01.01.2026 Учёным и волонтёрам проекта «Einstein@home» удалось обнаружить четыре гамма-лучевых пульсара в джете Млечного Пути Сочетание глобально распределённой вычислительной мощности и инновационных. . .	Советы по крайней бережливости. Внимание, это ОЧЕНЬ длинный пост. 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? Ниже её машинный перевод. После долгих разбирательств я наконец-то вернула себе. . .	Thinkpad X220 Tablet — это лучший бюджетный ноутбук для учёбы, точка. Programma_Boinc 23.12.2025 Рецензия / Мнение/ Перевод Нашел на реддите интересную статью под названием The Thinkpad X220 Tablet is the best budget school laptop period . Ниже её машинный перевод. Thinkpad X220 Tablet —. . .
PhpStorm 2025.3: WSL Terminal всегда стартует в ~ and_y87 14.12.2025 PhpStorm 2025. 3: WSL Terminal всегда стартует в ~ (home), игнорируя директорию проекта Симптом: После обновления до PhpStorm 2025. 3 встроенный терминал WSL открывается в домашней директории. . .	Как объединить две одинаковые БД Access с разными данными VikBal 11.12.2025 Помогите пожалуйста !! Как объединить 2 одинаковые БД Access с разными данными.	Новый ноутбук volvo 07.12.2025 Всем привет. По скидке в "черную пятницу" взял себе новый ноутбук Lenovo ThinkBook 16 G7 на Амазоне: Ryzen 5 7533HS 64 Gb DDR5 1Tb NVMe 16" Full HD Display Win11 Pro	Музыка, написанная Искусственным Интеллектом volvo 04.12.2025 Всем привет. Некоторое время назад меня заинтересовало, что уже умеет ИИ в плане написания музыки для песен, и, собственно, исполнения этих самых песен. Стихов у нас много, уже вышли 4 книги, еще 3. . .	От async/await к виртуальным потокам в Python IndentationError 23.11.2025 Армин Ронахер поставил под сомнение async/ await. Создатель Flask заявляет: цветные функции - провал, виртуальные потоки - решение. Не threading-динозавры, а новое поколение лёгких потоков. Откат?. . .

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

	Зависит ли от платформы значение выражения -1u, при размере типа, равном 32 бита? 22.01.2016, 17:46. Показов 2604. Ответов 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