Как порядок слов защищает от ошибки в коде
В языках вроде C и C++ присваивание и сравнение записываются по-разному: `=` кладёт значение в переменную, а `==` проверяет, равны ли два значения. Поэтому опечатка в условии — `if (x = 5)` вместо `if (x == 5)` — не обязательно остановит программу. Она присвоит `x` число 5, а затем проверит результат присваивания как логическое условие. Ненулевое значение обычно считается истинным, и ветка кода выполнится.
При записи `if (5 == x)` та же опечатка превращается в `if (5 = x)`. Программа не может записать новое значение в число `5`, поэтому компилятор сообщит об ошибке. Он остановит проблему до запуска, а не позволит ей проявиться позже в неожиданном поведении программы.
Почему приём не стал универсальным правилом
Такой порядок называют условием Йоды — по необычному порядку слов в речи персонажа «Звёздных войн». Но у него есть цена: многим проще читать привычное `переменная == значение`, где сначала назван объект проверки. Кроме того, современные компиляторы и инструменты анализа кода способны предупреждать о присваивании внутри условия, а в некоторых языках сама запись сравнения устроена иначе.
Поэтому условия Йоды — не магическая защита и не обязательный стиль, а способ сделать конкретную ошибку невозможной в тех языках, где присваивание легко спутать со сравнением. Их смысл особенно ясен в старом коде без строгих проверок: перестановка двух частей условия заставляет опечатку остановиться на этапе сборки.
