Форум программистов, компьютерный форум, киберфорум
C++
Войти
Регистрация
Восстановить пароль
Блоги Сообщество Поиск Заказать работу  
 
Рейтинг 4.57/14: Рейтинг темы: голосов - 14, средняя оценка - 4.57
║XLR8║
 Аватар для outoftime
1212 / 909 / 270
Регистрация: 25.07.2009
Сообщений: 4,360
Записей в блоге: 5

out_of_range exaptions и условные операторы

26.02.2011, 21:43. Показов 3177. Ответов 17
Метки нет (Все метки)

Студворк — интернет-сервис помощи студентам
Меня интересует следущее: почему этот код не выдает ошибок типа "индекс вне границ массива"
C++
1
if (a[i] > 0) something();
Работа этого кода при превышении границ массива похожа на
C++
1
if (false) something();
Кто-то может обьяснить почему так происходит? Я из-за этого на topcoder-e 4 challenge-a завалил.
0
cpp_developer
Эксперт
20123 / 5690 / 1417
Регистрация: 09.04.2010
Сообщений: 22,546
Блог
26.02.2011, 21:43
Ответы с готовыми решениями:

Решение неравенства используя условные операторы
Помогите,пожалуйста,написать программу.В DevC++.

Вычисления и условные операторы
Разместить на форме 2 компонента Edit для ввода роста и веса пользователя. При нажатии на кнопку программа вычисляет индекс массы тела...

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

17
2 / 2 / 1
Регистрация: 23.02.2011
Сообщений: 13
26.02.2011, 21:50
Всё очень просто: массив в С - это последовательность указателей на нечто типа элементов массива, поэтому при превышении границ диапазона указатель становится "битым" (
C
1
nullptr
), его значение становится эквивалентным нулю (
C
1
false
). Если бы Вы проверяли
C
1
if (a[i]) something();
, то компилятор выдавал бы исключение по выходу за диапазон, а так это ловится только при отладке
1
║XLR8║
 Аватар для outoftime
1212 / 909 / 270
Регистрация: 25.07.2009
Сообщений: 4,360
Записей в блоге: 5
26.02.2011, 21:55  [ТС]

Не по теме:

Во блин, на "человеческом" C# вываливается за милую душу, а на плюсах пашет ппц (:



Добавлено через 1 минуту
Значит код
C++
1
Type a = b[i];
при превышении диапазона будет вываливаться верно?
0
2022 / 1621 / 489
Регистрация: 31.05.2009
Сообщений: 3,005
26.02.2011, 22:39
Ни в С, ни в C++ выход за границы простого массива не контролируется. За этим нужно следить самостоятельно. Для таких контейнеров как std::vector и std::string контроль выхода за границы массива при обращении к элементам через operator[] также не осуществляется, для этих целей используется специальный метод at. Вот этот метод как раз и выбрасывает исключение out_of_range.
1
В астрале
Эксперт С++
 Аватар для ForEveR
8049 / 4806 / 655
Регистрация: 24.06.2010
Сообщений: 10,562
27.02.2011, 01:51
Для таких контейнеров как std::vector и std::string контроль выхода за границы массива при обращении к элементам через operator[] также не осуществляется
Зависит от реализации STL. По стандарту - разрешается, но не везде есть. Пример - MSVS реализация [] в векторе
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
    const_reference operator[](size_type _Pos) const
        {   // subscript nonmutable sequence
 
 #if _HAS_ITERATOR_DEBUGGING
        if (size() <= _Pos)
            {
            _DEBUG_ERROR("vector subscript out of range");
            _SCL_SECURE_OUT_OF_RANGE;
            }
 #endif /* _HAS_ITERATOR_DEBUGGING */
        _SCL_SECURE_VALIDATE_RANGE(_Pos < size());
 
        return (*(_Myfirst + _Pos));
        }
 
    reference operator[](size_type _Pos)
        {   // subscript mutable sequence
 
 #if _HAS_ITERATOR_DEBUGGING
        if (size() <= _Pos)
            {
            _DEBUG_ERROR("vector subscript out of range");
            _SCL_SECURE_OUT_OF_RANGE;
            }
 #endif /* _HAS_ITERATOR_DEBUGGING */
        _SCL_SECURE_VALIDATE_RANGE(_Pos < size());
 
        return (*(_Myfirst + _Pos));
        }
