有时在一些库中，比如thephpleague/csv，我看到use关键字导入核心标识符（例如函数、类或常量），但我根本不明白为什么要导入它们。
请参见以下示例：
use Generator;
use SplFileObject;
use function filter_var;
use function get_class;
use function mb_strlen;
use function rawurlencode;
use function sprintf;
use function str_replace;
use function str_split;
use function strcspn;
use function strlen;
use const FILTER_FLAG_STRIP_HIGH;
use const FILTER_FLAG_STRIP_LOW;
use const FILTER_SANITIZE_STRING;
或者更多来自这里。
该文件中导入的这些类、函数和常量属于 PHP 核心，因此我们实际上不需要导入它们。
为什么这个库和其他库导入这些？