咱们常常会应用 Go time 包 AddDate(),对日期进行计算。而它失去的后果,可能会往往超出咱们的“预期”。(为什么预期要打引号,因为咱们的预期可能是含糊、偏差的)。

引例

假如,明天是10月31日,是10月的最初一天,咱们想通过 AddDate()计算下个月的最初一天。

today := time.Date(2022, 10, 31, 0, 0, 0, 0, time.Local)nextDay := today.AddDate(0, 1, 0)fmt.Println(nextDay.Format("20060102"))// 输入:20221201

后果输入:20221201,而非咱们预期的下个月最初一天11月30日。

Go Time 包中是这么解决的:

  1. AddDate() 对月份+1,即变成了11-31,换算成对应的天数、最终换算成对应的纳秒数存储在 Time 对象中;
  2. 输入时,Format()将输入规范的日期,Time 中的纳秒会转为 12-01,而不是 11-31,因为这天并不存在;

只有是波及到大小月的最初一天都会呈现这个问题。

today := time.Date(2022, 3, 31, 0, 0, 0, 0, time.Local)d := today.AddDate(0, -1, 0)fmt.Println(d.Format("20060102"))// 20220303today := time.Date(2022, 3, 31, 0, 0, 0, 0, time.Local)d := today.AddDate(0, 1, 0)fmt.Println(d.Format("20060102"))// 20220501today := time.Date(2022, 10, 31, 0, 0, 0, 0, time.Local)d := today.AddDate(0, -1, 0)fmt.Println(d.Format("20060102"))// 20221001today := time.Date(2022, 10, 31, 0, 0, 0, 0, time.Local)d := today.AddDate(0, 1, 0)fmt.Println(d.Format("20060102"))// 20221201

源码剖析

看一下 Go Time 包具体源码,仍以结尾10-31 + 1 month的例子为用例。
AddDate(),首先对 month+1,而后调用Date()解决。

// time/time.gofunc (t Time) AddDate(years int, months int, days int) Time {    year, month, day := t.Date() // 获取以后年月日    hour, min, sec := t.Clock() // 获取以后时分秒    return Date(year+years, month+Month(months), day+days, hour, min, sec, int(t.nsec()), t.Location())}

Date()中此时传入的参数是

  • year 2020
  • month 11
  • day 31
  • hour、min、sec、nsec 为运行时的时分秒纳秒

d 计算的是相对纪元到明天之前的天数:
**d = 往年之前的天数 + 年初到当月之前的天数 + 月初到当天之前的天数;**
最终,将 d 转换成纳秒 + 当天通过的纳秒存储在 Time 对象中。

// time/time.gofunc Date(year int, month Month, day, hour, min, sec, nsec int, loc *Location) Time {    ……    // Compute days since the absolute epoch.    d := daysSinceEpoch(year)    // Add in days before this month.    d += uint64(daysBefore[month-1])    if isLeap(year) && month >= March {        d++ // February 29    }    // Add in days before today.    d += uint64(day - 1)    // Add in time elapsed today.    abs := d * secondsPerDay    abs += uint64(hour*secondsPerHour + min*secondsPerMinute + sec)    ……    return t}

对 Date() 输出2022-11-31和输出2022-12-01,将失去同样的 d(天数)。两者底层存储的时候都是一样的数据,Format() 时将2022-11-31的Time 格式化成 2022-12-01也就不例外了,输入当然要显示让人看得懂的惯例规范日期嘛。

// 2022-11-31d = 2022年之前的天数 + 1月到10月的总天数 + 30天// 2022-12-01d = 2022年之前的天数 + 1月到11月的总天数 + 0天  = 2022年之前的天数 + 1月到10月的总天数 + 30天 + 0天

你甚至能够往 Date() 输出非标准日期2022-11-35,它和规范日期 2022-12-05,将失去同样的 d (天数)。
“非标准日期”和“规范日期”就像天平的两边,尽管模式不一样,但他们理论的品质(d 天数)是一样的。记住这句话,前面有用。

预期偏差

咱们弄清楚了原理,但依然不能承受这个后果。这样的后果是 Go 的 bug 吗?还是 Go Time 包偷懒了?
然而并不是,恰好是咱们的“预期”呈现了问题。
失常来说,咱们预期 10-30 + 1 month11-30 日,这很正当。那咱们为什么还期待 10-31 + 1 month 也是 11-30 日?仅仅因为 10-31是以后月的最初一天,咱们也期待 +1 month 后是下个月的最初一天吗?
10-30 和 10-31 两个日期相差一天,进行同样的 +1 month 操作后,就变成为了同一天。这就像 1 + 10 = 2 + 10 一样的后果,这显然不合理。
Go 目前的处理结果是正确的,并且他在 AddDate() 正文中也注明了会解决“溢出”的状况。况且,不止 Go 语言这么解决,PHP 也是这么解决的,见鸟哥文章令人困惑的strtotime - 风雪之隅。

怎么解决

情理我都懂,但我就是想获取上/下一个月的最初一天怎么办?
利用后面源码分析阶段,提到的“天平原理”,就能拿到咱们想要的后果。

today := time.Date(2022, 10, 31, 0, 0, 0, 0, time.Local)d := today.Day()// 上个月最初一天// 10-00 日 等于 9-30 日day1 := today.AddDate(0, 0, -d)fmt.Println(day1.Format("20060102"))// 下个月最初一天// 12-00 日 等于 11-30 日day2 := today.AddDate(0, 2, -d)fmt.Println(day2.Format("20060102"))// 20220930// 20221130

结语

最后,发现这个问题是看鸟哥文章,过后认为那是 PHP 的“坑”,并没有深刻思考过。现在,在 Go 语言再次遇到这个问题,从新思考,发现日期函数本应该就那么设计,是咱们对日期函数了解不够,产生了谬误的“预期”。

文章来自令人困惑的 Go time.AddDate