📅  最后修改于: 2023-12-03 15:18:22.737000             🧑  作者: Mango
pop()
函数是DS\Sequence接口的成员之一,用于移除并返回Sequence末尾的一个元素。
public function pop(): mixed;
无参数。
返回移除的元素,如果sequence为空则返回null。
use Ds\Vector;
$vector = new Vector([1, 2, 3]);
$value = $vector->pop(); // $value为3,$vector为[1, 2]
pop()
函数只能用于实现了DS\Sequence接口的类,如Ds\Vector和Ds\Deque等。如果尝试在其他类或数组上使用该函数将会抛出异常。
该函数会修改原始的sequence,因此在使用之前请确保已经备份原始数据。
如果sequence为空,使用该函数并不会导致错误,但是返回值为null。
PHP官方文档 https://www.php.net/manual/en/ds-sequence.pop.php
Ds官方文档 https://www.php.net/manual/en/class.ds-sequence.php