Как отловить переполнение границ типа (INT)?

@Izual · Регистрация: 13.11.2012

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

Сразу напишу пример для наглядности:

C++
1
2
3
4
5
int fx = -2147483648
if(fx == -fx)
{
 //ляляля
}

В 32 битах максимум и минимум int имеет границы: -2147483648 до 2147483647, в показанном примере естественным образом должна была бы быть ошибка(хотя бы уведомление), но его нет... Как отлавливать такие вот не корректные моменты?

И это лишь один момент из интересующих который выведет не верный результат...
Ещё один:

C++
1
2
3
int fx = 2147483646
int fy = 20;
int fz = fx+fy;

Как бороться?..
Читал что некоторые создают особый тип (эквивалентный например 64 битному), т.к. границы будут дальше, то и результат можно будет сравнить полученное число с текущим, однако всё же границы останутся (теперь на пороге 64 битного числа), и подобный метод не подойдёт, т.к. за границы всё равно может выйти число. Так как в арифметических операциях предотвратить подобное?
П.С. желательно чтоб примеры\инфа была бы применима в динамических переменных, т.е. на этап уже запуска без среды программирования. (собственно из уже получившейся программы)

@castaway · 23.02.2015, 21:48

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

Разве конструкция try/catch/throw которая при использовании stl не создана ли для борьбы с exceptions?.. Чем и должно является арифметическое переполнение типа.

Мало того что ты не понимаешь о чём говоришь, так ты еще и цитату от нужного пользователя оставить не можешь.

hoggy, не хочу с тобой ругаться/спорить (ты вроде здраво мыслишь), но, по-моему, ТС имеет в виду всё-таки немного другое.

@Izual · 23.02.2015, 21:55 **[ТС]**

Не по теме:

castaway, не пиши в этом топике. Выйди и не заходи. Если ты не понимаеш русским языком - то я позову администрацию.

@castaway · 23.02.2015, 22:02

Не по теме:

Izual, больше не создавай темы в разделах C++. Я администрацию звать не буду, просто не создавай их и всё.

@_Ivana · 23.02.2015, 22:03

Не по теме:

Кстати, любопытно было бы узнать мнение и реакцию администрации на такие темы и общение ТС в подобном тоне. Это помогло бы сформировать мнение о границах допустимого на этом форуме. Или переход этих границ здесь не отлавливается точно так же как и переполнение в С++? :)

ЗЫ про не "понимаеш русским" надо в юмор, собственно, как и все остальное от ТС.

@Renji · 23.02.2015, 22:17

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

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

Культовый X-COM, видимо, писали не качественные программисты. Потому как баг с арифметическим переполнением параметров солдат там был.

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

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

1) Задавать такие рамки, чтоб даже после перемножения все влезало.
2) Использовать double который переполнить практически нереально. Зато ошибки округления там могут возникнуть.
3) Таки писать свой класс для чисел.

@castaway · 23.02.2015, 22:50

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

Культовый X-COM, видимо, писали не качественные программисты. Потому как баг с арифметическим переполнением параметров солдат там был.

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

@Izual · 24.02.2015, 03:40 **[ТС]**

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

Задавать такие рамки, чтоб даже после перемножения все влезало

Так и сделаю через функции для арифметических операций.
Решил создать проверку по разрядности, брать экстремум суммы разрядов при определённой операции делать проверку на корректность выполнения арифметики с контролем. Естественно ручками придётся писать все return возвраты.
Например:
99 999 + 99 999 < 200 000 (кратное число относительно +1 разряда)
99 999 * 9 < 999 999 (сумма разрядов)
...

@kravam · 25.02.2015, 17:20

Не по теме:

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

Кстати, любопытно было бы узнать мнение и реакцию администрации на такие темы и общение ТС в подобном тоне.

нормально всё. Вопрос, может и не решится, но разговор явно не глупый. Не без некотрого холивара, ну да пусть его.

@planetoxod · 25.02.2015, 23:40

if ((a+b)<0) and(a>0)and(b>0) then исключение
if ((a+b)>0) and(a<0)and(b<0) then исключение
ну и т.д.

@kalivan_kalyamb · 28.09.2019, 18:44

механизм в моей реализации

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
#include <iostream>
#include <string>
 
using namespace std;
 
