mnv 5 июн 2015 в 05:58

Приведение типов в PHP == табурет о двух ножках?

4 мин

55K

PHP * Веб-разработка * Программирование *

+28

Комментарии 81

sferrka 5 июн 2015 в 06:16

$x = true; или что-то новое?

sectus 5 июн 2015 в 06:27

12 == "0xC"

В PHP7 ликвидировано такое поведение: 3v4l.org/nEgeH, wiki.php.net/rfc/remove_hex_support_in_numeric_strings

Mercury13 5 июн 2015 в 06:45

«2.000000000000000123» == «2.000000000000000456»

Я этого не понял, должны ведь сравниваться как строки?

bolk 5 июн 2015 в 07:28

Всё, что похоже на число PHP преобразует тут в число. Довольно известное правило, где-то в документации есть.

neolink 5 июн 2015 в 08:18

ну да известно всем кроме интерпретатора:
var_dump(«2.000000000000000123» == «2.000000000000000456»); // false

bolk 5 июн 2015 в 08:31

Нулей просто мало. Вот:

 php -r 'var_dump("2.00000000000000000123" == "2.00000000000000000456");'
bool(true)

neolink 5 июн 2015 в 09:36

да жесть, в принципе кроме этого всё объяснимо… но зачем так-то?!!!

bolk 5 июн 2015 в 09:40

Потому что PHP традиционно мешает строки и числа в кучу, см., например, empty(«0»). Это из-за того, что снаружи ($_GET, $_POST и так далее) вообще всё приходит как строки, а создателям языка хотелось максимально упростить жизнь веб-мастеров в этом месте.

akhmelev 10 июн 2015 в 05:10

Ага. Упростили. Вместо объявления типа 1 раз — приведение, то там, то сям. И ===. Ну или ребусы как в сабже, а не код. Удобно, сил нет.

bolk 5 июн 2015 в 09:45

Ну и я бы не сказал, что «кроме этого всё объяснимо» :)) я таких примеров кучу знаю, например:

$ php -r '$a=null; var_dump(--$a); var_dump(++$a);'
NULL
int(1)

То есть уменьшение null даёт null, увеличение — единицу.

neolink 5 июн 2015 в 09:53

ну об этом в доке написано сразу: php.net/manual/en/language.operators.increment.php это можно объяснить, даже некую логику под это подвести (но я согласен, что это не ожидаемо)
но почему 2 строки сравниваются как числа нет

bolk 5 июн 2015 в 10:09

Ну так и об операции сравнения написано в доке:

If you compare a number with a string or the comparison involves numerical strings, then each string is converted to a number and the comparison performed numerically.

Более того!

These rules also apply to the switch statement.

То есть:

$ php -r 'switch("0x000000") { case "0e0": var_dump("Duh!"); }'
string(4) "Duh!"

neolink 5 июн 2015 в 10:14

про switch это боль да, там === не напишешь

bolk 5 июн 2015 в 10:14

На самом деле в доке есть почти всё (за очень редким исключением), но очень уж забавны некоторые вещи. Например:

$ php -r 'var_dump([] < new stdclass); var_dump([] > INF);'
bool(true) // пустой массив меньше пустого класса
bool(true) // пустой массив больше бесконечности

vlivyur 5 июн 2015 в 10:31

А пустой класс больше бесконечности?

bolk 5 июн 2015 в 10:44

да.

felicast 5 июн 2015 в 06:45

"2.000000000000000123" == "2.000000000000000456"

у вас ошибка, это сравнение строк, а не float

sectus 5 июн 2015 в 06:58

Это от разрядности зависит, нужно просто ноликов побольше.

var_dump("2.00000000000000000000000000000000123" == "2.00000000000000000000000000000000456"); // bool(true)

3v4l.org/pCMMn

JeStoneDev 5 июн 2015 в 06:45

"2.33a" == "2.33b" // false - сравниваем строки, все логично
"1e2" == "100" // true - зачем он их преобразовывает в числа? Для кого тут кавычки стоят?!

Хоть убейте, не понимаю, какого черты PHP при сравнении двух строк вообще пытается преобразовывать их в числа. Тип же совпадает.

felicast 5 июн 2015 в 06:53

