php socket 如何实现一个标准的writeInt

就是像java里一样。
主要我的目的是和java的对接
java这边要read：

DataInputStream stream = new DataInputStream(new BufferedInputStream(socket.getInputStream()));
int l =  stream.readInt();

另外求下writeString或writeUTF
最后麻烦下，java端如果用 stream.readFully ，PHP端怎么办

回复内容：

就是像java里一样。
主要我的目的是和java的对接
java这边要read：

DataInputStream stream = new DataInputStream(new BufferedInputStream(socket.getInputStream()));
int l =  stream.readInt();

另外求下writeString或writeUTF
最后麻烦下，java端如果用 stream.readFully ，PHP端怎么办

先使用pack将需要传输的转换为二进制格式，在通过socket_write发送即可。

可以简单模拟成

function writeInt($socket, $i)
{
    $data = pack('N', $i); // N 表示32位大端字节序
    socket_write($socket, $data);
}