c - 人类可读的 64 位 time_t 值字符串

Question

我正在尝试以人类可读的格式打印日期，以获得可能的最大 time_t 值。下面的代码似乎在 32 位机器上工作得很好(用 0x7fffffff 初始化 m_time)，但它在 64 位机器上输出 null 作为理论上的最高值。这是 ctime 限制还是我遗漏了什么？

编译:gcc -Wall -g3 main.c -o time_test
主机:x86_64。

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

int main(int argc, char** argv) {
  time_t m_time = 0x7fffffffffffffff;
  time_t current_time;
  time(&current_time);

  printf("time_t info: sizeof [%ld] bytes or [%ld] bits.\n", sizeof(time_t), sizeof(time_t) *8 );
  printf("m_time val: [%ld]-> %s\n", m_time, ctime(&m_time)); 
  printf("current_time val: [%ld]-> %s\n", current_time, ctime(&current_time));
  return 0;
}

输出:

time_t info: sizeof [8] bytes or [64] bits.
m_time val: [9223372036854775807]-> (null)
current_time val: [1430678274]-> Sun May  3 15:37:54 2015

感谢。

Answer 1

顺便说一句，ctime (& ctime(3) ) 被记录为给出一个字符串，其中年份由 四位 数字表示(总共 26 个字节)。所以最大时间是 9999 年(肯定小于 64 位 time_t 机器上的最大 time_t)。

此外(正如我评论的那样)，从实用的角度来说，如果 time_t 有超过 40 位(例如 64 位)，您不关心最大可表示时间。你和所有阅读该论坛的人(以及我们所有的孙辈)都会死，运行你程序的计算机将全部被摧毁，那时 C 将不复存在。 Y2038 problem实际上没有任何 64 位等效项。所以当 time_t 是 32 位时的特殊情况。

^{在 3000 年之后，任何 C 程序都不太可能重要；软件、硬件、标准和人类技术专长不会持续那么久...}

POSIX ctime documentation 明确地说:

Attempts to use ctime() or ctime_r() for times before the Epoch or for times beyond the year 9999 produce undefined results. Refer to asctime.

顺便说一句，musl-libc似乎符合标准:its time/__asctime.c (由 ctime 间接调用)有一个很好的评论:

if (snprintf(buf, 26, "%.3s %.3s%3d %.2d:%.2d:%.2d %d\n",
    __nl_langinfo(ABDAY_1+tm->tm_wday),
    __nl_langinfo(ABMON_1+tm->tm_mon),
    tm->tm_mday, tm->tm_hour,
    tm->tm_min, tm->tm_sec,
    1900 + tm->tm_year) >= 26)
{
    /* ISO C requires us to use the above format string,
     * even if it will not fit in the buffer. Thus asctime_r
     * is _supposed_ to crash if the fields in tm are too large.
     * We follow this behavior and crash "gracefully" to warn
     * application developers that they may not be so lucky
     * on other implementations (e.g. stack smashing..).
     */
    a_crash();
}

和 GNU glibc 在其 time/asctime.c 中有文件:

/* We limit the size of the year which can be printed.  Using the %d
   format specifier used the addition of 1900 would overflow the
   number and a negative vaue is printed.  For some architectures we
   could in theory use %ld or an evern larger integer format but
   this would mean the output needs more space.  This would not be a
   problem if the 'asctime_r' interface would be defined sanely and
   a buffer size would be passed.  */
if (__glibc_unlikely (tp->tm_year > INT_MAX - 1900))
  {
  eoverflow:
    __set_errno (EOVERFLOW);
    return NULL;
  }

int n = __snprintf (buf, buflen, format,
          (tp->tm_wday < 0 || tp->tm_wday >= 7 ?
           "???" : ab_day_name (tp->tm_wday)),
          (tp->tm_mon < 0 || tp->tm_mon >= 12 ?
           "???" : ab_month_name (tp->tm_mon)),
          tp->tm_mday, tp->tm_hour, tp->tm_min,
            tp->tm_sec, 1900 + tp->tm_year);
if (n < 0)
 return NULL;
if (n >= buflen)
  goto eoverflow;

所以我相信 GNU glibc 和 musl-libc 在这方面都优于 MacOSX 实现(如 zneak's answer 中引用)。标准要求ctime给26字节。此外，POSIX 2008 将 ctime 标记为已过时，新代码应使用 strftime (另请参见 strftime(3))。