PHP : replace double spaces only between non-whitespace characters

Question

我有一个采用这种格式的日期(从特定脚本中提取)，我想删除其中的所有空格:

$date="Date:         Tue Aug  2 10:43"

很简单，但技巧是:在此之前，我想在“2”(或该月的任何其他第 9 个第一天)之前添加一个“0”，但是“0”必须替换“Aug”和“2”之间的第二个空格。实现这一目标的最佳方法是什么？

请记住，日期(显然)每天都会改变，所以我们不能简单地做这样的事情:

$date=str_replace("Aug  2","Aug 02",$date);

相反，我认为最好的方法是这样做:

$date=str_replace("[x]  [x]","[x] 0[x]",$date);

[x] 含义:“任何非空白字符”(请原谅我的近似值!)

Answer 1

使用date()和strtotime()来完成这个任务

$date = strtotime('Tue    Aug     2 10:43'); //white spaces won't effect
echo date('D M 0\2 h:i',$date); 
// output the date just replace the 2 with your 9th of month letter