warning C4146: unary minus operator applied to unsigned type, result still unsigned

@eva2326 · Регистрация: 17.05.2015

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

Всем привет!

В чем сакральный смыл этого странного предупреждения?

https://rextester.com/UPM18253

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
#include <iostream>
#include <climits>
#include <cstdint>
#include <string>
 
int main()
{
    std::int64_t v1 = -9223372036854775808; //warning
    std::cout << v1 << '\n';
 
    std::int64_t v2 = -9223372036854775807 - 1; // ok
    std::cout << v2 << '\n';
    
    std::cout << INT64_MIN << '\n'; // ok
 
    std::cout << std::numeric_limits<std::int64_t>::min() << '\n';     // ok
}

Code
1
2
3
4
5
6
7
8
9
1886723026/source.cpp:9:24: warning: integer literal is too large to be represented in a signed integer type,
interpreting as unsigned [-Wimplicitly-unsigned-literal]
    std::int64_t v1 = -9223372036854775808;
                       ^
1 warning generated.
-9223372036854775808
-9223372036854775808
-9223372036854775808
-9223372036854775808

@CRTP · 10.03.2021, 20:02

eva2326, студия вообще не компилирует

Ошибка C4146 применение унарного минуса к типу без знака; результат оставлен без знака

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

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

В чем сакральный смыл этого странного предупреждения?

типа 9223372036854775808 это не int64_t а uint64_t

@TheCalligrapher · 10.03.2021, 20:23

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

студия вообще не компилирует

Студия компилирует, как и должна. А вот как вы сумели превратить это предупреждение в ошибку - надо у вас спрашивать.

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

В чем сакральный смыл этого странного предупреждения?

"Ноги растут" их того факта, что 9223372036854775808 на вашей платформе - целочисленный литерал без суффикса, который не помещается в самый большой знаковый тип. Это раньше (C++03) было неопределенным поведением, а потом (C++11) стало ошибкой. VS по-старинке разрешает эту ситуацию в качестве расширения языка в пользу интерпретации данного значения как беззнакового (как это делалось в C89/90).

А далее уже идет предупреждение. Смысл которого именно в том, что черным по белому написано текстом. Унарный минус не дает отрицательного значения, возможно вопреки ожиданиям автора кода.

@CRTP · 10.03.2021, 20:27

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

Студия компилирует, как и должна. А вот как вы сумели превратить это предупреждение в ошибку - надо у вас спрашивать.

Объясни пожалуйста, как заставить студию компилировать код с данной ошибкой?

@TheCalligrapher · 10.03.2021, 20:40

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

Объясни пожалуйста, как заставить студию компилировать код с данной ошибкой?

Еще раз: вы специально сидели и настраивали студию, чтобы выжать из нее ошибку, вместо предупреждения. Это не сложно и может быть сделано разными способами. После чего зачем-то представляете результаты этой настройки здесь.

Никакого "объясни пожалуйста" здесь нет. Здесь есть другое: всякий раз когда вы корежите поведение студии для подтасовки результата и публикуете результаты компиляции в форуме, не забывайте забывайте сами указать, что именно вы сделали, не дожидаясь чьих либо наводящих вопросов. Спасибо.

---

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

В чем сакральный смыл этого странного предупреждения?

На самом деле язык С++ уже давно считает такой код ill-formed, то есть это ошибка, а не предупреждение. Но суть этой ошибки не в применении оператора -, а в том, что литерал не помещается в диапазон.

Как видите ваш Clang реализует то же самое расширение, что и Студия: вместо выдачи ошибки интерпретирует литерал, как беззнаковый.

@CRTP · 10.03.2021, 20:42

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

Еще раз: вы специально сидели и настраивали студию, чтобы выжать из нее ошибку, вместо предупреждения. Это не сложно и может быть сделано разными способами. После чего зачем-то представляете результаты этой настройки здесь.
Никакого "объясни пожалуйста" здесь нет. Здесь есть другое: всякий раз когда вы корежите поведение студии для подтасовки результата и публикуете результаты компиляции в форуме, не забывайте сами указать, что именно вы сделали, не дожидаясь чьих либо вопросов.

Ничего я не менял, только /W4

@TheCalligrapher · 10.03.2021, 20:46

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

Ничего я не менял, только /W4

Ну так. Очевидный первый подозреваемый - наш старый знакомый SDL Checks. Как уже сто раз объяснялось, если в проекте включены SDL Checks, то многие бывшие warnings превращаются в errors. Этот тоже.

Что прикольно, так это то, что в данном случае студия права, как я уже заметил выше: код ошибочен. Но дело не в -. И GCC, и Clang выдадут ошибку с -pedantic-errors.

@eva2326 · 10.03.2021, 20:50 **[ТС]**

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

типа 9223372036854775808

У меня не "типа 9223372036854775808", у меня конкретно: "-9223372036854775808"
Если вы обратили внимание: оно отрицательное.
А значит должно быть знаковым - int64_t
Не?

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

"Ноги растут" их того факта, что 9223372036854775808 на вашей платформе - целочисленный литерал без суффикса, который не помещается в самый большой знаковый тип.

Какое это имеет отношение к отрицательному числу -9223372036854775808 ?
Отрицательное число же помещается в знаковый тип.
В чем проблема?

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

Это раньше (C++03) было неопределенным поведением, а потом (C++11) стало ошибкой. VS по-старинке разрешает эту ситуацию в качестве расширения языка

