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