class A
{
    long r, MAX;
public:
    A()
    {
        r = 0;
        MAX = 2147483647;
    }
    void trans(string a)
    {
        try {
            for (int i = a.length() - 1, k = 1; i >= 0; i--, k *= 10)
            {
                if (a.length() > 10)
                {
                    throw 0;
                }
                else if (a.length() == 10)
                {
                    if (a[0] == '3' || a[0] == '4' || a[0] == '5' || a[0] == '6' || a[0] == '7' || a[0] == '8' || a[0] == '9')
                    {
                        throw 0;
                    }
                    else if (a[0] == '2')
                    {
                        if (a[1] == '2' || a[1] == '3' || a[1] == '4' || a[1] == '5' || a[1] == '6' || a[1] == '7' || a[1] == '8' || a[1] == '9')
                        {
                            throw 0;
                        }
                        else if (a[1] == '1')
                        {
                            if (a[2] == '5' || a[2] == '6' || a[2] == '7' || a[2] == '8' || a[2] == '9')
                            {
                                throw 0;
                            }
                            else if (a[2] == '4')
                            {
                                if (a[3] == '8' || a[3] == '9')
                                {
                                    throw 0;
                                }
                                else if (a[3] == '7')
                                {
                                    if (a[4] == '5' || a[4] == '6' || a[4] == '7' || a[4] == '8' || a[4] == '9')
                                    {
                                        throw 0;
                                    }
                                    else if (a[4] == '4')
                                    {
                                        if (a[5] == '9')
                                        {
                                            throw 0;
                                        }
                    //От - 2 147 483 648 до 2 147 483 647
                                        else if (a[5] == '8')
                                        {
                                            if (a[6] == '4' || a[6] == '5' || a[6] == '6' || a[6] == '7' || a[6] == '8' || a[6] == '9')
                                            {
                                                throw 0;
                                            }
                                            else if (a[6] == '3')
                                            {
                                                if (a[7] == '7' || a[7] == '8' || a[7] == '9')
                                                {
                                                    throw 0;
                                                }
                                                else if (a[7] == '6')
                                                {
                                                    if (a[8] == '5' || a[8] == '6' || a[8] == '7' || a[8] == '8' || a[8] == '9')
                                                    {
                                                        throw 0;
                                                    }
                                                    else if (a[8] == '4')
                                                    {
                                                        if (/*a[6] == '8' || */a[9] == '9')
                                                        {
                                                            throw 0;
                                                        }
                                                    }
                                                }
                                            }
                                        }
                                    }
                                }
                            }
                        }
                    }
                }
                else if (a[i] == '0')
                {
 
                }
                else if (a[i] == '1')
                {
                    r = r + 1 * k;
                }
                else if (a[i] == '2')
                {
                    r = r + 2 * k;
                }
                else if (a[i] == '3')
                {
                    r = r + 3 * k;
                }
                else if (a[i] == '4')
                {
                    r = r + 4 * k;
                }
                else if (a[i] == '5')
                {
                    r = r + 5 * k;
                }
                else if (a[i] == '6')
                {
                    r = r + 6 * k;
                }
                else if (a[i] == '7')
                {
                    r = r + 7 * k;
                }
                else if (a[i] == '8')
                {
                    r = r + 8 * k;
                }
                else if (a[i] == '9')
                {
                    r = r + 9 * k;
                }
                cout << r << "<-----------" << endl;
            }
        }
        catch (int)
        {
            system("cls");
            cout << "ERROR" << endl;
            system("pause");
            exit(0);
        }
    }
};
 
void main()
{
 
    A obj;
    obj.trans("2147489647");
 
 
    system("pause");
}

Новые блоги и статьи Все статьи Все блоги /
Алиса нашла кучу ошибок компиляции и запуска в проекте, который без проблем компилировался и запускался))) anaschu 30.06.2026 Я пока посмеюся, но завтра проверю. А вообще интерсно. Дал алисе файл, в котором точно нет ошибок компиляции и запуска, и попросил их найти. Нашла кучу))) Критические ошибки, мешающие компиляции и. . .	сукцессия 16. Общий обзор, в основном что бы другие ии поняли anaschu 29.06.2026 # Передаточный документ: модель микоризной сукцессии (для нового чата) Этот документ предназначен для того, чтобы новый чат Claude мог продолжить работу без необходимости заново разбираться в. . .	сукцессия 15 неявная схема anaschu 29.06.2026 Алиса Калибровка параметров симбиотической модели: технический обзор Содержание: Введение Постановка проблемы Технические аспекты реализации Процесс внедрения изменений	сукцессия 14. Обновленная схема модели anaschu 28.06.2026 ГЛОБАЛЬНАЯ ОПИСАТЕЛЬНАЯ СПЕЦИФИКАЦИЯ ЭКОСИСТЕМНОЙ МОДЕЛИ «SOIL CHEMISTRY & MYCORRHIZA 2. 0» https:/ / ibb. co/ NnkGpfMd Представленная интегрированная схема описывает непрерывную нелинейную. . .
сукцессия 13. Питон модель трехзонного мицелия, пока что в основном арбускулярного anaschu 28.06.2026 ## Разработка агентной модели микоризной сукцессии: от выявления артефактов к созданию комплексной системы ### Аннотация Представлено исследование по разработке агентной модели микоризной. . .	сукцессия 12. краткий список проверок модели перед запуском. anaschu 27.06.2026 Скрытые отказы в моделях систем динамики (SD-models) экологических систем: два случая из практики Контекст Разбирался прототип модели систем динамики (SD-модели) микоризной сукцессии: пять. . .	Сукцессия 11. Проверка орудий перед войной: разработка через тестирование anaschu 27.06.2026 Как не дать модели соврать самой себе: проверки для симуляции микоризной сукцессии Введение Когда вы строите математическую модель живой системы — грибов, растений, почвы — главная опасность. . .	10 сукцессия. Питон код войны грибов и растений anaschu 27.06.2026 import numpy as np class PlantAgent: def __init__(self, name, strategy, initial_biomass): self. name = name self. strategy = strategy # "greedy" (широколиственные) или. . .

@Izual
	23.02.2015, 21:55 [ТС]
	Не по теме: castaway, не пиши в этом топике. Выйди и не заходи. Если ты не понимаеш русским языком - то я позову администрацию. 0

@castaway
	23.02.2015, 22:02
	Не по теме: Izual, больше не создавай темы в разделах C++. Я администрацию звать не буду, просто не создавай их и всё. 0

@_Ivana
	23.02.2015, 22:03
	Не по теме: Кстати, любопытно было бы узнать мнение и реакцию администрации на такие темы и общение ТС в подобном тоне. Это помогло бы сформировать мнение о границах допустимого на этом форуме. Или переход этих границ здесь не отлавливается точно так же как и переполнение в С++? :) ЗЫ про не "понимаеш русским" надо в юмор, собственно, как и все остальное от ТС. 0

@planetoxod 251 / 162 / 24 Регистрация: 22.08.2014 Сообщений: 1,598 Записей в блоге: 1
	25.02.2015, 23:40
	if ((a+b)<0) and(a>0)and(b>0) then исключение if ((a+b)>0) and(a<0)and(b<0) then исключение ну и т.д. 0