Хабрахабр / Комментарии к посту «Чудеса оператора ==» в блоге «PHP»

09.07.2008 18:46:08 HeadFore

HeadFore — Wed, 09 Jul 2008 18:46:08 GMT

Это не Паскаль, чтобы в foo[0] хранить размер. Здесь строки как в Си, т.е. в конце символ с кодом 0.

09.07.2008 18:30:21 etc

etc — Wed, 09 Jul 2008 18:30:21 GMT

Никаких чудес, просто строка 0 не равна пустой строке.

19.11.2007 08:37:11 artyfarty

artyfarty — Mon, 19 Nov 2007 08:37:11 GMT

И вообще, ситуация из приведённого примера абсолютно очевидна.

В первой ситуации строку сравнивают с булевым типом. Пхп преобразует строку в bool и сравнивает 0 ? false. Конечно же, равны.
Кстати, это популярный источник ошибок. Ошибки, основанные на этом равенстве я находил даже в IPB. А именно, когда программист хочет проверить, указана ли строка: if ( $string ) { .. } Очевидно, что если юзер напишет строку "0", то условие не выполнится. Благодаря этому, в недавней версии ИПБ нельзя было поставить личный статус "0".

Вторая ситуация очевидна.

В третьей ситуации сравниваются две строки. Никакого преобразования не происходит. Две строки нифига не одинаковые, следовательно false;

19.11.2007 08:31:56 artyfarty

artyfarty — Mon, 19 Nov 2007 08:31:56 GMT

Да, пыхпых породил немало быдлокодеров.
Сам, сильно увлёкшись пхп, и забыв о типах, потом довольно болезненно начинал сишарп.

19.11.2007 08:28:38 artyfarty

artyfarty — Mon, 19 Nov 2007 08:28:38 GMT

Автоматическое преобразование типов хотя и радует нас такими сюрпризами, но немного почитав манов, да набравшись опыта, можно всё это предвидеть.

Зато не нужно парится о типах в процессе кодинга. PHP позволяет мне излагать свои мысли прямо по ходу их поступления, не отвлекаясь на объявления переменных, размышления о том, какой тип рациональнее. Меня не ставят в строгие границы, как это, например, обожает делать C#.

28.10.2007 12:49:13 besisland

besisland — Sun, 28 Oct 2007 12:49:13 GMT

Первое, что приходит в голову лично мне: "Это ж очевидно: конечно, не обладает!"

26.10.2007 13:44:54 hannimed

hannimed — Fri, 26 Oct 2007 13:44:54 GMT

Если строка '0' вводит программиста в заблуждение, то такому программисту пора подумать о покупке какой-нибудь книги.
А лучше выучить какой-нибудь типизированный язык для разнообразия.

Вообще если человек начинает программировать с PHP (!) - велика вероятность не стать хорошим программистом.

Этот топик во мне вызвал чувство деградации... сам пишу на PHP, т.к. работа вынуждает. Грустно. Эх... пойду что-ли Страуструпа почитаю...

22.10.2007 04:22:15 leemuar

leemuar — Mon, 22 Oct 2007 04:22:15 GMT

Я учился на слове "эквивалентность"

22.10.2007 04:21:47 leemuar

leemuar — Mon, 22 Oct 2007 04:21:47 GMT

Весь секрет фокуса крутится вокруг _строковой константы_ '0', вводящей начинающего программиста в заблуждение.
Остальное уже было сказано.

21.10.2007 15:19:35 gro

gro — Sun, 21 Oct 2007 15:19:35 GMT

Тогда извините )

20.10.2007 20:40:44 pietrovich

pietrovich — Sat, 20 Oct 2007 20:40:44 GMT

я о том же :)

20.10.2007 20:21:15 luf

luf — Sat, 20 Oct 2007 20:21:15 GMT

Вы меня неверно поняли. Лично у меня нет никаких претензий к PHP5. Это один из немногих языков. на которых я продолжаю писать после знакомства с ним. Тем не менее, я об этом тоже немного писал в блоге, многие программисты на "нормальных" языках относятся к нему как к "недоязыку для дизайнеров". Я много обсуждал это со своими друзьями, но в результате мне остаётся только грустно иронизировать время от времени. Они всё понимают мозгом, но отказываются это признавать.

20.10.2007 14:27:44 gro

gro — Sat, 20 Oct 2007 14:27:44 GMT

