Ds\Vector::isEmpty()
检测一个向量（vector）是否为空
函数名称： Ds\Vector::isEmpty()
函数说明：该函数用于检测一个向量（vector）是否为空。
函数参数：无
返回值：如果向量为空，则返回true，否则返回false。
函数使用示例：
$vector = new Ds\Vector();
$vector->push(1);
$vector->push(2);
$vector->push(3);
if ($vector->isEmpty()) {
echo "向量为空";
} else {
echo "向量不为空";
}
在上面的示例中，我们创建了一个空的向量$vectors，并通过push()方法向向量中添加了三个元素。然后，我们使用isEmpty()方法来检测向量是否为空。由于向量不为空，则会输出"向量不为空"。
该函数适用版本：该函数在PHP版本7.3.0及以上的Ds扩展中可用。请确保你的PHP环境已安装并开启Ds扩展。
注意：在使用该函数之前，请先通过extension_loaded('ds')函数检测是否已加载了Ds扩展。