Nano Hash - криптовалюты, майнинг, программирование

Почему эта программа автоматически преобразует результат в INT_MIN вместо целочисленного переполнения?

Я не понимаю, почему результат конвертируется в INT_MIN вместо целочисленного переполнения? Любые идеи?

#include <stdio.h>

int ft_atoi(const char *str)
{
    int sign;
    int result;

    sign = 1;
    result = 0;
    while (*str == 32 || (*str >= 9 && *str <= 13))
        str++;
    if (*str == '+')
        str++;
    else if (*str == '-')
    {
        sign = -1;
        str++;
    }
    while (*str >= '0' && *str <= '9')
    {
        printf("before: %d\n", result);
        result = (result * 10) + *str - '0';
        printf("after: %d\n", result);
        str++;
    }
    return (sign * result);
}

int main(void)
{
    printf("%d\n", ft_atoi("-2147483648"));
    return (0);
}

Результат:
e1z2r7p5% ./a.out
до: 0
после: 2
до: 2
после: 21
до: 21
после: 214
до: 214
после: 2147
до: 2147
после: 21474
до: 21474
после: 214748
до: 214748
после: 2147483
до : 2147483
после: 21474836
до: 21474836
после: 214748364
до: 214748364
после: -2147483648
-2147483648

17.12.2019

  • Что вы ожидаете от целочисленного переполнения? 17.12.2019
  • Знаковое целочисленное переполнение - неопределенное поведение. 17.12.2019
  • Вы пытаетесь понять неопределенное поведение. Неопределенный смысл, все могло случиться. 17.12.2019
  • Чтобы подробнее рассказать о том, что @EugeneSh. сказал, это означает, что он может переполниться до INT_MIN или другого значения. Это зависит от компилятора / оборудования. 17.12.2019
  • 2147483640 + 8 = -2147483648 на вашей платформе, это ожидаемое поведение целочисленного переполнения с 32-битными типами чисел со знаком на большинстве платформ. То же самое для -2147483648 * -1 = -2147483648. Умножение на -1 - здесь идемпотентная операция, увлекательная, не правда ли? ;) 17.12.2019
  • Связанный: Почему определено целочисленное переполнение без знака поведение, но целочисленное переполнение со знаком - нет?. 17.12.2019
  • Что касается дубликатов ... есть полудурная Как объяснить неопределенное поведение всезнайкам?. 17.12.2019
  • О каком случае переполнения идет речь? Последний result = (result * 10) + *str - '0'; или sign * result? 17.12.2019
  • Целочисленное переполнение в этом особом случае приводит к возникновению INT_MIN, но вам следует попробовать несколько различных входных данных, которые приводят к целочисленному переполнению, чтобы убедить себя, что это не приведет к возникновению INT_MIN для всех таких входных данных. (Ну, это может, потому что это неопределенное поведение, но не в большинстве реализаций.) 17.12.2019
  • @FedericoklezCulloca: «Не определено» в контексте стандарта C не означает, что что-то может случиться. Это означает, что стандарт C не предъявляет никаких требований. Стандарт C не может сказать, что что-либо может случиться, потому что он не может аннулировать любые другие спецификации. Другими словами, он может только добавлять требования; он не может убрать требования. 17.12.2019
  • @EricPostpischil Я должен был указать, что это форма речи, хотя обычно ее хорошо понимают, когда мы говорим о неопределенном поведении. Вы первый указываете мне на это. Я буду иметь это в виду, когда в следующий раз буду говорить о UB. 17.12.2019

Ответы:


1

Полезно помнить, что знаковое целое число использует самый старший (крайний левый ...) бит как знаковый бит: 0 положительно, 1 отрицательно. Если вы «прибавите единицу» к 32-битному целому числу 0x7FFFFFFF (все биты включены, кроме крайнего левого), вы, вероятно, получите 0x80000000 (крайний левый бит включен, все остальные равны нулю), что, поскольку крайний левый бит сейчас горит, рассматривается как «отрицательный». И вы можете не получить исключение «целочисленное переполнение».

17.12.2019
  • Хотя это, вероятно, самая распространенная реализация целых чисел со знаком, она все еще зависит от реализации. Стандарт C оставляет способ представления целого числа со знаком до реализации. 18.12.2019
  • Новые материалы

    Кластеризация: более глубокий взгляд
    Кластеризация — это метод обучения без учителя, в котором мы пытаемся найти группы в наборе данных на основе некоторых известных или неизвестных свойств, которые могут существовать. Независимо от..

    Как написать эффективное резюме
    Предложения по дизайну и макету, чтобы представить себя профессионально Вам не позвонили на собеседование после того, как вы несколько раз подали заявку на работу своей мечты? У вас может..

    Частный метод Python: улучшение инкапсуляции и безопасности
    Введение Python — универсальный и мощный язык программирования, известный своей простотой и удобством использования. Одной из ключевых особенностей, отличающих Python от других языков, является..

    Как я автоматизирую тестирование с помощью Jest
    Шутка для победы, когда дело касается автоматизации тестирования Одной очень важной частью разработки программного обеспечения является автоматизация тестирования, поскольку она создает..

    Работа с векторными символическими архитектурами, часть 4 (искусственный интеллект)
    Hyperseed: неконтролируемое обучение с векторными символическими архитектурами (arXiv) Автор: Евгений Осипов , Сачин Кахавала , Диланта Хапутантри , Тимал Кемпития , Дасвин Де Сильва ,..

    Понимание расстояния Вассерштейна: мощная метрика в машинном обучении
    В обширной области машинного обучения часто возникает необходимость сравнивать и измерять различия между распределениями вероятностей. Традиционные метрики расстояния, такие как евклидово..

    Обеспечение масштабируемости LLM: облачный анализ с помощью AWS Fargate и Copilot
    В динамичной области искусственного интеллекта все большее распространение получают модели больших языков (LLM). Они жизненно важны для различных приложений, таких как интеллектуальные..