Это у автора ошибка. PHP так не делает

felicast 5 июн 2015 в 06:55

Прошу прощения. Проверил. Действительно делает.
Хорошо хоть рекомендуется везде использовать ===

tzlom 5 июн 2015 в 06:49

Тоже два float в строках:
«2.000000000000000123» == «2.000000000000000456»

false, сравниваются строки, приведение не выполняется

mnv 5 июн 2015 в 07:43

Тут я просто нолик пропустил, попробуйте так

php >  echo "2.00000000000000000123" == "2.00000000000000000456" ? 'true' : 'false';
true

VokaMut 5 июн 2015 в 07:15

Не поверил, решил проверить:

<?php
$a1 = "1.000000000000000123";
$b1 = "1.000000000000000456";

$a2 = "2.000000000000000123";
$b2 = "2.000000000000000456";

if($a1 == $b1) echo $a1.' == '.$b1;
else echo $a1.' != '.$b1;
echo '<br>';
if($a2 == $b2) echo $a2.' == '.$b2;
else echo $a2.' != '.$b2;

В итоге:

1.000000000000000123 != 1.000000000000000456
2.000000000000000123 != 2.000000000000000456

PHP 5.4.35, Win 7x86, OpenServer

mnv 5 июн 2015 в 07:47

Да, ноль пропустил

php >  echo "2.00000000000000000123" == "2.00000000000000000456" ? 'true' : 'false';
true

Lure_of_Chaos 5 июн 2015 в 07:41

Паскаль нас учил писать =
Си учил на писать ==
Пхп нас учит писать ===

Mercury13 5 июн 2015 в 08:01

Ещё Бейсик учил…
Причём тот, который с нумерацией строк.

Lure_of_Chaos 5 июн 2015 в 08:08

10 GOTO 10

там вообще таких фокусов не было. LET A$ = KEYBOARD$ и все.

bolk 5 июн 2015 в 11:00

=== и в JS есть

Lure_of_Chaos 5 июн 2015 в 11:03

… как и во многих языках с неявным приведением типов. но топик-то про пхп?

dcc0 5 июн 2015 в 07:49

12 == «0xC»
Конечно, true.
Спасибо. Хорошая шпаргалка.

kykint 5 июн 2015 в 12:10

Но не в php7

janson 5 июн 2015 в 08:39

Почитал, поужасался. К концу остался вопрос: а что, вот так действительно кто-то пишет?
Я к тому, что если идёт более-менее осмысленное написание кода то вот такого понаписать сложно (чтобы (string) «false» сравнивать с (boolean) true, 12 == «0xC» и тому подобное).
Вот честное слово, с подобными проблемами сравнения последний раз сталкивался может быть лет пять назад.
Явное приведение типов, фильтрация входящих данных и принцип «никогда не доверяй тому, что пришло от пользователя» — избавляют от подобных проблем. Разве нет?

Ogra 5 июн 2015 в 08:50

Ну вот сравнение «100» == «1e2» может в какой-то задаче попасться. Скажем, 2 пользователя с такими никами — и вроде все нормально, правильные данные от пользователя, сравниваем строки со строками… А нет, PHP за нас что-то додумывает!

mnv 5 июн 2015 в 09:38

Бывают не очевидные случаи. Приходит вам с клиента $POST, а там строки, а вы вполне можете думать, что там целые числа и сравниваете эти строки с числами через ==. Как вариант.

Fedot 5 июн 2015 в 12:32

Нормальные люди конечно так никогда не пишут. Это статья больше для развлечения, чем для использования всего этого на практике. Маленькие перлы языка =)

symbix 5 июн 2015 в 08:39

Мое любимое:

setlocale('LC_ALL', 'ru_RU.UTF-8');
$f = 0.9;
$s = (string)$f;
$f2 = (float)$s;
var_dump($f, $s, $f2);

DarkByte 5 июн 2015 в 18:28

double(0.9)
string(3) «0.9»
double(0.9)

А что должно было быть?

mnv 5 июн 2015 в 20:17

Похоже, вы пренебрегли первой командой

DarkByte 6 июн 2015 в 05:22

Да нет, скопировал целиком, правда если включить e_depricated, то можно увидеть:

