ラボ > PHP:PATHやURL関連、ファイル関連

PHP ファイルの拡張子が欲しい

ファイルから拡張子を取得したい

作成日:2018-07-19, 更新日:2018-07-19

基本

方法がいくつかある。
・pathinfo()から取得
・「.」以降を取得

速さ

どっかの誰かが調べてくれていたけど「substr(〇〇〇, strrpos(〇〇〇, '.')+1)」が速いそうだ。

pathinfo()

▼拡張子を直接取得。

echo pathinfo(〇〇〇, PATHINFO_EXTENSION);

「pathinfo(〇〇〇)」でいったん、配列にしてから拡張子を取得するってのもアリ。

「.」以降を取得

「.」以降を取得といっても何種類かある。
・最後に出現する「.」を取得
・「.」で分割して、最後を取得

最後に出現する「.」を取得

「strrpos()」で最後に表示される「.」の位置を取得して「substr()」でその位置以降を取得

echo substr(〇〇〇, strrpos(〇〇〇, '.')+1);

「.」で分割して、最後を取得

ひとまず「explode()」で配列化。最後だけ取得

$ary = explode('.', 〇〇〇);
// あとは好きな方法で最後の要素を取得

関連項目

PHP URLやPATHからファイル名とファイル名抜きが欲しい