0
2022 / 1621 / 489
Регистрация: 31.05.2009
Сообщений: 3,005
27.02.2011, 02:09
Цитата Сообщение от ForEveR Посмотреть сообщение
По стандарту - разрешается, но не везде есть.
Ссылку на соответствующее место в стандарте неплохо бы увидеть.
Цитата Сообщение от ForEveR Посмотреть сообщение
Пример - MSVS реализация [] в векторе
И это будет работать в релизе?
0
В астрале
Эксперт С++
 Аватар для ForEveR
8049 / 4806 / 655
Регистрация: 24.06.2010
Сообщений: 10,562
27.02.2011, 03:04
rangerx,
C++
1
 _SCL_SECURE_VALIDATE_RANGE(_Pos < size());
Это бyдет.
Ссыль приведy по3же. Рykоводствyюсь Страyстрyпом. Цитата.
На самом деле стандарт не утверждает, что вы не можете проверить диапазон в классе вектор, поэтому если хотите выполнить проверку, можете ее реализовать...
И еще есть пара пунктов по этому поводу, но лень все переписывать...

Добавлено через 38 минут
Подтверждений в стандарте не нашел, но Страуструпу верю.
0
2022 / 1621 / 489
Регистрация: 31.05.2009
Сообщений: 3,005
27.02.2011, 03:10
Цитата Сообщение от ForEveR Посмотреть сообщение
Это бyдет.
К сожалению у меня нет возможности сейчас это проверить, поэтому придётся поверить тебе на слово. )
Цитата Сообщение от ForEveR Посмотреть сообщение
Страyстрyпом. Цитата.
Ну хоть бы на Страуструпа дал ссылку ) Специально открыл только что "Язык программирования C++. Специальное издание" $16.3.3. Доступ к элементам и вижу там то же самое, что сказал я. В любом случае, никакой гарантии, что operator[] осуществит проверку выхода за диапазон нет. "На самом деле стандарт не утверждает..." - это не серъёзно. ))
0
В астрале
Эксперт С++
 Аватар для ForEveR
8049 / 4806 / 655
Регистрация: 24.06.2010
Сообщений: 10,562
27.02.2011, 03:25
rangerx, Ну естесно) Все зависит от реализации. Ссылки на книгу боюсь нету на русском языке еще, а может уже и есть. Программирование принципы и практика использования С++ - страница 698, пункт 19.4.1, подпункт 4.

Про MSVS - такой код в релизе
C++
1
2
3
4
5
6
7
#include <vector>
 
int main()
{
    std::vector<int> vec(10);
    int t=vec[10];
}
Кидает runtime_error
0
║XLR8║
 Аватар для outoftime
1212 / 909 / 270
Регистрация: 25.07.2009
Сообщений: 4,360
Записей в блоге: 5
27.02.2011, 09:38  [ТС]
ForEveR, а такой:
C++
1
    int t=vec[10] < 0 ? 0 : vec[10];
0
В астрале
Эксперт С++
 Аватар для ForEveR
8049 / 4806 / 655
Регистрация: 24.06.2010
Сообщений: 10,562
27.02.2011, 15:52
outoftime, Вылетит. Очевидно почему. vec[10] читает какую-то другую область памяти.
0
║XLR8║
 Аватар для outoftime
1212 / 909 / 270
Регистрация: 25.07.2009
Сообщений: 4,360
Записей в блоге: 5
27.02.2011, 16:19  [ТС]
ForEveR, результаты последнего SRM на TopCoder-е, посмотрите пожалуйста, есть солюшены и тесты, на которых я их хотел слить, что касается C# и Java, опять таки, там все слетели, но кто писал на плюсах и ставил в условные операторы, впрочем, смотрите сами.

http://www.topcoder.com/stat?c... 3#defenses
http://www.topcoder.com/stat?c... 9#defenses
http://www.topcoder.com/stat?c... 9#defenses

Что обьеденяет эти коды, если мы подаем вектор {50} с 1 элементом и какая разница с этим

http://www.topcoder.com/stat?c... 3#defenses

Добавлено через 4 минуты
Имеется в виду на вход метода isValid (если вы не знакомы с правилами)
0
2022 / 1621 / 489
Регистрация: 31.05.2009
Сообщений: 3,005
27.02.2011, 19:09
Цитата Сообщение от ForEveR Посмотреть сообщение
Все зависит от реализации.
Ну, может быть, не буду спорить. В стандарте скорее всего вообще об этом ничего не говорится.
Цитата Сообщение от outoftime Посмотреть сообщение
а такой:
Если повезёт...
0
В астрале
Эксперт С++
 Аватар для ForEveR