Deprecated: setlocale(): Passing locale category name as string is deprecated. Use the LC_* -constants instead in test.php on line 2

Замена 'LC_ALL' на LC_ALL убирает предупреждение, вывод не меняется. php 5.4.12, если это важно.

symbix 6 июн 2015 в 06:05

Локаль «ru_RU.UTF-8», видимо, в системе отсутствует. Смысл в том, чтобы установить такую локаль, где десятичный разделитель — запятая.

Если у вас unix-система, посмотрите список локалей с помощью команды locale -a. Если Windows — не знаю :-)

DarkByte 9 июн 2015 в 08:06

Ага, просто кто-то забыл проверить результат выполнения функции setlocale

if(setlocale(LC_ALL, 'ru_RU.UTF-8') !== false){
	echo "Мое любимое:\n";
	$f = 0.9;
	$s = (string)$f;
	$f2 = (float)$s;
	var_dump($f, $s, $f2);
} else {
	echo "В системе отсуствует локаль 'ru_RU.UTF-8'\n";
}

cybd 9 июн 2015 в 07:36

> А что должно было быть?

double(0.9)
string(3) «0,9»
double(0)

tgz 5 июн 2015 в 08:53

Мне вот не понятно, как после такого люди добровольно выбирают похапе в проекты?

zyaleniyeg 5 июн 2015 в 09:02

Это же пограничные случаи, а не правило, при этом никто ж не запрещает использовать ===
Думаю пасхалки есть в любом языке, просто в PHP их немного больше :)

dezconnect 5 июн 2015 в 09:14

s/немного/намного/

fixed ;)

sferrka 5 июн 2015 в 09:27

Соглашусь, если объясните для чего использовать ==, вместо ===?

dezconnect 5 июн 2015 в 10:08

Ну если вы точно уверены в типах переменных в каком то месте то думаю вполне допустимо ==

tgz 5 июн 2015 в 10:25

Ну так каждая пасхалочка у тебя отнимает (условно) час времени. Поэтому и не ясно, зачем брать инструмент с пасхалками, когда есть такой же без. А час времени лучше потратить на себя/жену/детей.

Rathil 5 июн 2015 в 22:44

Скажем так, у меня опыта в пыхе не мало, но проблемы подобного плана возникали лет эдак 5-6 назад. Если ты думаешь не только о себе, а и о других сотрудниках — то подобный ф-ционал ты просто не используешь.
В любом языке можно найти что-то такое, после чего скажешь: да зачем Вы взяли этот язык???

tgz 6 июн 2015 в 10:45

Ага, из всех зол выбираем не меньшее, а наиболее кривое. Такая то аргументация…

Rathil 8 июн 2015 в 07:09

Каждый человек сам отвечает за свой выбор, поступки и действия.

neolink 5 июн 2015 в 09:59

Половина кода из статьи будет работать в JS. как? как люди выпирают писать на js?

kivsiak 5 июн 2015 в 10:28

Можно подумать есть выбор.

sferrka 5 июн 2015 в 12:12

Выбора очень много, на каждый популярный язык по компилятору в JS.
Вот так, например, в typescript выглядит сравнение разных типов:

OlegTar 5 июн 2015 в 16:03

есть === и для PHP, и для js

tgz 5 июн 2015 в 12:00

У js альтернативы как таковой нет. У похапе же навалом. Да и уровень идиотии у js не такой зашкаливающий.

impwx 5 июн 2015 в 13:48

Да и уровень идиотии у js не такой зашкаливающий.

Если и не такой зашкаливающий, то только потому, что в PHP встроенного функционала на два порядка больше, там было место, где развернуться. В процентном соотношении они идут плечо к плечу.

matiouchkine 5 июн 2015 в 15:52

www.wtfjs.com

OlegTar 8 июн 2015 в 07:51

У js альтернативы как таковой нет.

TypeScript ;-)

tgz 8 июн 2015 в 07:57

TypeScript is a typed superset of JavaScript that compiles to plain JavaScript.

Так то я лучше PureScript возьму. :)
А еще лучше не привязываться к какому-то языку в браузере, но на сегодняшний день это фантастика.

Keyten 5 июн 2015 в 10:04

Напомнило :)

_{(Только это JavaScript)}

