FC2ブログ

ファイル拡張子の取得

ファイル拡張子の取得

#09 ファイルの拡張子を取得する
http://dotinstall.com/lessons/upload_image_php/4509
を元に、投稿されたファイルの情報を取得して
拡張子を設定する

今回は、保存するファイル名を決めておく
これは、アップロードされたファイルの名前をそのまま使うと被ることもあるので、面倒になるから

最初に、拡張子を決め、名前をつけていく
拡張子をつけるのは、ほぼ決まり文句で

$imagesize = agetimagesize($_FILES['image']['tmp_name']);
これで、様々な情報が取得され
変数 $imagesize に格納される

中身を確認するには
var_dump() で
var_dump($imagesize);
で見ることができる

これにより、アップロードしたファイルの
縦横の幅
ファイルの種類などが解析される

これを使って、拡張子を決めていく
いろいろなファイルの拡張子があるので、
ここでは switch による分岐を行う

取得して比較する値は
["mime"]=>
string(9) "image/png"
というように
mime というところ

今回、対応拡張子は
gif
jpg
png
のみにする

コードは
switch($imagesize['mime']){
case 'image/gif':
$ext='.gif';
break;

case 'image/jpg':
$ext ='.jpg';
break;

case 'image/png':
$ext ='.png';
break;

default:
echo gif/jpg/png only !";
exit;
}
スポンサーサイト



テーマ : プログラミング
ジャンル : コンピュータ

コメント

非公開コメント

最新記事
検索フォーム
GREEハコニワ攻略サイト
リンク
カテゴリ
月別アーカイブ
フリーエリア
最新記事
FXプライムレート
最新コメント
最新トラックバック