我正在寻找如何确定它是文件还是文件夹类型的最佳方法。我在这里的主要动机是计算文件夹,但我有一种情况,我的文件夹可以命名为 test.ok 并且代码也应该计算这个,只要它是我的计数器应该增加的文件夹。
关于这个的任何想法?
我正在寻找如何确定它是文件还是文件夹类型的最佳方法。我在这里的主要动机是计算文件夹,但我有一种情况,我的文件夹可以命名为 test.ok 并且代码也应该计算这个,只要它是我的计数器应该增加的文件夹。
关于这个的任何想法?
is_dir似乎是您要查找的 PHP 命令:判断给定文件名是否为目录。
我会说用它来检查目录/文件
if(is_file($file))#File
if(is_dir($file))#directory/folder
根据您可能想尝试的评论进行编辑echo filetype($file)