Go Cron 日字段和星期字段同时设置时怎样匹配

我第一次把月度补偿任务迁到 Go Cron 时，最容易误读的是这条表达式：0 9 1 * MON。直觉会把它读成“每月 1 号且星期一”，但 github.com/robfig/cron/v3 的标准解析规则是：日字段和星期字段都写成具体限制时，满足其中一个即可命中。

官方地址：https://pkg.go.dev/github.com/robfig/cron/v3

日字段与星期字段同时为具体值时按“或”匹配；如果业务只想按其中一个字段限制，用 ? 把另一个字段明确留空。

日字段和星期字段同时具体时为什么是或匹配

五字段 Cron 中，第 3 个字段是日字段，第 5 个字段是星期字段。以 0 9 1 * MON 为例，分钟和小时限制在每天 09:00，月份为任意月份，日期条件则是“每月 1 号”或“星期一”。因此某月的 1 号即使不是星期一也会命中，普通星期一即使不是 1 号也会命中。

官方实现把这两个字段交给 dayMatches：当两个字段都是具体集合时返回或关系；当其中一个字段是通配，才相当于由另一个字段单独决定日期。这个规则来自传统 Cron 语义，也是我后来在代码评审中最先标注的地方。

三组表达式放在一起就不容易误判

把业务意图拆成下面三组，通常比在脑中背“且还是或”更稳：

这里的 ? 不是“任意日期再加一个条件”，而是把日字段或星期字段留空。官方文档说明它可以代替 * 表示该日期字段不参与具体限制；在表达意图时，我更偏好用 ?，因为读代码的人一眼就能看出哪一列被留空。

我在 Go 代码里怎样固定这条语义

定时任务最怕表达式本身没错，但业务人员和维护者理解不一致。我的做法是给每条表达式配一个语义化常量，并在注册处留下中文说明；不把两个具体日期字段写成“看起来像且”的形式。

package main

import (
    "log"

    "github.com/robfig/cron/v3"
)

const (
    // 月度任务只约束每月 1 号，星期字段用 ? 留空。
    monthlySpec = "0 9 1 * ?"
    // 每周任务只约束星期一，日字段用 ? 留空。
    weeklySpec = "0 9 ? * MON"
)

func registerJobs(c *cron.Cron) error {
    // AddFunc 注册后由 Cron 按表达式调度，错误需要保留给启动流程处理。
    if _, err := c.AddFunc(monthlySpec, func() {
        log.Println("run monthly reconciliation")
    }); err != nil {
        return err
    }

    // 这里明确写“周一”，避免后来者把日字段理解为必须同时满足。
    if _, err := c.AddFunc(weeklySpec, func() {
        log.Println("run weekly report")
    }); err != nil {
        return err
    }
    return nil
}

如果确实希望两个触发集合合并，就可以写两个具体字段；但应在注释和任务名里明确这是“1 号或周一”。如果需求是“每月第一个周一”，Cron 的这两个字段并不能直接表达这个组合，应改为更明确的日历计算或拆成独立调度后再做业务判断。

上线前我会重点看哪些边界

• 月末：日字段写 31 时，短月份不会凭空产生日期；不要把它当成“每月最后一天”。
• 双重触发：写成具体日字段加具体星期字段后，某些日期可能同时满足两者，任务设计要考虑是否允许一次调度周期内出现两次业务入口。
• 严格的业务日历：节假日、工作日和“第几个周一”不是五字段 Cron 的简单组合，适合放到任务内部或单独日历层判断。
• 版本语义：本文针对 robfig/cron/v3 的标准五字段解析；如果启用了秒字段，字段位置变化，但日字段与星期字段的关系仍要按选用的 Parser 规则确认。

我的结论是：两个具体日期字段并列时，先按“或”理解；只想限制日字段或星期字段，就用 ? 把另一列写清楚。表达式越短，越需要靠命名、注释和业务边界补足语义。

相关问题

日字段和星期字段什么时候会按且匹配？

当其中一个字段是通配或用 ? 留空时，效果等同于只看另一个具体字段。两个字段都具体时，不要把它们理解成必须同时成立。

怎样表达“每月第一个周一”？

不要直接把日字段写成 1 再配星期一，因为那表示每月 1 号或星期一。更稳妥的做法是按周一调度，再在任务中计算当月序号，或由独立日历组件生成下一次执行时间。