这是PHP的DateTime:diff中的一个错误吗? - Is this a bug in PHP's DateTime:diff?

Is this a bug in PHP's DateTime:diff?

>> $start_dt = new DateTime()
DateTime::__set_state(array(
   'date' => '2012-04-11 08:34:01',
   'timezone_type' => 3,
   'timezone' => 'America/Los_Angeles',
))
>> $end_dt = new DateTime()
DateTime::__set_state(array(
   'date' => '2012-04-11 08:34:06',
   'timezone_type' => 3,
   'timezone' => 'America/Los_Angeles',
))
>> $start_dt->setTimestamp(strtotime('31-Jan-2012'))
DateTime::__set_state(array(
   'date' => '2012-01-31 00:00:00',
   'timezone_type' => 3,
   'timezone' => 'America/Los_Angeles',
))
>> $end_dt->setTimestamp(strtotime('1-Mar-2012'))
DateTime::__set_state(array(
   'date' => '2012-03-01 00:00:00',
   'timezone_type' => 3,
   'timezone' => 'America/Los_Angeles',
))
>> $interval = $start_dt->diff($end_dt)
DateInterval::__set_state(array(
   'y' => 0,
   'm' => 0,
   'd' => 30,
   'h' => 0,
   'i' => 0,
   's' => 0,
   'invert' => 0,
   'days' => 30,
))
>> $interval->format('%mm %dd')
'0m 30d'

即31-Jan-2012 1-Mar-2012产量不到一个月！我希望输出是 1 个月零 1 天。二月的天数无关紧要;这就是使用时间库的意义所在——它应该处理这些事情。WolframAlpha对此表示赞同。

我应该向 PHP 提交错误吗？是否有黑客/修复/解决方法可以让几个月按预期工作？

更新了答案

DateTime::diff的这种行为当然是出乎意料的，但这不是错误。简而言之，diff返回年，月，日等，如果您这样做了

$end_ts = strtotime('+$y years +$m months +$d days' /* etc */, $start_ts);

您将获得与结束原始结束日期相对应的时间戳。

这些添加是"盲目"执行的，然后应用日期更正（例如，1 月 31 日 + 1 个月将是 2 月 31 日，根据年份更正为 3 月 2 日或 3 月 3 日）。在这个特定示例中，您甚至不能添加一个月，正如 salathe 还解释的那样。

我应该向 PHP 提交错误吗？

不。

间隔的"月"部分意味着开始日期的月部分可以增加这么多个月。 PHP 中的行为，将你的开始日期31-Jan-2012并增加月份（字面意思是 31-Feb-2012），然后更正一个有效日期（PHP 为你这样做）会给出02-Mar-2012比你正在使用的目标日期晚。

为了证明这一点，请确定您的开始日期，并在几个月内添加 n 个月以查看行为。

31-Jan-2012 (Interval)
02-Mar-2012 (P1M)
31-Mar-2012 (P2M)
01-May-2012 (P3M)
31-May-2012 (P4M)
01-Jul-2012 (P5M)

您可以看到月份正在递增，然后进行调整以使其成为有效日期。