ファイル拡張子を変更する

php

PHPでファイルのファイル拡張子名を変更するにはどうすればいいですか?

例えば、 $ filename = '234230923_picture.bmp'`で、拡張子を jpg`に変更したいです。

  8  1


ベストアンサー

$ newname = basename($ filename、 ".bmp")。 "。jpg"; ($ filename、$ newname)の名前を変更します。

ファイルがbmpファイルの場合、サフィックスを変更してもフォーマットは変更されません。

26


ただregexpに置き換えてください。

$ filename = preg_replace( '"\。bmp $"'、 '.jpg'、$ filename);

このコードを拡張して、 `bmp`だけでなく他の画像の拡張子を削除することもできます。

$ filename = preg_replace( '"\。(bmp | gif)$"'、 '.jpg'、$ filename);

9


http://php.net/manual/en/function.rename.php[`rename()`]新しい拡張子を使ってファイルを置き換えます。

3


(basenameの例のように)正規表現を使わず、(regexの例のように)複数の拡張子を使うことができます。

$ newname = str_replace(array( "。bmp"、 "。gif")、 ".jpg"、$ filename); ($ filename、$ newname)の名前を変更します。

もちろん、正規表現よりも安価ですが、単純な置換操作でも、ファイル名の中央にある.bmpが置換されます。

すでに述べたように、これによって画像ファイルの形式が変わることはありません。 そのためにはグラフィックライブラリを使う必要があるでしょう。

3


これを使用してファイルの名前を変更することができますhttp://us2.php.net/renameおよびこのhttp://us2.php.net/manual/en/function.pathinfo.phpファイルの基本名および他の拡張子を取得するために情報..

-1


タイトルとURLをコピーしました