Странное поведение проверки условия цикла

@tramp_1-3 · Регистрация: 13.10.2012

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

Пишу алгоритм сортировки замещением. Дали задание написать алгоритм не только для возрастающего порядка, но и для убывающего.
Такое очевидное решение вполне работоспособно.

Кликните здесь для просмотра всего текста

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
public static int[] Insertion(int[] a, bool nondecreasing = true)
        {
            if (nondecreasing)
            {
                for (int j = 1; j < a.Length; j++)
                {
                    int key = a[j];
                    int i = j - 1;
                    while (i >= 0 && a[i] > key)
                    {
                        a[i + 1] = a[i];
                        --i;
                    }
                    a[i + 1] = key;
                }
            }
            else
            {
                for (int j = 1; j < a.Length; j++)
                {
                    int key = a[j];
                    int i = j - 1;
                    while (i >= 0 && a[i] < key)
                    {
                        a[i + 1] = a[i];
                        --i;
                    }
                    a[i + 1] = key;
                }
            }
            return a;
        }

мне захотелось написать нечто более изящное

Кликните здесь для просмотра всего текста

C#
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
public static int[] Insertion(int[] a, bool nondecreasing = true)
        {
            for(int j = 1; j < a.Length; j++)
            {
                int key = a[j];
                int i = j - 1;
                while (i >= 0 && nondecreasing ? a[i] > key : a[i] < key)
                {
                    a[i + 1] = a[i];
                    --i;
                }
                a[i + 1] = key;
            }
            return a;
        }

Но не тут то было: я всегда думал, что оператор && прерывает проверку, если первое условие ложно и не касается второго условия (ибо смысл?). Оказалось, что когда I==-1, он лезет в nondecreasing ? a[i] > key : a[i] < key, тем самым вызвая исключение System.IndexOutOfRangeException. Почему поведение оператора && такое непредсказуемое?

Добавлено через 4 минуты
скобки вокруг первого условия не помогли

@ViterAlex · 13.07.2014, 10:17

Сообщение от tramp_1-3

скобки вокруг первого условия не помогли

Потому что в скобки нужно брать второе условие. У оператора ?: выше приоритет, чем у &&. Т.е. должно быть:

C#
1
while (i >= 0 && (nondecreasing ? a[i] > key : a[i] < key))

@tramp_1-3 · 13.07.2014, 10:29 **[ТС]**

ViterAlex, что-то я запутался. скобки же повышают приоритет? или понижают?

Добавлено через 10 минут
ViterAlex, http://msdn.microsoft.com/en-u... s.71).aspx
тут ?: почти в самом низу. не понимаю, почему ваш код работает.

@ViterAlex · 13.07.2014, 10:37

Скобки задают порядок вычислений. В твоём варианте сначала вычислялось условие

C#
1
i >= 0 && nondecreasing

оно давало false в случае i == -1
После этого вычислялось выражение

C#
1
a[i] < key

, что и приводило к ошибке.
Заключив оператор ?: в скобки, мы тем самым заставляем его вычисляться только если условие слева от && истинно.
Я был неправ, сказав, что у ?: выше приоритет. Как раз наоборот.

@tramp_1-3 · 13.07.2014, 10:57 **[ТС]**

ViterAlex, но если приоритет ниже, почему оно вычисляется первым?

Добавлено через 5 минут
по идее скобки заставляют вычислять выражение в первую очередь

@MansMI · 13.07.2014, 11:02

в первоначальном варианте было аналогично:

C#
1
while ((i >= 0 && nondecreasing) ? a[i] > key : a[i] < key)

@tramp_1-3 · 13.07.2014, 11:05 **[ТС]**

MansMI, что это? согласно этому условию, если нужен убывающий порядок, сортировки вообще не будет

@MansMI · 13.07.2014, 11:07

так и было

C#
1
while (i >= 0 && nondecreasing ? a[i] > key : a[i] < key) == while ((i >= 0 && nondecreasing) ? a[i] > key : a[i] < key)

@tramp_1-3 · 13.07.2014, 11:12 **[ТС]**

Добавлено через 1 минуту
MansMI, аа, начинаю догонять, спасибо

Новые блоги и статьи Все статьи Все блоги /
Новый CodeBlocs. Версия 25.03 palva 04.01.2026 Оказывается, недавно вышла новая версия CodeBlocks за номером 25. 03. Когда-то давно я возился с только что вышедшей тогда версией 20. 03. С тех пор я давно снёс всё с компьютера и забыл. Теперь. . .	Модель микоризы: классовый агентный подход anaschu 02.01.2026 Раньше это было два гриба и бактерия. Теперь три гриба, растение. И на уровне агентов добавится между грибами или бактериями взаимодействий. До того я пробовал подход через многомерные массивы,. . .	Учёным и волонтёрам проекта «Einstein@home» удалось обнаружить четыре гамма-лучевых пульсара в джете Млечного Пути Programma_Boinc 01.01.2026 Учёным и волонтёрам проекта «Einstein@home» удалось обнаружить четыре гамма-лучевых пульсара в джете Млечного Пути Сочетание глобально распределённой вычислительной мощности и инновационных. . .	Советы по крайней бережливости. Внимание, это ОЧЕНЬ длинный пост. 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. . .

@tramp_1-3 16 / 16 / 1 Регистрация: 13.10.2012 Сообщений: 454
	13.07.2014, 10:29 [ТС]
	ViterAlex, что-то я запутался. скобки же повышают приоритет? или понижают? Добавлено через 10 минут ViterAlex, http://msdn.microsoft.com/en-u... s.71).aspx тут ?: почти в самом низу. не понимаю, почему ваш код работает. 0

@tramp_1-3 16 / 16 / 1 Регистрация: 13.10.2012 Сообщений: 454
	13.07.2014, 10:57 [ТС]
	ViterAlex, но если приоритет ниже, почему оно вычисляется первым? Добавлено через 5 минут по идее скобки заставляют вычислять выражение в первую очередь 0

@tramp_1-3 16 / 16 / 1 Регистрация: 13.10.2012 Сообщений: 454
	13.07.2014, 11:05 [ТС]
	MansMI, что это? согласно этому условию, если нужен убывающий порядок, сортировки вообще не будет 0

@tramp_1-3 16 / 16 / 1 Регистрация: 13.10.2012 Сообщений: 454
	13.07.2014, 11:12 [ТС]
	Добавлено через 1 минуту MansMI, аа, начинаю догонять, спасибо 0