То ли воздух нынче пьян, то ли леший нынче рьян...

[WMix]

в тот момент когда мы дефинировали что любое число умноженное на ноль дает в результате ноль, приходится мириться с тем что делить на ноль мы не умеем!
и если '08'+1 должно давать 9 то понятно что '08' == 8

 

[Yaponchick]

WMix
Но тут же нет меж-типовых сравнений, зачем лишний раз конвертировать?

 

[Фанат]

сразу когда стоят операторы +-*/ == и др.

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

то есть алгоритм НЕ

оба оператора строки? сравниваем как строки : рожаем какую-то более сложную логику

А

проведем стандартную обработку операнда 1
проведем стандартную обработку операнда 2
сравниваем

в исходник щас смотрю, но не въезжаю....
сначала покастим оба оператора

 

[WMix]

я не вижу лишнего если чесно, вопрос сравнения двух нечто и и мне хотелось бы ожидать от 0008 по умолчанию числовое значение, потому как (int)'0008' мне писать не хочется.

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

 

[Фанат]

сразу когда стоят операторы +-*/ == и др.

Слушай, а ты прав!
Только без др.
zendi_convert_scalar_to_number встречается в zend_operators.c 12 раз:
2 раза - в определении
8 раз - в четырех "basic math" действиях
и 2 раза - в compare_function!
больше нигде.

 

[WMix]

я побоялся что забыл что нибудь к примеру "!", !=, += и тд

 

[Фанат]

WMix
Но тут же нет меж-типовых сравнений, зачем лишний раз конвертировать?

Вот это да - зогадка.
Единственное объяснение - под одну гребенку сделать было проще.

Но я, в итоге, так и не понял Рагаццевых заклинаний про степень и системы счисления - какое отношение они имеют к сравнению строк.

 

[WMix]

возможно было бы логичнее решить зададачу так как вы думаете, но это же правда что все данные чаще strings и если этого не делать для 2х strigs это может закончиться еще хуже и '8.0' из базы не будет равно '8' из http

 

[MiksIr]

О... "внезапно". Выходные проходят хорошо, вижу
Ну вот вам еще равенство, что бы не скучно было
("1000" == "1e3")

 

[MiksIr]

Мне вот непонятно скорее другое... Почему "017" тогда уж 17, а не 15

 

[Фанат]

А, так вот что Рагаццо в виду имел.
Не, но это понятно уже, это другое следствие той же причины - предварительного кастинга при сравнении.
А вопрос был - зачем делается этот кастинг.

 

[WMix]

("1000" == "1e3")

это самое страшное согласен, но как я уже говорил, если мы создали такой дефининицион, приходится мириться и с этим...
а что там про '017' имелось в виду?

 

[MiksIr]

Так вот для этого хотя бы. PHP помогает не думать о типах, правильно? Вот все и работает именно так, как если не думать о типах. 0008 - это же 8, правильно? Ну вот любого спроси - у тебя в кармане 0008 рублей, сколько у тебя в кармане рублей? )
А как только начинаешь задумываться "я же сравниваю string", то все, забыли про == и взяли ===.

 

[MiksIr]

это самое страшное согласен, но как я уже говорил, если мы создали такой дефининицион, приходится мириться и с этим...
а что там про '017' имелось в виду?

Ну 017 - это восьмеричная запись.

 

[WMix]

А вопрос был - зачем делается этот кастинг.

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

 

[WMix]

017 это восмеричная а '017' это десятичная.
чтож ты про 16ричные забыл? они в кавычках тоже не интерпретируются (кажется)

 

[Фанат]

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

Любовь - прекрасное чувство, но когда мне объясняют, что строка '8' равна строке '000000000008' - у меня чувство, что меня на... эээ... обманывают.

 

[WMix]

это цена за любовь!
http://www.php.net/manual/en/function.strcmp.php

 

[Фанат]

Все равно не понимаю.
Вот объясните, кто в теме
https://github.com/php/php-src/blob/a744390c503645d0326a2aff26c986f85ffc3a01/Zend/zend_operators.c#L1465
Вот у нас понеслась эта свитчь. Доходим до

case TYPE_PAIR(IS_STRING, IS_STRING):

ПОЧЕМУ мы здесь не вылетаем, а идем дальше, к

if (!converted) {

и дальше конвертируемся и уходим на новый цикл?

 

[WMix]

я думаю там вызывается zendi_smart_strcmp
и там написанно
if ((ret1=is_numeric_string_ex(Z_STRVAL_P(s1), Z_STRLEN_P(s1), &lval1, &dval1, 0, &oflow1)) &&.....