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

StackOverflow https://stackoverflow.com/questions/300840

  •  08-07-2019
  •  | 
  •  

Вопрос

У нас есть целочисленная арифметика, которая по историческим причинам должна работать на 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, я не могу получить правильный ответ:

В С# я получаю

(-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 (по крайней мере, о том, как он обрабатывает целочисленное переполнение).

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

Другие советы

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

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

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

    return $value;
}

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

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

Я думаю, что это может быть связано с тем, что целое число в 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, которые могут иметь различную поддержку длинных целых чисел. Я считаю, что в последней версии 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);
}
Лицензировано под: CC-BY-SA с атрибуция
Не связан с StackOverflow
scroll top