Нотация Йоды

Forastero — Fri, 30 May 2014 14:05:45 GMT

Условия Йоды (от англ. Yoda conditions), или нотация Йоды (англ. Yoda notation) в жаргоне программистов — «безопасный» стиль записи выражений сравнения при программировании на языках с Си-синтаксисом, заключающийся в написании сначала значения переменной и только затем самой переменной. Такая запись позволяет обнаружить на этапе компиляции и исправить ошибку, свойственную данным языкам — операцию присваивания =, по ошибке записанную вместо операции сравнения «==».

Назван в честь магистра Йоды из вселенной «Звёздных войн», имеющего манеру выстраивать слова фразы в обратном порядке.

Суть нотации
В классической нотации проверка переменной на равенство некоторой константе записывается следующим образом (пример на языке PHP):

PHP
1
2
3
if ( $variable == 52 ) { 
    /* действия, выполняемые если переменная равна 52 */
}

то есть переменная, операция сравнения и константа. Данная конструкция уязвима для известной ошибки:

PHP
1
2
3
if ( $variable = 52 ) { // ОШИБКА: ПРИСВАИВАНИЕ переменной значения 52
    /* действия, выполняемые ВСЕГДА */
}

Такой код остается синтаксически правильным, и при ненадлежащем тестировании может остаться в программе на долгие годы и стать причиной серьёзной уязвимости.
При использовании нотации Йоды переменная и константа меняются местами, так что константа оказывается слева:

PHP
1
2
3
if ( 52 == $variable ) {
    /* действия, выполняемые если переменная равна 52 */
}

При такой нотации в случае опечатки в операторе сравнения получается синтаксически некорректное присваивание константе и программа не будет работать, пока ошибка не будет найдена и исправлена.

PHP
1
2
3
if ( 52 = $variable ) { // ОШИБКА при компиляции
    /* ... */
}

Источник: Википедия

Форум программистов и сисадминов Киберфорум - Блоги - Forastero

Нотация Йоды