Предположим, что есть два целых числа (int x, y;).x отрицательное, а y = 0x80000000.
Почему (x - y) не переполняется, а x + (-y) переполняется?
Разве компьютер не выполняет вычитание путем сложения?
Вычитание без переполнения?
08.06.2012
- Откуда вы знаете, что это так? 08.06.2012
- Компьютерные системы, взгляд программиста на решение проблемы 2.32 (стр. 87) ...мы будем иметь -y, также равное TMin, и поэтому функция tadd_ok будет считать отрицательное переполнение в любое время, когда x отрицательно. На самом деле x-y не переполняется для этих случаев... 08.06.2012
Ответы:
1
Чтобы ответить на ваш первый вопрос, 0x80000000 (-2 147 483 648) представляет минимальное 32-битное значение для целых чисел со знаком. 2 147 483 647 — максимальное значение. Величина максимального значения на единицу меньше величины минимального значения при сохранении с использованием дополнения до двух. Взять только (-y) невозможно, так как оно превышает максимальное значение (на 1). Окончательное целочисленное значение (x-y) находится в диапазоне (учитывая, что x отрицательное) и может быть представлено 32-битным целым числом.
Чтобы ответить на ваш второй вопрос, вычитание достигается путем преобразования числа, которое нужно вычесть, в его аддитивную инверсию. Учитывая возможность переполнения в этой ситуации, ваш компилятор может получить правильный результат для (x-y), выполнив -((-x)+y). Однако это чистое предположение (это единственный способ сделать это безопасно).
08.06.2012
Новые материалы
Кластеризация: более глубокий взгляд
Кластеризация — это метод обучения без учителя, в котором мы пытаемся найти группы в наборе данных на основе некоторых известных или неизвестных свойств, которые могут существовать. Независимо от..
Как написать эффективное резюме
Предложения по дизайну и макету, чтобы представить себя профессионально
Вам не позвонили на собеседование после того, как вы несколько раз подали заявку на работу своей мечты? У вас может..
Частный метод Python: улучшение инкапсуляции и безопасности
Введение
Python — универсальный и мощный язык программирования, известный своей простотой и удобством использования. Одной из ключевых особенностей, отличающих Python от других языков, является..
Как я автоматизирую тестирование с помощью Jest
Шутка для победы, когда дело касается автоматизации тестирования
Одной очень важной частью разработки программного обеспечения является автоматизация тестирования, поскольку она создает..
Работа с векторными символическими архитектурами, часть 4 (искусственный интеллект)
Hyperseed: неконтролируемое обучение с векторными символическими архитектурами (arXiv)
Автор: Евгений Осипов , Сачин Кахавала , Диланта Хапутантри , Тимал Кемпития , Дасвин Де Сильва ,..
Понимание расстояния Вассерштейна: мощная метрика в машинном обучении
В обширной области машинного обучения часто возникает необходимость сравнивать и измерять различия между распределениями вероятностей. Традиционные метрики расстояния, такие как евклидово..
Обеспечение масштабируемости LLM: облачный анализ с помощью AWS Fargate и Copilot
В динамичной области искусственного интеллекта все большее распространение получают модели больших языков (LLM). Они жизненно важны для различных приложений, таких как интеллектуальные..