在 PHP 中将 RFC 1123 日期转换为时间戳

Question

将 RFC 1123 日期（来自 HTTP 过期标头）转换为 UNIX 时间戳的最简单或最优雅的方法是什么？

示例：2005 年 8 月 14 日星期日 16:13:03 GMT

我真的必须“substr”所有内容吗？

Answer 1

strtotime 可以读取该格式。

Answer 2

钻孔方法：

            $datestring = 'Sun, 14 Aug 2005 16:13:03 GMT';
            $months = array('Jan' => 1,
                            'Feb' => 2,
                            'Mar' => 3,
                            'Apr' => 4,
                            'May' => 5,
                            'Jun' => 6,
                            'Jul' => 7,
                            'Aug' => 8,
                            'Sep' => 9,
                            'Oct' => 10,
                            'Nov' => 11,
                            'Dec' => 12,
                        );

            $date = explode(' ', $datestring);

            // Validity check
            if(count($date) != 6) { return; }

            $time = explode(':', $date[4]);

            // Validity check
            if(count($time) != 3) { return; }                
            if(! isset($months[$date[2]])) { return; }

            // Convert to time
            $timestamp= gmmktime($time[0], $time[1], $time[2], $months[$date[2]], $date[1], $date[3]);