Принудительное переполнение целочисленного значения в PHP - PullRequest
Новая
       12

Принудительное переполнение целочисленного значения в PHP

7 голосов
/ 19 ноября 2008

У нас есть некоторая целочисленная арифметика, которая по историческим причинам должна работать на 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?)

Буду признателен за любую помощь ...

Ответы [ 6 ]

13 голосов
/ 20 ноября 2008

Итак, я решил проблему и многое узнал о PHP (по крайней мере, в том, как он обрабатывает переполнение целых чисел).

1) Это полностью зависело от того, на какой платформе установлена ​​машина, какая версия PHP, работает ли на ней Suhosin Hardened PHP и сколько битов было скомпилировано (32 или 64). 6 машин вели себя так, как я ожидал (что на самом деле было неправильно, по крайней мере неправильно в соответствии с их документацией), а 3 машины вели себя так, как я до сих пор не могу объяснить, и 3 машины вели себя в соответствии с тем, что говорит команда intval в документация.

2) Intval должен возвращать PHP_MAX_INT, когда int> PHP_MAX_INT (не int & 0xffffffff), но это происходит только в некоторых версиях PHP4 и PHP5. Различные версии PHP возвращают разные значения, когда int> PHP_MAX_INT.

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 функцию тридцатьTwoBitIntval: 

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), и не преобразовывало случайным образом с повышением частоты. это число с плавающей запятой в зависимости от количества битов, под которым PHP компилятор.

11 голосов
/ 23 января 2010

Если вы хотите иметь 100% работающее решение для 32-битного интвала как на 32-битной, так и на 64-битной платформах, я предлагаю вам использовать следующее решение: 

function intval32bits($value)
{
    $value = ($value & 0xFFFFFFFF);

    if ($value & 0x80000000)
        $value = -((~$value & 0xFFFFFFFF) + 1);

    return $value;
}
3 голосов
/ 19 ноября 2008

Внутренне, PHP использует «целочисленный» тип для большинства чисел. Тем не менее, это заходит так далеко: если вы добавите большое целое число к большому целому, PHP увидит, что результат слишком велик, чтобы поместиться в обычное целое число, и назначит его для числа с плавающей запятой. Однако числа с плавающей точкой (числа с плавающей запятой) сами по себе только так высоки, и около шестнадцатизначного знака есть точка, где PHP просто полностью потеряет график.

Существует возможность использовать математику произвольной точности, которая поддерживает числа любого размера и точности, представленные в виде строк . Подробнее здесь: http://us2.php.net/bc

2 голосов
/ 19 ноября 2008

Будет ли это работать? 

echo (-1580033017 + -2072974554) & 0xffffffff

Обобщая, вы можете сделать (простите за любые синтаксические ошибки, я давно не касался PHP): 

function s32add($a, $b) {
    return ($a + $b) & 0xffffffff;
}
2 голосов
/ 19 ноября 2008

Я думаю, что это может быть связано с тем, что целое число в 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.

1 голос
/ 19 ноября 2008

Проверьте номер вашей версии 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);
}
...