批处理日期时间格式化

编写Windows批处理时经常会需要使用到日期和时间作为文件名，我们希望根据time命名文件名，所以批处理的格式化就比较重要。

如何获取日期呢?
格式：  %date%
结果：  2012-07-31

如何获取时间呢?
格式：  %time%
结果：  10:21:21.68

这是获取的系统标准格式的日期和时间，但是有时候我们需要使用规定的格式，怎么办呢?

格式：   %date:~x,y%以及%time:~x,y%
说明：   x是开始位置，y是取得字符数

比如说我要获取完整的日期和时间，
格式：   %date:~0,4%%date:~5,2%%date:~8,2%%time:~0,2%%time:~3,2%%time:~6,2%
结果：   20120731111039

但是如果时间早于10点，那么只显示日期不显示时间，如：20120731，如何解决呢?
格式：   %date:~0,4%%date:~5,2%%date:~8,2%0%time:~1,1%%time:~3,2%%time:~6,2%
结果：   20120731052539

这样就达到我们的目标，成功的得到日期和时间了。