解决Zend日期DST Bug

Question

我发现了a bug in Zend_Date when setting a time that crosses the DST change。

这里的代码说明了这个问题：

date_default_timezone_set('America/New_York'); 

echo '<pre>'; 

// DST BEGINS '2012-03-11 02:00:00' - "Spring Forward" 
$a = new Zend_Date('2012-03-11 00:00:00', 'yyyy-MM-dd HH:mm:ss'); 
$a->setTime('04:00:00', 'HH:mm:ss'); 
echo $a->toString('yyyy-MM-dd HH:mm:ss', 'iso') 
     . ' // expected: 2012-03-11 04:00:00' . PHP_EOL; 
$b = new Zend_Date('2012-03-11 04:00:00', 'yyyy-MM-dd HH:mm:ss'); 
$b->setTime('00:00:00', 'HH:mm:ss'); 
echo $b->toString('yyyy-MM-dd HH:mm:ss', 'iso') 
     . ' // expected: 2012-03-11 00:00:00' . PHP_EOL; 

// DST ENDS '2012-11-04 02:00:00' - "Fall Back" 
$c = new Zend_Date('2012-11-04 00:00:00', 'yyyy-MM-dd HH:mm:ss'); 
$c->setTime('04:00:00', 'HH:mm:ss'); 
echo $c->toString('yyyy-MM-dd HH:mm:ss', 'iso') 
     . ' // expected: 2012-11-06 04:00:00' . PHP_EOL; 
$d = new Zend_Date('2012-11-04 04:00:00', 'yyyy-MM-dd HH:mm:ss'); 
$d->setTime('00:00:00', 'HH:mm:ss'); 
echo $d->toString('yyyy-MM-dd HH:mm:ss', 'iso') 
     . ' // expected: 2012-11-06 00:00:00' . PHP_EOL; 

echo '</pre>'; 

。OUPUTS：我要纠正此错误

2012-03-11 05:00:00 // expected: 2012-03-11 04:00:00 
2012-03-10 23:00:00 // expected: 2012-03-11 00:00:00 
2012-11-04 03:00:00 // expected: 2012-11-06 04:00:00 
2012-11-04 01:00:00 // expected: 2012-11-06 00:00:00 

，我很为难。

---

解决方案基于the answer

从nerdzila，并在a bug introduced by his solution研究，我现在有这在我的子类Zend_Date：

/** 
* Call the function twice to work around the DST bug 
* http://zendframework.com/issues/browse/ZF-10584 
* https://stackoverflow.com/questions/7181702/work-around-for-zend-date-dst-bug 
* https://stackoverflow.com/questions/8593660/zend-date-dst-bug-test-whether-a-date-is-a-time-change-date 
* TODO: remove this once the bug is fixed 
* 
* @param string|integer|array|Zend_Date $time Time to set 
* @param string       $format OPTIONAL Timeformat for parsing input 
* @param string|Zend_Locale    $locale OPTIONAL Locale for parsing input 
* @return My_Date Provides fluid interface 
* @throws Zend_Date_Exception 
*/ 
public function setTime($time, $format = null, $locale = null) 
{ 
    // start time zone juggling so that localtime() returns the correct results 
    $tzOrig = date_default_timezone_get(); 
    date_default_timezone_set($this->getTimezone()); 

    // capture orignal info 
    $timeInfoOrg = localtime($this->getTimestamp(), true); 

    // set the time 
    parent::setTime($time, $format, $locale); 

    // if the dst has changed, perform workaround 
    $timeInfoNew = localtime($this->getTimestamp(), true); 
    if ((0 < $timeInfoOrg['tm_isdst']) != (0 < $timeInfoNew['tm_isdst'])) { 
     // set the time again 
     parent::setTime($time, $format, $locale); 
     // if the day changed, set it back 
     if ($timeInfoOrg['tm_yday'] != $timeInfoNew['tm_yday']) { 
      // localtime() year date is zero indexed, add one 
      $this->setDayOfYear($timeInfoOrg['tm_yday'] + 1); 
     } 
    } 

    // end time zone juggling 
    date_default_timezone_set($tzOrig); 

    // fluent 
    return $this; 
} 

我可以简单地将其删除，一旦错误已修复。

Answer 1

这是一个不幸的错误。我周围有通过调用setTime()两次，每次时间：

... 
$a->setTime('04:00:00', 'HH:mm:ss'); 
$a->setTime('04:00:00', 'HH:mm:ss'); 
... 
$b->setTime('00:00:00', 'HH:mm:ss'); 
$b->setTime('00:00:00', 'HH:mm:ss'); 
... 
$c->setTime('04:00:00', 'HH:mm:ss'); 
$c->setTime('04:00:00', 'HH:mm:ss'); 
... 
$d->setTime('00:00:00', 'HH:mm:ss'); 
$d->setTime('00:00:00', 'HH:mm:ss'); 
... 

我的结果：

2012-03-11 04:00:00 // expected: 2012-03-11 04:00:00 
2012-03-10 00:00:00 // expected: 2012-03-11 00:00:00 
2012-11-04 04:00:00 // expected: 2012-11-04 04:00:00 
2012-11-04 00:00:00 // expected: 2012-11-04 00:00:00