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

@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, аа, начинаю догонять, спасибо

Новые блоги и статьи Все статьи Все блоги /
Модульный подход на примере F# DevAlt 06.03.2026 В блоге дяди Боба наткнулся на такое определение: В этой книге («Подход, основанный на вариантах использования») Ивар утверждает, что архитектура программного обеспечения — это структуры,. . .	Управление камерой с помощью скрипта OrbitControls.js на Three.js: Вращение, зум и панорамирование 8Observer8 05.03.2026 Содержание блога Финальная демка в браузере работает на Desktop и мобильных браузерах. Итоговый код: orbit-controls-threejs-js. zip. Сканируйте QR-код на мобильном. Вращайте камеру одним пальцем,. . .	SDL3 для Web (WebAssembly): Синхронизация спрайтов SDL3 и тел Box2D 8Observer8 04.03.2026 Содержание блога Финальная демка в браузере. Итоговый код: finish-sync-physics-sprites-sdl3-c. zip На первой гифке отладочные линии отключены, а на второй включены:. . .	SDL3 для Web (WebAssembly): Идентификация объектов на Box2D v3 - использование userData и событий коллизий 8Observer8 02.03.2026 Содержание блога Финальная демка в браузере. Итоговый код: finish-collision-events-sdl3-c. zip Сканируйте QR-код на мобильном и вы увидите, что появится джойстик для управления главным героем. . . .
Реалии Hrethgir 01.03.2026 Нет, я не закончил до сих пор симулятор. Эта задача сложнее. Не получилось уйти в плавсостав, но оно и к лучшему, возможно. Точнее получалось - но сварщиком в палубную команду, а это значит, в моём. . .	Ритм жизни kumehtar 27.02.2026 Иногда приходится жить в ритме, где дел становится всё больше, а вовлечения в происходящее — всё меньше. Плотный график не даёт вниманию закрепиться ни на одном событии. Утро начинается с быстрых,. . .	SDL3 для Web (WebAssembly): Сборка библиотек: SDL3, Box2D, FreeType, SDL3_ttf, SDL3_mixer и SDL3_image из исходников с помощью CMake и Emscripten 8Observer8 27.02.2026 Недавно вышла версия 3. 4. 2 библиотеки SDL3. На странице официальной релиза доступны исходники, готовые DLL (для x86, x64, arm64), а также библиотеки для разработки под Android, MinGW и Visual Studio. . . .	SDL3 для Web (WebAssembly): Реализация движения на Box2D v3 - трение и коллизии с повёрнутыми стенами 8Observer8 20.02.2026 Содержание блога Box2D позволяет легко создать главного героя, который не проходит сквозь стены и перемещается с заданным трением о препятствия, которые можно располагать под углом, как верхнее. . .

@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