【Go常见错误】6. JSON错误之单调时钟（3）

 概述

操作系统会处理两种不同的时钟类型：墙上时钟（wall）和单调时钟（monotonic）。

在本文中，我们将会看到当time.Time和JSON一起使用时可能产生的影响，并了解为什么这种时钟差异对于理解至关重要。

案例

在下面的例子中，我们将继续使用Event结构体，但是只包含一个time.Time字段（非嵌入字段）：

type Event struct {
  Time time.Time
}

我们将实例化一个Event，并将它marshal成JSON，并将JSON串unmarshal成另外一个结构体。然后，我们将比较这个两个结构体。让我们看看marshaling/unmarshaling过程是否总是可逆的：

t := time.Now() ①
  event1 := Event{ ②
  Time: t,
}
b, err := json.Marshal(event1) ③
if err != nil {
  return err
}
var event2 Event
err = json.Unmarshal(b, &event2) ④
if err != nil {
  return err
}
isEquals := event1 == event2

① 获取当前本地时间

② 实例化一个Event结构体

③ Marshal成JSON

④ Unmarshaling JSON成结构体实例

那么isEquals应该是什么值？它会是false，而非true。我们该如何解释呢？

首先，让我们打印event1和event2的内容：

fmt.Println(event1.Time) ①
fmt.Println(event2.Time) ②

① 2021-01-10 17:13:08.852061 +0100 CET m=+0.000338660

② 2021-01-10 17:13:08.852061 +0100 CET

我们看到打印的是两个不同的值。event1的值接近于event2的值，除了m=+0.000338660部分。那这部分是什么意思呢？

原因分析

我们应该知道操作系统提供了两种时钟类型。首先，墙上时钟用于知道当天的当前时间。该时钟可能会发生变化。例如，如果使用NTP（网络时间协议）同步，时钟可以在时间上向后或向前跳跃。我们不应该使用墙上时钟来测量持续时间，因为我们可能会面临一些奇怪的行为，比如负的持续时间。这就是为什么操作系统提供第二种时钟类型的原因：单调时钟。单调时钟保证时间永远都是向前的，并且不会受时间跳跃的影响。它可能会受到潜在频率调整的影响（例如，如果服务器检测到本地石英的移动速度与NTP服务器不同），但不会受到时间跳跃的影响。

在Go中，并没有在两个不同的API中拆分两个类型的时钟，而是time.Time可能同时包含墙上时钟和单调时间。

当我们使用time.Now()获取本地时间时，会返回time.Time的两个时间：

2021-01-10 17:13:08.852061 +0100 CET m=+0.000338660

------------------------------------ --------------

Wall time Monotonic time

相反，当我们解析JSON串时，time.Time字段并不包含单调时间，只有墙上时间。因此，当我们比较两个实例时，因为单调时间不一样而输出结果false。这也是我们在打印两个结构体时注意到差异的原因。

解决方法

我们该如何解决这个问题呢？有两个方法。

第一，我们可以使用Equal方法作为替代。因为当我们使用 == 操作符对两个time.Time进行比较时，它会比较结构体的所有字段包括，包括单调时间部分。所以，我们使用Equal方法来避免这种情况：

areTimesEqual := event1.Time.Equal(event2.Time) ①

① true

Equal方法不会考虑单调时间。因此，areTimesEqual会是true。然而，在这个例子中，我们只比较了time.Time字段，并没有比较它的父结构Event结构体。

第二，依然保持使用 == 操作符来对两个结构体实例进行比较，但使用Truncate方法将单调时间替换成0值：

t := time.Now()
event1 := Event{
   Time: t.Truncate(0),
}
b, err := json.Marshal(event1)
if err != nil {
  return err
}
var event2 Event
err = json.Unmarshal(b, &event2)
if err != nil {
  return err
}
isEquals := event1 == event2

① 去除单调时间

② 使用 == 操作符对两个结构体实例进行比较

在此版本中，这两个time.Time字段是相等的。因此，isEquals将会返回true。

总结

总而言之，marshaling/unmarshaling处理的程序并不总是可逆的，我们会遇到在结构体中包含time.Time字段的场景。例如，我们应该牢记这一原则，以免编写错误的测试。