codecamp

PHP is_file() 函数

PHP is_file() 函数


PHP Filesystem 参考手册 完整的 PHP Filesystem 参考手册

定义和用法

is_file() 函数检查指定的文件是否是常规的文件。

如果文件是常规的文件,该函数返回 TRUE。

语法

is_file(file)

参数 描述
file 必需。规定要检查的文件。


提示和注释

注释:该函数的结果会被缓存。请使用 clearstatcache() 来清除缓存。


实例

<?php
$file = "test.txt";
if(is_file($file))
{
echo ("$file is a regular file");
}
else
{
echo ("$file is not a regular file");
}
?>

上面的代码将输出:

test.txt is a regular file


PHP Filesystem 参考手册 完整的 PHP Filesystem 参考手册
温馨提示
下载编程狮App,免费阅读超1000+编程语言教程
取消
确定
目录

PHP 相关教程

关闭

MIP.setData({ 'pageTheme' : getCookie('pageTheme') || {'day':true, 'night':false}, 'pageFontSize' : getCookie('pageFontSize') || 20 }); MIP.watch('pageTheme', function(newValue){ setCookie('pageTheme', JSON.stringify(newValue)) }); MIP.watch('pageFontSize', function(newValue){ setCookie('pageFontSize', newValue) }); function setCookie(name, value){ var days = 1; var exp = new Date(); exp.setTime(exp.getTime() + days*24*60*60*1000); document.cookie = name + '=' + value + ';expires=' + exp.toUTCString(); } function getCookie(name){ var reg = new RegExp('(^| )' + name + '=([^;]*)(;|$)'); return document.cookie.match(reg) ? JSON.parse(document.cookie.match(reg)[2]) : null; }