服务器之家

服务器之家 > 正文

php根据操作系统转换文件名大小写的方法

时间:2020-06-12 16:15     来源/作者:服务器之家

在php的开发中我们要包含某个文件通常的代码是这样的:

 

复制代码 代码如下:

<?php 
     if(is_file($fileName))
        require $flleName;

 

在windows,linux下运行都没有问问题: 假设现在要包含一个   D:/web/webServer/A.php文件

在传值的时误传了D:/web/webServer/a.php  在windows下运行时也会把D:/web/webServer/A.php包含进来,因为windows是不区分大小的,放在linux下就会报错了

那如做到在windows加载也能区分大小写呢?代码如下:

 

复制代码 代码如下:

if(is_file($fileName)){
   //PHP_OS  当前运行的操作系统
   if(strstr(PHP_OS,'WIN')){
     //realpath($fileName) 会转换文件名的大小写  /web/A.php 如果A.php不存在而a.php则会返回/web/a.php
        if(basename(realpath($fileName)) == basename($fileName))
            require $fileName;
        else
            echo '请检查文件的大小写';
    }else
        require $fileName;
}

 

相关文章

热门资讯

2022年最旺的微信头像大全 微信头像2022年最新版图片
2022年最旺的微信头像大全 微信头像2022年最新版图片 2022-01-10
蜘蛛侠3英雄无归3正片免费播放 蜘蛛侠3在线观看免费高清完整
蜘蛛侠3英雄无归3正片免费播放 蜘蛛侠3在线观看免费高清完整 2021-08-24
背刺什么意思 网络词语背刺是什么梗
背刺什么意思 网络词语背刺是什么梗 2020-05-22
yue是什么意思 网络流行语yue了是什么梗
yue是什么意思 网络流行语yue了是什么梗 2020-10-11
暖暖日本高清免费中文 暖暖在线观看免费完整版韩国
暖暖日本高清免费中文 暖暖在线观看免费完整版韩国 2021-05-08
返回顶部