PHP и строки близкие в maxint?

Question

[WoZ]

Приглашаются знатоки «на подумать»)

Обнаружил странное поведение такого кода.

$id1 = '9223372036854775888';<br/>
$id2 = '9223372036854775899';<br/>
var_dump($id1 == $id2);<br/>

Результат — true. В мане сказано, что числовые строки сравниваются как целые. Чем нужно руководствоваться чтобы такое придумать? Т.е. когда заранее неизвестен вид сравниваемых строк, то можно получить что угодно на выходе.

Answer 1

[Max]

Сделайте маленький пост в ленту, это должен знать каждый. «Баг» висит с 2007 года так что вряд ли что-то изменится: bugs.php.net/bug.php?id=43304

Comments

[WoZ]

Оказывается, они задокументировали это, моя IDE имеет более старую документацию, где про

Преобразование типов не происходит при использовании ===

нет ни слова.

Answer 2

[pompeev]

Опасная штука, у меня тоже тру ==, === фолс.

при указании типа (string) даже тру

Comments

[WoZ]

Посмотрел ман, ман говорит, что числовые строки сравниваются как целые числа. Я вот раньше не задумывался об этом, но сколько кода подвержено такой потенциальной ошибке?

[pompeev]

Мне в голову если честно не лезет, где бы попробывать это. БД распознают разные строки.

Answer 3

[Meliborn]

use ===, Luke

Comments

[pompeev]

А почему тогда явное указание типа не дает результата?

[WoZ]

Потому что в голову девелоперам php пришла идиотская мысль сравнивать числовые строки как целочисленные значения. Чем руководствовались при принятии этого решения — загадка.

[shagguboy]

это вы еще до сравнения float не дошли.

[WoZ]

два float между собой?

Answer 4

[Владимир Чернышев]

Чем нужно руководствоваться чтобы такое придумать?

Тем что PHP изначально шаблонизатор, работает с текстовыми данными (вход скрипта с веб-сервера, записи в БД, файлы — всё строки), но данные зачастую числовые по сути. Вот и «облегчили» жизнь разработчикам, чтоб не нужно было на каждый чих типы приводить.

Помню случайно наткнулся на эту сомнительную «фичу», сравнивал примерно так: $str1. 'fake' == $str2. 'fake'

Comments

[WoZ]

Мда, отличный пример херового дизайна языка.

[IkaR49]

Ну почему же «херового»? Ведь изначально у него были немного иные цели, а потом просто переосмысливать не стали. В этом есть и плюсы, и минусы. Баги в любом случае обычным кодерам отлавливать.

[Vampiro]

Вот вы любители покритиковать =))))

Для примера, попробуйте прописать жестко тип каждой переменной которая есть в вашем проекте. А потом (когда это сделаете) оцените на сколько это трудозатратнее использования "===" вместо "==".