php 判断是否文件,php 判断是否一个文件的函数is

php手册中关于此函数的介绍。

php is_file 判断是否为文件的代码

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

is_file — Tells whether the filename is a regular file

用法

bool is_file ( string $filename ) $file 为必选参数

如果文件存在且为正常的文件则返回 TRUE。

例1：

复制代码代码示例:

var_dump(is_file('a_file.txt')) . "\n";

var_dump(is_file('/usr/bin/')) . "\n";

输出：

bool(true)

bool(false)

例2：

复制代码代码示例:

function isfile($file){

return preg_match('/^[^.^:^?^-][^:^?]*.(?i)' . getexts() . '$/',$file);

//first character cannot be . : ? - subsequent characters can't be a : ?

//then a . character and must end with one of your extentions

//getexts() can be replaced with your extentions pattern

}

function getexts(){

//list acceptable file extensions here

return '(app|avi|doc|docx|exe|ico|mid|midi|mov|mp3|

mpg|mpeg|pdf|psd|qt|ra|ram|rm|rtf|txt|wav|word|xls)';

}

echo isfile('/Users/YourUserName/Sites/index.html');

例3：

复制代码代码示例:

function deletefolder($path)

{

if ($handle=opendir($path))

{

while (false!==($file=readdir($handle)))

{

if ($file<>"." AND $file<>"..")

{

if (is_file($path.'/'.$file))

{

@unlink($path.'/'.$file);

}

if (is_dir($path.'/'.$file))

{

deletefolder($path.'/'.$file);

@rmdir($path.'/'.$file);

}

php 判断是否文件,php 判断是否一个文件的函数is_file()应用举例相关推荐

IO流递归拷贝一个文件夹里面的所有文件，到另一个文件夹。如果重复不拷贝，可续拷
import java.io.*;/*** IO流递归拷贝一个文件夹里面的所有文件,到另一个文件夹.如果重复不拷贝,可续拷* @author silence*/ public class IoCopy ...
Colab 上使用shutil.copytree()复制整个文件夹到另一个文件夹
Colab 上使用 shutil.copytree() 方法设置 dirs_exist_ok=True 执行代码提示报错:TypeError:copytree() got an unexpect ...
linux挂载一个文件夹,linux挂载一个文件夹到另一个文件夹
linux 挂载一个文件夹到另一个文件夹 Most Linux and Unix file systems don't allow hard links to directories (except ...
hdfs 多个文件合并_hadoop学习笔记3　hadoop程序将本地文件夹中多个文件，合并为一个文件并上传到hdfs中--梦飞翔的地方(梦翔天空)...
今天梦翔儿,成功实现hadoop编程,将本地文件夹中多个文件,合并为一个文件并上传到hdfs中直接上代码:PutMerge.java import java.io.IOException; impo ...
如何用c#打开文件夹并选择文件夹内的一个文件 open folder and select file
如何用c#打开文件夹并选择文件夹内的一个文件 open folder and select file: 在运行中可以输入"Explorer /select,D:\somefile.txt&q ...
多个html文件内容合并,Bat批量将多个文件夹内容合并一个文件夹
方法一把各文件夹内所有文件内并到自动建的一个合并文件夹内,如有同名文件在主名后附容_序号. 将以下内容保存到新建的txt文件中,重命名txt文件后缀用txt改为bat,双击运行.@echo off ...
python创建多个文件夹合并_在python中如何将多个文件夹合并到一个文件夹中？
我需要将多个文件夹合并到一个文件夹中,并考虑到它们基于时间的顺序,为此我尝试了:import os import shutil DestFolder = 'C:\\Users\\user\\Folde ...
python怎么把一个文件夹内的文件复制到另外一个文件夹（进阶重命名复制）
需求:把一个文件夹内(包含子文件夹)的所有文件复制到另一个文件夹下 #coding=utf-8 import os import shutilold_path = r'F:\1' # 要复制的文 ...
从磁盘中读入一个文件并写入另一个文件
import java.io.BufferedInputStream; import java.io.BufferedOutputStream; import java.io.File; import ...
Ubuntu移动和复制文件夹到另一个文件夹
移动一个文件夹到另一个文件夹下 sudo mv 文件名目标文件夹路径 (前提:必须在要移动的文件的目录下执行该命令,而且该文件夹下不能有文件夹,我的part2文件夹放在home目录下) 复制一个** ...

php 判断是否文件,php 判断是否一个文件的函数is_file()应用举例

php 判断是否文件,php 判断是否一个文件的函数is_file()应用举例相关推荐

最新文章

热门文章