【C++/C FAQ】如何格式化输出以0填充的定长整数

printf("%02d:%02d:%02dpm\n",12,0,0);