图片格式的转化, 图片的缩放

    即对javax.imageio.ImageIO 对BufferedImage的读写操作.  支持什么格式图片使用ImageIO有些静态方法获取.

package  com.websites;

import  java.awt.image.BufferedImage;
import  java.io.File;
import  java.io.IOException;

import  javax.imageio.ImageIO;

public   class  ImageUtil  ... {

    /** *//**
     * @param args
     */
    public static void main(String[] args) throws Exception ...{
        File srcPic = new File("d:/test.png");
        File descPic = new File("d:/test_small.png");
        convertPictureFormat(srcPic, descPic, 128*128);

    }
    
    public static void convertPictureFormat(File srcPic, File descPic, int maxPicArea) throws IOException ...{
        BufferedImage srcImage = ImageIO.read(srcPic);
        int width = srcImage.getWidth();
        int height = srcImage.getHeight();
        int area = width * height;
        final int maxArea = maxPicArea;
        if (area > maxArea) ...{
            double factor = Math.sqrt((double)area/maxArea);
            width = (int)(width / factor);
            height = (int)(height / factor);
        }
        BufferedImage descImage = new BufferedImage(width, height, BufferedImage.TYPE_USHORT_555_RGB);
        descImage.getGraphics().drawImage(srcImage, 0, 0, width, height, null);
        String newPicName = descPic.getName();
        String newPicFormat = newPicName.substring(newPicName.indexOf('.')+1);
        ImageIO.write(descImage, newPicFormat, descPic);
    }

}