ctime 返回 null

Question

如果用户类型 time_t 定义为 __darwin_time_t，它本身在 MacOS X 中定义为 long，为什么下面的代码会输出 8 时间是（空）？也许这很愚蠢，但我真的无法理解。

#include <stdio.h>
#include <time.h>

int main(void)
{
    time_t time = 0x7FFFFFFFFFFFFFFF;

    printf("%lu\n"
           "Time is %s\n", sizeof(time_t), ctime(&time));

    return 0;
}

Answer 1

时间 0x7FFFFFFFFFFFFFFFF 似乎是公元 292,471,210,647 年左右，这无疑会导致 ctime 超过 C99 保证的 26 个字符，因此它返回 NULL 而不是溢出其缓冲区。一般来说，尽量避免发生在莫洛克人与埃洛伊人交战之后的任何日期。

Answer 2

在阅读《专家 C 编程》一书时，我在 Lion 10.7.3 中遇到了同样的问题——t=0xf0c00000000000，ctime(&t) 产量Wed Mar 1 21:07:12 214739252 并使用 t=0xf0d00000000000，ctime(&t) 返回空指针 (0x0)。
因此，它似乎不是 t 的环绕，而是 ctime(&t) 内部的一些测试，如果 t 太大，则返回空指针。

Answer 3

来自 glibc 的实现我们读到：

我们限制了可以打印的年份的大小。使用%d
使用格式说明符添加 1900 会溢出
数字和负值被打印。对于某些架构我们
理论上可以使用 %ld 或更大的整数格式，但是
这意味着输出需要更多空间。这不会是一个
如果'asctime_r'接口被合理地定义并且
将传递缓冲区大小。

运行下面的程序来查找您计算机上的确切限制。

#include <limits.h>
#include <stdio.h>
#include <time.h>

/**
 * Find the largest time_t for which ctime returns a non-NULL value
 * using a bsearch between 0 and LONG_MAX.
 **/
static time_t ctime_max() {
    time_t start = 0, end = LONG_MAX, mid;
    while (start < end) {
        mid = start + (end - start) / 2;
        if (ctime(&mid)) {
            /* this mid is ctime-able; try higher */
            start = mid + 1;
        } else {
            /* this mid is not ctime-able; try lower */
            end = mid;
        }
    }
    /* mid is now the lowest number that's too high; subtract one */
    return mid - 1;
}

int main() {
    time_t t = ctime_max();
    printf("%s", ctime(&t));
    return 0;
}

对我来说，结果是 Tue Dec 31 23:59:59 2147483647，这恰好是该年溢出四个有符号字节之前的第二个。