У нас есть целочисленная арифметика, которая по историческим причинам должна работать на PHP так же, как и на нескольких статически типизированных языках. С момента последнего обновления PHP поведение переполнения целых чисел изменилось. В основном мы используем следующую формулу:
function f($x1, $x2, $x3, $x4)
{
return (($x1 + $x2) ^ $x3) + $x4;
}
Однако даже с конверсиями:
function f($x1, $x2, $x3, $x4)
{
return intval(intval(intval($x1 + $x2) ^ $x3) + $x4);
}
Я все еще получаю совершенно неправильный номер ...
Например, с $ x1 = -1580033017, $ x2 = -2072974554, $ x3 = -1170476976) и $ x4 = -1007518822 я получаю -30512150 в PHP и 1617621783 в C#.
Просто сложив вместе $ x1 и $ x2, я не могу получить правильный ответ:
В C# я получаю
(-1580033017 + -2072974554) = 641959725
В PHP:
intval(intval(-1580033017) + intval(-2072974554)) = -2147483648
что то же самое, что:
intval(-1580033017 + -2072974554) = -2147483648
Я не против написать функцию "IntegerOverflowAdd" или что-то в этом роде, но я не могу понять, как (-1580033017 + -2072974554) равно 641959725. (Я признаю, что это -2147483648 + (2 * 2 ^ 31) , но -2147483648 + 2 ^ 31 равно -1505523923, что больше, чем Int.Min, так почему вы добавляете 2 * 2 ^ 31, а не 2 ^ 31?)
Любая помощь будет оценена ...





Я думаю, что это может быть связано с тем, что целое число в PHP является 32-битным без знака, поскольку в C# по умолчанию они подписаны 32-битными.
Вы играете с числами на границе нормального диапазона 31-32 бита.
См. Дополнительную документацию в руководстве по PHP:
http://www.php.net/manual/en/language.types.integer.php
Размер целого числа зависит от платформы, хотя максимальное значение около двух миллиардов является обычным значением (это 32 бита со знаком). PHP не поддерживает целые числа без знака. Целочисленный размер можно определить с помощью константы PHP_INT_SIZE, а максимальное значение - с помощью константы PHP_INT_MAX, начиная с PHP 4.4.0 и PHP 5.0.5.
Это сработает?
echo (-1580033017 + -2072974554) & 0xffffffff
В общем, вы могли бы сделать (простите за синтаксические ошибки, я давно не касался PHP):
function s32add($a, $b) {
return ($a + $b) & 0xffffffff;
}
Внутри PHP для большинства чисел используется «целочисленный» тип. Однако они зашли так далеко: если вы добавите большое целое число к большому целому числу, PHP увидит, что результат слишком велик, чтобы поместиться в обычное целое число, и присвоит его числу с плавающей запятой. Однако сами числа с плавающей запятой (float) могут быть очень высокими, и вокруг шестнадцатизначной отметки есть точка, в которой PHP просто полностью потеряет график.
Есть возможность использовать математику произвольной точности, которая поддерживает числа любого размера и точности, представленные в виде строк. Подробнее здесь: http://us2.php.net/bc
Проверьте номер своей версии PHP - я считаю, что возможно вы получите разные результаты с разными версиями PHP, которые могут иметь разную поддержку для длинных целых чисел. Я считаю, что в последней версии PHP 5 была ошибка с длинными целыми числами.
В версии PHP 5.2.0 - ответ ТОЧНО такой же, как в C#.
1617621783, г.
используя точную функцию, указанную выше.
Вы можете использовать команду phpinfo (), чтобы легко найти номер вашей версии.
$x1 = -1580033017;
$x2 = -2072974554;
$x3 = -1170476976 ;
$x4 = -1007518822;
echo f($x1, $x2, $x3, $x4);
function f($x1, $x2, $x3, $x4)
{
return intval(intval(intval($x1 + $x2) ^ $x3) + $x4);
}
Итак, я решил проблему и многое узнал о PHP (по крайней мере, в том, как он обрабатывает переполнение Integer).
1) Это полностью зависело от того, на какой платформе работает машина, какая версия PHP, работает ли на ней Suhosin Hardened PHP или нет, и для какого количества бит он был скомпилирован (32 или 64). 6 машин вели себя так, как я ожидал (что на самом деле было неправильно, по крайней мере, неправильно согласно их документации), и 3 машины вели себя так, как я до сих пор не могу объяснить, и 3 машины вели себя в соответствии с тем, что команда intval говорит, что она делает в документация.
2) Intval должен возвращать PHP_INT_MAX, когда int> PHP_INT_MAX (не int & 0xffffffff), но это происходит только в некоторых версиях PHP4 и PHP5. Различные версии PHP возвращают разные значения, когда int> PHP_INT_MAX.
3) Следующий код может вернуть 3 разных результата (см. 1):
<?php
echo "Php max int: ".PHP_INT_MAX."\n";
echo "The Val: ".(-1580033017 + -2072974554)."\n";
echo "Intval of the val: ".intval(-3653007571)."\n";
echo "And 0xffffffff of the val: ".(-3653007571 & 0xffffffff)."\n";
?>
Он может возвращаться (что кажется правильным для Intval, но неправильным для & 0xffffff)
Php max int: 2147483647
The Val: -3653007571
Intval of the val: -2147483648
And of the val: -2147483648
И он может вернуть (что противоречит документации PHP для intval):
Php max int: 2147483647
The Val: -3653007571
Intval of the val: -641959725
And of the val: -641959725
И на 64-битных машинах он возвращает (что правильно):
Php max int: 2147483647
The Val: -3653007571
Intval of the val: -3653007571
And of the val: -641959725
Решение
Как бы то ни было, мне нужно было решение, которое работало бы на всех этих платформах и не зависело от особенностей конкретной версии PHP, скомпилированной с определенным Max int. Таким образом, я использовал следующую кросс-PHP функцию 30TwoBitIntval:
function thirtyTwoBitIntval($value)
{
if ($value < -2147483648)
{
return -(-($value) & 0xffffffff);
}
elseif ($value > 2147483647)
{
return ($value & 0xffffffff);
}
return $value;
}
Комментарий
Я действительно думаю, что разработчики PHP должны были сказать, что Int - это 32-битный Int, независимо от того, работает ли он на 32-, 64- или 128-битной машине (например, DotNet CLR), и не преобразовывали его случайным образом в float в зависимости от количества битов, под которым работает компилятор PHP.
Если вы хотите иметь 100% рабочее решение для 32-битного intval как на 32-битной, так и на 64-битной платформах, то я предлагаю вам использовать следующее решение:
function intval32bits($value)
{
$value = ($value & 0xFFFFFFFF);
if ($value & 0x80000000)
$value = -((~$value & 0xFFFFFFFF) + 1);
return $value;
}
Я думаю, вы имеете в виду PHP_INT_MAX, а не PHP_MAX_INT.