Получить int позицию из строки PHP

Question

Я получаю данные от службы PUSH. Эти данные сжимаются с помощью gzcompress(). В самом начале данных он содержит int, который является длиной содержащихся данных. Это делается после gzcompress(); Таким образом, выборочные данные будут:

187xœËHÍÉÉ, 

который продуцируется

echo '187'.gzcompress('Hello'); 

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

Любые идеи о том, как извлекать/вычитать int?

$length_value=??? 
$string_value=??? 

Answer 1

Предполагая, что сжатые данные будут NEVER начинаться с цифры, то регулярное выражение будет проще всего:

$string = '187xœËHÍÉÉ,'; 
preg_match('/^(\d+)/', $string, $matches); 
$number = $matches[0]; 
$compressed_data = substr($string, 0, strlen($number)); 

Если сжатые данные ДЕЙСТВИТЕЛЬНО начинаться с цифры, то вы собираетесь в конечном итоге с поврежденными данными - у вас не будет абсолютно никакого способа дифференцирования, где значение «длина» прекращается, и сжатые данные начинаются, например

$compressed = '123foo'; 
$length = '6'; 

$your_string = '6123foo'; 

ОК - это строка длиной 61, со сжатыми данными 23foo? или 612 + 3foo?

Answer 2

Вы можете использовать preg_match() поймать целое число в начале строки. http://php.net/manual/en/function.preg-match.php

Answer 3

Вы можете сделать:

$contents = "187xœËHÍÉÉ,"; 
$length = (int)$contents; 
$startingPosition = strlen((string)$length); 
$original = gzuncompress(substr($contents, $startingPosition), $length); 

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