JeStoneDev 5 июн 2015 в 12:29

var x * 3

fix*

var x = 3

dunmaksim 5 июн 2015 в 10:22

Прочитал заголовок как «PHP — баллада о двух стульях» (ну вы поняли). Закрыл вкладку, т.к. всё уже было сказано несколько лет назад: habrahabr.ru/post/142140

mnv 5 июн 2015 в 11:15

Да, та статья шикарная

dim_s 5 июн 2015 в 10:28

Сравнивать float'ы нужно всегда с учетом погрешности в любом языке, а не только в PHP.

yegreS 5 июн 2015 в 11:33

Решение задачки: $x == 1 && $x == 2

x=...

при $x = true;

gaelpa 5 июн 2015 в 16:45

Это первый же комментарий к топику.

OlegTar 5 июн 2015 в 13:57

ИМХО, резюме должно быть такое: юзайте ===

dnabyte 5 июн 2015 в 21:54

Кому нужна транзитивность в PHP, те используют === тождественное сравнение активных типов (без преобразований). Но статья классная, хороший справочник)

annenkov 6 июн 2015 в 15:51

В большинстве случаев большинство, к счастью, эти примеры так и остаются просто любопытными случаями, но есть то на чем наверное рано или поздно спотыкается любой пхпшник, при том иногда довольно больно спотыкается — это empty('0')==true, возможно стоило упомянуть в статье и об этом, оно в принципе о том же.

fshp 8 июн 2015 в 12:58

На работе php-шники делают нам REST-API. Когда десериализуем Json происходит сущий ад. Числа в одном и том же запросе то в string, то во float, а если число 1, то приходит int. Писали, ругались. Проблемы они не видят, видимо слово «типы» им вообще не знакомо. Не хочу обижать всех, кто пишет на php, но сам язык предрасположен к написанию говнокода. В новых версиях намечается прогресс, хоть это радует.

sferrka 8 июн 2015 в 15:56

На работе сишники присылают нам в php xml, валидацию не проходит, даже кавычки расставлены неверно. Не хочу обижать никого, но c++ предрасположен к генерации невалидного xml. Проблемы они не видят, их собственноручная библиотека проходит все тесты. Надеюсь в версии c++ 15 эту проблему решат, а пока хотим перейти на nodejs.

fshp 8 июн 2015 в 16:14

Если в c++ вы указали тип поля int, то string вы туда никак не засунете. Чего не скажешь о php. Я вам реальный случай из жизни привожу, а вы передёргиваете.

sferrka 8 июн 2015 в 16:46

Вы рассказали реальный случай из жизни неквалифицированных работников (и видимо такого же отдела кадров и руководителя тех. отдела). Не понятно, причем тут PHP абсолютно, именно поэтому я привела пример с кавычками, а не типами.
И если вы не можете выставить элементарные требования к формату, то хоть кто вам будет слать JSON, и хоть с какими типами. А если формат есть, а работа выполняется некачественно, то можно обвинять язык, ОС, железо, ну вы поняли.

fshp 8 июн 2015 в 16:57

В языке со статической типизацией даже совсем зелёный новичок не совершил бы таких ошибок.

fshp 8 июн 2015 в 17:02

Подразумевал сильную типизацию, не статическую.

sferrka 8 июн 2015 в 17:03

Совершил бы другие, и? Вы обвиняете язык в его возможностях?

kivsiak 8 июн 2015 в 16:19

А зачем ругаться? Есть такая штука json-schema. И тут как бы одно из двух либо результат ей соответсвует и тогда никаких претензий друг к другу. Либо нет, тогда значит апи не соответствует спеке.

fshp 8 июн 2015 в 16:21

Json это лишь пример. Я говорю о том, что люди понятия не имеют, чем отличается «1», 1.0 и 1. Хотя пишут на php не первый год.

juryev 9 июн 2015 в 09:07

Всё это говорит о том, что программисту надо воздерживаться от неоднозначностей, предпочитать ===, а не ==, и вообще, писать ясный и читаемый код. При желании в любом языке можно найти разные «пасхалки», глюки и неоднозначности, — только зачем их все пихать в код? Опять же, юнит-тесты на что?

Зарегистрируйтесь на Хабре, чтобы оставить комментарий