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

Question

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

たとえば、$filename='234230923_picture.bmp'となります。拡張子をjpgに変更します。

Answer 1

ただ、正規表現に置き換える：あなたはまた、拡張することができ

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

を他の画像の拡張子だけでなく、bmpを削除するには、このコード：

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

Answer 2

rename()新しい拡張子でファイルを置換します。

Answer 3

あなたは、ファイルや他の拡張情報のベース名を取得するには、ファイルhttp://us2.php.net/renameと、このhttp://us2.php.net/manual/en/function.pathinfo.phpの名前を変更するためにこれを使用することができます。..

Answer 4

$newname = basename($filename, ".bmp").".jpg"; 
rename($filename, $newname); 

サフィックスがフォーマットを変更しません変更し、ファイルはBMPファイルである場合があることに注意してください:)

Answer 5

（ベース名の例のように）正規表現を使用しますが、（正規表現の例のように）複数の拡張可能性を許可していません。

$newname = str_replace(array(".bmp", ".gif"), ".jpg", $filename); 
rename($filename, $newname); 

もちろん、単純な置き換え操作は、正規表現よりも安価ですが、ファイル名の途中で.bmpを置き換えます。

前述のとおり、これは画像ファイルの形式を変更することはありません。これを行うには、グラフィックライブラリを使用する必要があります。