case

 255216:

                

$file_type

 = 'jpg';

                

break

;

            

case

 7173:

                

$file_type

 = 'gif';

                

break

;

            

case

 6677:

                

$file_type

 = 'bmp';

                

break

;

            

case

 13780:

                

$file_type

 = 'png';

                

break

;

            

default

:

                

$file_type

 = 'unknown';

                

break

;

        

}

 

        echo

 

$file

 , ' type: <b>', 

$file_type

, '</b> code:<b>', 

$type_code

, '</b><br />';

 

    

}

 
本例输出结果
c:\1.jpg type: jpg code:255216
c:\1.png type: png code:13780
c:\1.gif type: gif code:7173
c:\1.rar type: rar code:8297
c:\1.zip type: zip code:8075
c:\1.exe type: exe code:7790