8049 / 4806 / 655
Регистрация: 24.06.2010
Сообщений: 10,562
27.02.2011, 19:11
В стандарте скорее всего вообще об этом ничего не говорится.
Ага. Читая стандарт по контейнерам вчера увидел только про то, что at() обязана гарантировать проверку на диапазон.
0
║XLR8║
 Аватар для outoftime
1212 / 909 / 270
Регистрация: 25.07.2009
Сообщений: 4,360
Записей в блоге: 5
27.02.2011, 19:18  [ТС]
Цитата Сообщение от rangerx Посмотреть сообщение
В стандарте скорее всего вообще об этом ничего не говорится.
Цитата Сообщение от ForEveR Посмотреть сообщение
Ага. Читая стандарт по контейнерам вчера увидел только про то, что at() обязана гарантировать проверку на диапазон.
Это что получается то? Когда я вижу что-то типа:
C++
1
if (a[i] > 0) something();
я должен считать что он правильный? На случай если релиз позволяет? Не знаете что говорит об этом gcc именно его юзает topcoder.
0
В астрале
Эксперт С++
 Аватар для ForEveR
8049 / 4806 / 655
Регистрация: 24.06.2010
Сообщений: 10,562
27.02.2011, 19:20
outoftime, Используй at() и будет тебе счастье.
А лучше итераторы. имхо)
0
2022 / 1621 / 489
Регистрация: 31.05.2009
Сообщений: 3,005
27.02.2011, 19:30
Цитата Сообщение от outoftime Посмотреть сообщение
Не знаете что говорит об этом gcc
C++
1
2
3
4
5
6
7
8
9
10
11
reference operator[](size_type __n)
{ 
    return *(begin() + __n); 
}
 
//---------
 
const_reference operator[](size_type __n) const
{ 
    return *(begin() + __n); 
}
1
║XLR8║
 Аватар для outoftime
1212 / 909 / 270
Регистрация: 25.07.2009
Сообщений: 4,360
Записей в блоге: 5
27.02.2011, 19:39  [ТС]
Цитата Сообщение от ForEveR Посмотреть сообщение
Используй at() и будет тебе счастье.
А лучше итераторы. имхо)
Да я такие ляпы заметаю, мне надо знать когда это неправильно у других (:
0
Надоела реклама? Зарегистрируйтесь и она исчезнет полностью.
raxper
Эксперт
30234 / 6612 / 1498
Регистрация: 28.12.2010
Сообщений: 21,154
Блог
27.02.2011, 19:39
Помогаю со студенческими работами здесь

Условные операторы: определить, какой день недели выпадает на заданное число
Дано трехзначное число от 1 до 365. Определить, какой день недели выпадает на это число, если 1 января - понедельник.

Типы данных. Операции. Операторы. операторы ветвления
Создать программу. Воспользоваться оператором вариантов. ...

С++.Операторы в С++: условные операторы, операторы break и continue
Выяснить, пересекаются ли параболы у=аx2+bx+с и у=dx2+ex + f. При положительном ответе найти точки пересечения.

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

«Языки и технологии программирования» «Операторы цикла. Условные операторы»
Не получается сделать что бы программа выводила все значения в промежутке, она выводит только одно. условия | ((z^3)+sin...


Искать еще темы с ответами

Или воспользуйтесь поиском по форуму:
18
Ответ Создать тему
Новые блоги и статьи
Советы по крайней бережливости. Внимание, это ОЧЕНЬ длинный пост.
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-динозавры, а новое поколение лёгких потоков. Откат?. . .
Поиск "дружественных имён" СОМ портов
Argus19 22.11.2025
Поиск "дружественных имён" СОМ портов На странице: https:/ / norseev. ru/ 2018/ 01/ 04/ comportlist_windows/ нашёл схожую тему. Там приведён код на С++, который показывает только имена СОМ портов, типа,. . .
Сколько Государство потратило денег на меня, обеспечивая инсулином.
Programma_Boinc 20.11.2025
Сколько Государство потратило денег на меня, обеспечивая инсулином. Вот решила сделать интересный приблизительный подсчет, сколько государство потратило на меня денег на покупку инсулинов. . . .
КиберФорум - форум программистов, компьютерный форум, программирование
Powered by vBulletin
Copyright ©2000 - 2025, CyberForum.ru