MongoDB\Driver\Server::getPort()

函数名称：MongoDB\Driver\Server::getPort()

函数描述：该函数用于获取MongoDB服务器的端口号。

适用版本：MongoDB\Driver\Server::getPort()函数在MongoDB驱动版本1.0.0及以上版本中可用。

语法：public MongoDB\Driver\Server::getPort(): ?int

返回值：返回MongoDB服务器的端口号，如果无法获取端口号则返回null。

示例用法：

getPort();
// 检查端口号是否成功获取
if ($port !== null) {
 echo "MongoDB服务器的端口号是：".$port;
} else {
 echo "无法获取MongoDB服务器的端口号";
}
?>

上述示例代码中，我们首先创建了一个MongoDB服务器实例，然后使用getPort()函数获取服务器的端口号。最后，我们通过判断返回值是否为null来确定是否成功获取到了端口号，并将结果进行输出。

请注意，为了使用该函数，你需要安装MongoDB驱动扩展，并在代码中引入相关的命名空间。