bash - awk 日期在 1970 年之前

Question

来自 https://www.gnu.org/software/gawk/manual/html_node/Time-Functions.html我知道 gawk 只有 2 个函数可以处理日期/时间mktime 和 strftime。

因此，我可以使用返回 long 的 mktime 解析任何日期，这样我就可以进行任何数学运算，因此我可以使用 strftime

对于 "1970 01 01 00 00 00"

之后的任何日期，这就像一个魅力

如何使用 awk 格式化 1970 年之前的日期？

$ awk 'BEGIN{t=mktime("1970 01 01 00 00 00"); print t; print strftime("%Y-%m-%d", t) }'
10800
1970-01-01
$ awk 'BEGIN{t=mktime("1960 01 01 00 00 00"); print t; print strftime("%Y-%m-%d", t) }'
-315608400
awk: cmd. line:1: (FILENAME=- FNR=1) fatal: strftime: second argument less than 0 or too big for time_t

Answer 1

不幸的是，如您所见，gawk 不能直接执行此操作。 gawk manual说:

All known POSIX-compliant systems support timestamps from 0 through 2^31 - 1, which is sufficient to represent times through 2038-01-19 03:14:07 UTC. Many systems support a wider range of timestamps, including negative timestamps that represent times before the epoch.

手册没有说明如果给定一个超出范围的日期，strftime() 会做什么。

但即使在我的系统上，它确实对负的 time_t 值表现得很好，gawk 的 strftime() 函数也不支持它们(虽然 mktime() 会)，因此无法处理 1970 年之前的日期。我认为这是 gawk 中的一个错误。

(我的建议是使用 Perl 而不是 Awk，但这并不能回答您提出的问题。)

原则上，您可以通过在 awk 中重新实现类似 strftime() 的函数来重新发明轮子。但这太过分了。

如果您的系统有一个有效的 GNU coreutils date 命令，您可以从 gawk 调用它。以 1960 年 1 月 1 日为例:

$ cat 1960.awk
#!/usr/bin/awk -f

BEGIN {
    timestamp = mktime("1960 00 00 00 00 00")
    print "mktime() returned " timestamp

    if (0) {
        # This doesn't work
        s = strftime("%Y-%m-%d %H:%M:%S", timestamp)
        print "strftime() returned ", s
    }
    else {
        # This works
        "date '+%Y-%m-%d %H:%M:%S' -d @" timestamp | getline t
        print "The date command printed \"" t "\""
    }
}
$ ./1960.awk
mktime() returned -318355200
The date command printed "1959-11-30 00:00:00"
$

(我放弃了从 shell 提示符中找出单行代码所需的引号和反斜杠的顺序。)

如果您有一个大型的现有 awk 程序并且您需要向它添加这一功能，这可能是有意义的。但是如果你不坚持在 awk 中这样做，你可能会考虑使用其他东西； awk 可能不是您要实现的目标的正确工具。

或者，如果您真的雄心勃勃，您可以修改 gawk 源代码以正确处理这种情况。