StompException::getDetails()
获取 Stomp 异常的详细信息
函数名称：StompException::getDetails()
适用版本：PHP 5 >= 5.3.0, PHP 7, PHP 8
函数描述：StompException::getDetails() 方法用于获取 Stomp 异常的详细信息。
用法示例：
try {
// 创建 Stomp 客户端连接
$stomp = new Stomp('tcp://localhost:61613');
// 订阅消息队列
$stomp->subscribe('/queue/test');
// 尝试接收消息
$message = $stomp->readFrame();
if ($message === false) {
// 没有接收到消息，抛出异常
throw new StompException('Failed to receive message');
}
// 处理消息
// ...
} catch (StompException $e) {
// 输出异常的详细信息
echo $e->getDetails();
}
说明：
首先，我们创建了一个 Stomp 客户端连接对象 $stomp，并通过 subscribe() 方法订阅了一个消息队列。
然后，我们使用 readFrame() 方法尝试接收消息，如果接收失败，我们抛出一个 StompException 异常。
在 catch 块中，我们通过调用 $e->getDetails() 方法获取异常的详细信息，并将其输出到屏幕上。
注意事项：
在使用 Stomp 扩展之前，需要确保已经安装了 stomp 扩展，可以通过 phpinfo() 函数来查看是否已经安装。
在实际使用中，可以根据需求对异常进行更详细的处理，例如记录日志、发送邮件等。