首页 / PHP / $file=isset($file)&&$file?$file:'index'这段代码什么意思?该怎么处理