MongoDB\Driver\Server::getPort()
获取MongoDB服务器的端口号
函数名称：MongoDB\Driver\Server::getPort()
函数描述：该函数用于获取MongoDB服务器的端口号。
适用版本：MongoDB\Driver\Server::getPort()函数在MongoDB驱动版本1.0.0及以上版本中可用。
语法：public MongoDB\Driver\Server::getPort(): ?int
返回值：返回MongoDB服务器的端口号，如果无法获取端口号则返回null。
示例用法：
<?php
// 创建MongoDB服务器实例
$server = new MongoDB\Driver\Server("mongodb://localhost:27017");
// 获取服务器的端口号
$port = $server->getPort();
// 检查端口号是否成功获取
if ($port !== null) {
echo "MongoDB服务器的端口号是：".$port;
} else {
echo "无法获取MongoDB服务器的端口号";
}
?>
上述示例代码中，我们首先创建了一个MongoDB服务器实例，然后使用getPort()函数获取服务器的端口号。最后，我们通过判断返回值是否为null来确定是否成功获取到了端口号，并将结果进行输出。
请注意，为了使用该函数，你需要安装MongoDB驱动扩展，并在代码中引入相关的命名空间。