PUSH サービスからデータを受け取ります。このデータは gzcompress() で圧縮されます。データの先頭には、含まれるデータの長さである int が含まれています。これは gzcompress(); の後に行われます。したがって、サンプル データは次のようになります。
187xœËHÍÉÉ,
によって生成されます
echo '187'.gzcompress('Hello');
int の長さはわかりません。1 桁かもしれませんし、10 桁かもしれません。また、文字列の先頭の位置を見つけるための最初の文字もわかりません。
int を取得/減算する方法についてのアイデアはありますか?
$length_value=???
$string_value=???