在js中做数字字符串补0

通常遇到的一个问题是日期的“1976-02-03 HH:mm:ss”这种格式 ，我的比较简单的处理方法是这样：

function formatDate(d) {
  var D=['00','01','02','03','04','05','06','07','08','09']
  with (d || new Date) return [
    [getFullYear(), D[getMonth()+1]||getMonth()+1, D[getDate()]||getDate()].join('-'),
    [D[getHours()]||getHours(), D[getMinutes()]||getMinutes(), D[getSeconds()]||getSeconds()].join(':')
  ].join(' ');
}

这种方法是逻辑比较简单的，而且规则也简单。除了with(d||new Date)的使用之外，也算不上什么技巧。但是，如果用这种方法来做数字字符串补0，那么结果显然不妙。51js的月影提供了另一个方案：

function pad(num, n) {
  return Array(n>num?(n-(''+num).length+1):0).join(0)+num;
}

调用示例如下：

pad(100, 4