Time 托伊特时区

我注意到当地时间有点奇怪。我的应用程序使用时间类打印日志：

time: = Time.now.local

如果使用toit execute…命令运行应用程序，控制台上将显示以下跟踪：

micrcx@micrcx-desktop:~/toit_apps/Hsm2/tests$ toit execute test_hsm_switch_async_4.toit 

18:31:53.532 exec [init INIT 0]
18:31:53.533 exec [switch Q_ENTRY 0]
18:31:53.535 exec [switch Q_INIT 0]
18:31:53.537 exec [off Q_ENTRY 0]
18:31:53.539 exec [off TURN 1]
18:31:53.540 exec [on Q_ENTRY 1]
18:31:53.543 exec [on TURN 2]
18:31:53.544 exec [off Q_ENTRY 2]
18:31:53.546 exec [off TURN 3]
18:31:53.548 exec [on Q_ENTRY 3]
18:31:53.549 exec [on RESET 4]
18:31:53.550 exec [switch Q_INIT 4]
18:31:53.552 exec [off Q_ENTRY 4]
^C
micrcx@micrcx-desktop:~/toit_apps/Hsm2/tests$

micrcx@micrcx-desktop:~/toit_apps/Hsm2/tests$ toit run test_hsm_switch_async_4.toit 
2021-04-24T18:34:12.677531Z: <process initiated>

20:34:12.536 exec [init INIT 0]
20:34:12.663 exec [switch Q_ENTRY 0]
20:34:12.705 exec [switch Q_INIT 0]
20:34:12.776 exec [off Q_ENTRY 0]
20:34:12.869 exec [off TURN 1]
20:34:13.055 exec [on Q_ENTRY 1]
20:34:13.160 exec [on TURN 2]
20:34:13.234 exec [off Q_ENTRY 2]
20:34:13.323 exec [off TURN 3]
20:34:13.397 exec [on Q_ENTRY 3]
20:34:13.569 exec [on RESET 4]
20:34:13.776 exec [switch Q_INIT 4]
20:34:13.826 exec [off Q_ENTRY 4]
^C
micrcx@micrcx-desktop:~/toit_apps/Hsm2/tests$ 

如果使用toit run…命令运行应用程序，控制台上将显示以下跟踪：

micrcx@micrcx-desktop:~/toit_apps/Hsm2/tests$ toit execute test_hsm_switch_async_4.toit 

18:31:53.532 exec [init INIT 0]
18:31:53.533 exec [switch Q_ENTRY 0]
18:31:53.535 exec [switch Q_INIT 0]
18:31:53.537 exec [off Q_ENTRY 0]
18:31:53.539 exec [off TURN 1]
18:31:53.540 exec [on Q_ENTRY 1]
18:31:53.543 exec [on TURN 2]
18:31:53.544 exec [off Q_ENTRY 2]
18:31:53.546 exec [off TURN 3]
18:31:53.548 exec [on Q_ENTRY 3]
18:31:53.549 exec [on RESET 4]
18:31:53.550 exec [switch Q_INIT 4]
18:31:53.552 exec [off Q_ENTRY 4]
^C
micrcx@micrcx-desktop:~/toit_apps/Hsm2/tests$

micrcx@micrcx-desktop:~/toit_apps/Hsm2/tests$ toit run test_hsm_switch_async_4.toit 
2021-04-24T18:34:12.677531Z: <process initiated>

20:34:12.536 exec [init INIT 0]
20:34:12.663 exec [switch Q_ENTRY 0]
20:34:12.705 exec [switch Q_INIT 0]
20:34:12.776 exec [off Q_ENTRY 0]
20:34:12.869 exec [off TURN 1]
20:34:13.055 exec [on Q_ENTRY 1]
20:34:13.160 exec [on TURN 2]
20:34:13.234 exec [off Q_ENTRY 2]
20:34:13.323 exec [off TURN 3]
20:34:13.397 exec [on Q_ENTRY 3]
20:34:13.569 exec [on RESET 4]
20:34:13.776 exec [switch Q_INIT 4]
20:34:13.826 exec [off Q_ENTRY 4]
^C
micrcx@micrcx-desktop:~/toit_apps/Hsm2/tests$ 

所以，我的本地时间是21:00，在ESP32上是20:00，在云端是18:00。从20:00开始一切或多或少都很清楚：这次是在哥本哈根，我的时间比它提前了一个小时。我不能说任何关于云的事情（真的是格陵兰岛？），我只是陈述了差异的事实。我有一个简单的问题：有可能把时间调整到我的当地时间吗？在这种情况下，转到21:00。也许在toit中有设置当前时区的功能？类似于Time.setTimeZone“美国/纽约”或Time.setTimeZone“丹麦/哥本哈根”、Time.setTimeZone“伊尔/耶路撒冷”、Time.setTimeZone“英国/伦敦”等

---

在这方面，MK

toit exec

在toit服务器上运行，而

toit run

在设备上运行

显然，这两个国家设置了不同的时区。设备的本地时间设置为CET/CEST，服务器上的本地时间（显然）设置为UTC

理想情况下，应该有一种通过配置文件（或Toit控制台）在设备上设置时区的方法。然而，这还不存在

同时，有一种方法可以在Toit程序中设置时区。

core.time\u impl

中的

set\u tz\u

功能可以设置tz变量：

/**
Stores the given $rules in the `TZ` environment variable and
  calls `tzset`, thus activating it.
Valid TZ values can be easily obtained by looking at the last line of the
  zoneinfo files on Linux machines:
```
tail -n1 /usr/share/zoneinfo/Europe/Copenhagen
```
*/
set_tz_ rules/string:
  #primitive.core.set_tz

例如，对于以色列，可以这样写：

import core.time_impl show set_tz_

main:
  set_tz_ "IST-2IDT,M3.4.4/26,M10.5.0"
  print Time.now

请注意，此函数是私有的（这表明它位于

\u impl.toit

文件中，并且以

\u

结尾），因此不能保证保持稳定。然而，就目前而言，这是实现你想要的最好（也是唯一）方法。在不久的将来也没有计划改变它

还要注意：这样设置时区可能会泄漏一点点内存。如果只设置一次时区，这不是问题，但要避免在两个时区之间频繁切换