image_type_to_extension
获取图像类型的文件扩展名
PHP 4 >= 4.3.0, PHP 5, PHP 7, PHP 8
image_type_to_extension() 函数返回指定图片类型的文件扩展名(如 .jpg, .png, .gif 等)。它根据给定的图片类型常量(如 IMAGETYPE_JPEG, IMAGETYPE_PNG)来返回正确的文件扩展名。
string image_type_to_extension ( int $image_type [, bool $include_dot = true ] )
返回字符串类型的文件扩展名,包括文件类型的前缀点(如果 $include_dot 为 true)。如果 $image_type 不是有效的图片类型常量,返回 false。
以下是一个如何使用 image_type_to_extension 函数的示例:
<?php $imageType = IMAGETYPE_JPEG; $extension = image_type_to_extension($imageType); echo $extension; // 输出 ".jpg" ?>
在这个例子中,我们传递了常量 IMAGETYPE_JPEG 给函数 image_type_to_extension,它返回了对应的文件扩展名 ".jpg"。
如果我们不希望扩展名前带点,可以这样调用:
<?php $imageType = IMAGETYPE_PNG; $extension = image_type_to_extension($imageType, false); echo $extension; // 输出 "png" ?>
在这个示例中,$include_dot 设置为 false,返回的是 "png" 而不是 ".png"。