Знаете, как ни странно, но в PHP 12 так же != 13.
Отношение == на множестве строк и булевых значений не определено, поэтому строка приводится к булевому значению и выполняется операция определенная на множестве булевых значений. Так же, как и в C++.

20.10.2007 11:30:11 gro

gro — Sat, 20 Oct 2007 11:30:11 GMT

для людей писавших на нормальных языках

Так зачем вы вообще за PHP взялись, если он ненормальный?

20.10.2007 11:27:11 gro

gro — Sat, 20 Oct 2007 11:27:11 GMT

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

20.10.2007 11:25:43 gro

gro — Sat, 20 Oct 2007 11:25:43 GMT

Сдуру можно поломать всё что угодно.

20.10.2007 11:23:04 gro

gro — Sat, 20 Oct 2007 11:23:04 GMT

Не нужно заводить правил, а нужно знать, как что работает и тогда не будет проблем.
Операторы сравнения и тождественности, это разные операторы, каждый для своего случая.
Если бы один из них был определенно лучше другого во всех случаях, то он бы один в языке и остался.

20.10.2007 09:37:39 kvas

kvas — Sat, 20 Oct 2007 09:37:39 GMT

Просто в перле "==" — оператор сравнения чисел. Он всё приводит к числам. А для строк там "eq". Ну и конечно '0' eq '' не будет истинным.

18.10.2007 23:14:20 maserg

maserg — Thu, 18 Oct 2007 23:14:20 GMT

там нет неочевидных граблей. всё четко расписно в мануале

18.10.2007 20:32:50 akral

akral — Thu, 18 Oct 2007 20:32:50 GMT

empty($foo)?

18.10.2007 20:21:31 luf

luf — Thu, 18 Oct 2007 20:21:31 GMT

Ошибся. Правильно конечно же if ($rt==0) {...}

18.10.2007 19:50:41 luf

luf — Thu, 18 Oct 2007 19:50:41 GMT

Угу. Как обычно и бывает - пришли к выводу что говорим об одном и том-же разными словами.

Кстати, одна из причин написать в блог развёрнуто и с примерами, была в том, что я хотел проиллюстрировать это поведение. Именно для того, о чём Вы написали выше (про разработчика). Собьсно тот пост вырос из развёрнутого обьяснения новенькому почему if ($rt=="0") {...} срабатывает, когда $rt==="all".

18.10.2007 19:38:58 luf

luf — Thu, 18 Oct 2007 19:38:58 GMT

Как Вам, я уже понял. Лично мне удобнее пользоваться var_export'ом. Для меня он нагляднее + позволяет без мучений с ob_* функциями передавать эти дампы в переменных.

18.10.2007 19:35:31 WanderingStar

WanderingStar — Thu, 18 Oct 2007 19:35:31 GMT

"Это не баг, это фича" (с)
Соглашусь с тем, что это несколько странно. Но как уже здесь писали, хотя несколько по другому поводу - для хорошего(!) разработчика главное такие тонкости знать и уметь использовать себе во благо.

18.10.2007 19:33:24 WanderingStar

WanderingStar — Thu, 18 Oct 2007 19:33:24 GMT

Ну есть еще print_r(), если тип данных не нужен. А вар_дамп даже Зендовцы используют в экзаменах, если мне память не изменяет. Все никак время не выкрою на ЗЦЕ себя попробовать ...

18.10.2007 19:12:44 luf

luf — Thu, 18 Oct 2007 19:12:44 GMT

Именно об этом я и написал. Чтоб узнать каким именно образом происходит обработка явного и неявного приведения я в исходники всё таки не полезу, но да не суть важно. Собственно, моё удивление связанно как раз с тем, что оба эти, на мой взгляд одинаковые, операции реализованный по разному. Ни в коей мере не умаляя достоинств разработчиков, я считаю что это неверное решение.

18.10.2007 19:00:03 luf

luf — Thu, 18 Oct 2007 19:00:03 GMT

Регулярку для обработки хлама который был, в вывод с var_dump ом.

18.10.2007 17:54:02 Devgru

Devgru — Thu, 18 Oct 2007 17:54:02 GMT

да, вы правы, но мне просто интересно было, вдруг ещё что-то есть…

18.10.2007 17:15:23 mivlad

mivlad — Thu, 18 Oct 2007 17:15:23 GMT

Наверняка ведь при сравнении строк сначала сравнивается их длина.

18.10.2007 16:18:16 Klaus

