MongoDB\Driver\Monitoring\ServerChangedEvent::getPort()
获取MongoDB服务器变更事件中变更后的端口号
函数名：MongoDB\Driver\Monitoring\ServerChangedEvent::getPort()
适用版本：MongoDB PHP Library 1.0.0及以上版本
用法：该函数用于获取MongoDB服务器变更事件中变更后的端口号。
示例：
// 创建一个MongoDB服务器变更事件对象
$event = new MongoDB\Driver\Monitoring\ServerChangedEvent(
MongoDB\Driver\Monitoring\ServerChangedEvent::SERVER_TYPE_STANDALONE,
'localhost:27017',
'localhost:27018'
);
// 获取变更后的端口号
$port = $event->getPort();
// 打印输出变更后的端口号
echo "变更后的端口号: " . $port . "\n";
在上述示例中，我们首先创建了一个ServerChangedEvent对象，该对象表示一个MongoDB服务器的变更事件，其中包含了变更前后的服务器地址。然后，我们使用getPort()方法来获取变更后的端口号，并将其打印输出。请注意，示例中的服务器地址仅作为示例，实际使用时应根据实际情况进行替换。