[函数]MongoDB\Driver\Session::getOperationTime()函数—用法及示例

函数名：MongoDB\Driver\Session::getOperationTime()

适用版本：MongoDB PHP Library 1.0.0+

用法：该函数用于获取会话的操作时间。

示例：

// 创建MongoDB会话
$manager = new MongoDB\Driver\Manager("mongodb://localhost:27017");
$session = $manager->startSession();

// 执行查询操作
$collection = new MongoDB\Collection($manager, "mydb.mycol");
$options = [
    'session' => $session
];
$query = new MongoDB\Driver\Query([], $options);
$cursor = $collection->executeQuery($query);

// 获取会话的操作时间
$operationTime = $session->getOperationTime();
var_dump($operationTime);

上述示例中，我们首先创建了一个MongoDB会话，并将其传递给查询操作的选项中。然后，我们使用会话执行了一个查询操作，并通过调用getOperationTime()方法获取了会话的操作时间。最后，我们使用var_dump()函数打印了操作时间的值。

请注意，为了使用MongoDB\Driver\Session类和相关方法，你需要安装MongoDB PHP扩展，并确保你的PHP版本符合MongoDB PHP Library的要求。