Klaus — Thu, 18 Oct 2007 16:18:16 GMT

Я учился по книге и там это было указано в «Золотых ошибках»

18.10.2007 15:59:57 Rommidze

Rommidze — Thu, 18 Oct 2007 15:59:57 GMT

Нет. Не в два раза быстрее, а примерно в пять раз. В выше приведённых примерах существенную часть занимает холостой ход цикла и оператор присваивания:

time echo " \$i; ++\$i) \$c = 0; ?>" | php
real 0m1.662s
user 0m1.652s
sys 0m0.004s

18.10.2007 15:55:04 Rommidze

Rommidze — Thu, 18 Oct 2007 15:55:04 GMT

Откуда сведения?

Эксперемент №1. Проверка оператора ===
time echo " \$i; ++\$i) \$c = (\$a === \$b); ?>" | php
real 0m1.889s
user 0m1.864s
sys 0m0.012s

Эксперемент №2. Проверка оператора ==
time echo " \$i; ++\$i) \$c = (\$a == \$b); ?>" | php
real 0m3.132s
user 0m3.120s
sys 0m0.008s

Очевидно, что оператор === почти в два раза быстрее чем ==. Для достоверности эксперемента, замеры произвёл несколько раз. Причина банальна: при операторе === интерпретатор не производит преобразование типов: если не совпали, то false.

18.10.2007 15:33:45 WanderingStar

WanderingStar — Thu, 18 Oct 2007 15:33:45 GMT

Могу предположить, что происходит так из-за того, что неявное преобразование использует функцию strtod из stdlib на которую они и ссылаются в мануале. Она превосходно конвертирует и 10, 16, бесконечность и NAN. В то время как явное преобразование с помощью intval реализовано у них своими силами, на что довольно таки прозрачно намекает документация, где сказано, что основание указывается необязательным параметром функции, в то время как strtod определяет его автоматически.

18.10.2007 15:25:29 mocksoul

mocksoul — Thu, 18 Oct 2007 15:25:29 GMT

производительность страдает. Самое умное - использовать это _когда_нужно_.

18.10.2007 15:15:35 ilya_ost

ilya_ost — Thu, 18 Oct 2007 15:15:35 GMT

отношение == (eq1), определенное на множестве строк, и отношение == (eq2) на множестве строк и булевых значений очевидно отношения разные. Каким образом отсутствие импликации: (a eq2 b И b eq2 c) -> a eq1 c влияет на транзитивность отношения eq1 или eq2 мне не понятно. И кстати в C++: 12 == true; 13 == true; 12 !=13, какой ужас!

18.10.2007 15:14:57 WanderingStar

WanderingStar — Thu, 18 Oct 2007 15:14:57 GMT

Ваша запись:
echo (int)("0xff"==0)."\n";
echo (int)((int)"0xff"==0)."\n";
echo (int)("0xff"==255)."\n";

Моя запись:
var_dump("0xff"==0, (int)"0xff"==0, "0xff"==255);

Какую-какую, простите, регулярку писать?

18.10.2007 15:14:39 luf

luf — Thu, 18 Oct 2007 15:14:39 GMT

Интересная мысль, которая мне не приходила в голову. Видимо, из-за ощущения, что попытка приведения строки к числу должна быть реализована всегда одинаково. Откуда берется base 16? Видимо проверяется содержание строки. Почему тогда нет этого при явном приведении к инту? Лично для меня x16, x10, x8, x2 - всё тот же родной int. Я хорошо понимаю откуда что берется, меня удивляет именно разница в поведении в момент приведения.

18.10.2007 15:09:41 WanderingStar

WanderingStar — Thu, 18 Oct 2007 15:09:41 GMT

Именно так. На удивление многим это тоже не оператор равенства. Это оператор "идентичности". И, вы будете смеяться, но мне попадалась на книжных полках макулатура (по другому назвать язык не поворачивается) в которой вообще об этом операторе и слова не было сказано.

18.10.2007 15:06:23 WanderingStar

WanderingStar — Thu, 18 Oct 2007 15:06:23 GMT

Вот здесь многое изложено со ссылками на более детальные пояснения по темам и с указаниями куда именно смотреть при желании найти еще более подробную информацию.

18.10.2007 15:02:22 Klaus

Klaus — Thu, 18 Oct 2007 15:02:22 GMT

На сколько мне не изменяет память, то при ТОЧНОМ сравнении нужно пользовать ===