Вообще то, это не только VS, любые компиляторы (gcc/clang) ведут себя точно так же.

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

Объясни пожалуйста, как заставить студию компилировать код с данной ошибкой?

Как то так

У вас просто так выставлены настройки проекта, что он некоторые предупреждения интерпретирует, как ошибки.

@TheCalligrapher · 10.03.2021, 20:55

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

Если вы обратили внимание: оно отрицательное.

В С++ не существует отрицательных литералов. В грамматике такого понятия нет вообще. Так что никакого "оно отрицательное" тут нет.

Литералы в С++ всегда положительны. А ваш - - это уже выражение, оператор "унарный -" примененный к положительному литералу.

Поэтому при рассмотрении литерала никакого минуса во внимание не принимается. Компилятор видит только 9223372036854775808. А это значение не помещается ни в один знаковый тип. Формально это ошибка. Фактически многие компиляторы реализуют расширение, интерпретирующее этот литерал, как беззнаковый.

@CRTP · 10.03.2021, 20:55

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

Ну так. Очевидный первый подозреваемый - наш старый знакомый SDL Checks.

да дело в нем.

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

вы специально сидели и настраивали студию, чтобы выжать из нее ошибку, вместо предупреждения.

ты видимо давненько студию не устанавливал, а этот флаг автоматически включается при создании проекта в VS2019.

@TheCalligrapher · 10.03.2021, 20:56

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

Вообще то, это не только VS, любые компиляторы (gcc/clang) ведут себя точно так же.

Прекрасно. Еще раз: это расширение языка, растущее еще из C89/90.

Формально же ни язык С, ни язык С++ не разрешают интерпретировать десятичные литералы без суффикса как беззнаковые.

@eva2326 · 10.03.2021, 20:57 **[ТС]**

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

Но суть этой ошибки не в применении оператора -, а в том, что литерал не помещается в диапазон.

Смущает эта фраза.

Литерал: -9223372036854775808 - это отрицательное число, которое подразумевает знаковый тип данных, или это без знаковое число, который подразумевает без знаковый тип данных, к которому дополнительно применяется "оператор минус" ?

Ответ на вопрос уже был дан здесь

TheCalligrapher, большое спасибо!

@TheCalligrapher · 10.03.2021, 20:59

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

Литерал: -9223372036854775808 - это отрицательное число,

Еще раз повторяю: ни в С, ни в С++ не существует "литерала -9223372036854775808". Литерал не может начинаться с -.

Литерал здесь 9223372036854775808. А - - это совершенно отдельная сущность: оператор "унарный -", примененный к литералу. То есть -9223372036854775808 - это уже не литерал, а составная сущность: константное выражение.

Это же одна из самых известных фишек языка: почему, например, значение INT_MIN записывается не явно, а через "-что-то - 1". Вот именно по этой причине.

@CRTP · 10.03.2021, 21:02

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

Ответ на вопрос уже был дан здесь

а я думал здесь

Новые блоги и статьи Все статьи Все блоги /
SDL3 для Web (WebAssembly): Реализация движения на Box2D v3 - трение и коллизии с повёрнутыми стенами 8Observer8 20.02.2026 Содержание блога Box2D позволяет легко создать главного героя, который не проходит сквозь стены и перемещается с заданным трением о препятствия, которые можно располагать под углом, как верхнее. . .	Конвертировать закладки radiotray-ng в m3u-плейлист damix 19.02.2026 Это можно сделать скриптом для PowerShell. Использование . \СonvertRadiotrayToM3U. ps1 <path_to_bookmarks. json> Рядом с файлом bookmarks. json появится файл bookmarks. m3u с результатом. # Check if. . .	Семь CDC на одном интерфейсе: 5 U[S]ARTов, 1 CAN и 1 SSI Eddy_Em 18.02.2026 Постепенно допиливаю свою "многоинтерфейсную плату". Выглядит вот так: https:/ / www. cyberforum. ru/ blog_attachment. php?attachmentid=11617&stc=1&d=1771445347 Основана на STM32F303RBT6. На борту пять. . .	Камера Toupcam IUA500KMA Eddy_Em 12.02.2026 Т. к. у всяких "хикроботов" слишком уж мелкий пиксель, для подсмотра в ESPriF они вообще плохо годятся: уже 14 величину можно рассмотреть еле-еле лишь на экспозициях под 3 секунды (а то и больше),. . .
И ясному Солнцу zbw 12.02.2026 И ясному Солнцу, и светлой Луне. В мире покоя нет и люди не могут жить в тишине. А жить им немного лет.	«Знание-Сила» zbw 12.02.2026 «Знание-Сила» «Время-Деньги» «Деньги -Пуля»	SDL3 для Web (WebAssembly): Подключение Box2D v3, физика и отрисовка коллайдеров 8Observer8 12.02.2026 Содержание блога Box2D - это библиотека для 2D физики для анимаций и игр. С её помощью можно определять были ли коллизии между конкретными объектами и вызывать обработчики событий столкновения. . . .	SDL3 для Web (WebAssembly): Загрузка PNG с прозрачным фоном с помощью SDL_LoadPNG (без SDL3_image) 8Observer8 11.02.2026 Содержание блога Библиотека SDL3 содержит встроенные инструменты для базовой работы с изображениями - без использования библиотеки SDL3_image. Пошагово создадим проект для загрузки изображения. . .

warning C4146: unary minus operator applied to unsigned type, result still unsigned

Решение