DateTime 对象的 timezone_type 属性是什么？

Question

我想知道echo json_encode(new \DateTime()); 的这个输出是什么意思：

    {
        "date":"2019-04-16 14:43:15.126710",
        "timezone_type":3,
        "timezone":"Europe\/Berlin"
    }

date 和 timezone 很明显......但是这是什么timezone_type？官方文档对我帮助不大。关于DateTime 的页面没有提到这样的事情，它只是提到你可以获取/设置一个 DateTimeZone。关于DateTimeZone 的页面也没有帮助。

那么……那是什么？ PHP从哪里得到它？它有什么用？

Answer 1

时区可以是DateTime 对象中的三种不同类型之一：

1. UTC 偏移量，例如new DateTime("17 July 2013 -0300");

2. 时区缩写，例如new DateTime("17 July 2013 GMT");

3. 时区标识符，例如new DateTime( "17 July 2013", new DateTimeZone("Europe/London"));

source-link