时间戳是一种用来表示日期和时间的数字格式，在不同的编程语言里时间戳的长度和单位都不一样：

C：以秒为单位，目前的时间戳是10位数。

Python：以秒为单位并且有精确到7位小数的毫秒，目前的时间戳整数部分是10位数，毫秒是7位小数。

JavaScript：以毫秒为单位，目前的时间戳是13位数。

虽然时间戳在计算机内部处理时间非常方便，但对于人类来说显得不直观。在日常编程工作中经常遇到需要将时间戳转换为日期时间格式的情况，便于数据处理、分析和报告。

在C语言中使用 time.h 库来执行时间戳字符串到日期时间格式的转换。下面是演示代码，使用localtime函数将时间戳转换为 tm 结构，然后使用 sprintf 将其格式化为日期时间字符串。

我的设想是：对于像JavaScript产生的13位数时间戳，先处理前10位数转换日期时间，然后把末尾的3位数作为毫秒数添加到日期时间里。小于13位数的时间戳则直接转换。因此需要判断时间戳字符串长度，该函数修改如下：

接下来是主程序的代码，接收命令行输入的第一个参数作为时间戳字符串：

程序基本上写好了。但这个代码存在多处bug：

首先没有检查输入参数是否合法，如输入的字符串必须是数字才行，如果输入的参数是混有字母或其它符号，localtime 函数转换不了会直接报错退出程序。

在Python里有检查一个字符串是否全是数字的方法：string.isdigit()。该方法简单有效。C语言虽然也有 isdigit()，但是它只负责检查一个字符是否数字而不是判断字符串，而C语言的库里没有现成的函数检查一个字符串是否数字，所以只好手写一个：

或者写得高级一些，使用指针和while循环，更简练高效：

输入的时间戳字符串必须限制不超过13位数。

编译后运行测试，发现当时间戳是11、12位数大数字情况下，会返回 localtime 报错信息，数值越过边界了。

查阅相关文档（localtime、_localtime32、_localtime64 | Microsoft Learn），得知：localtime 返回的最大时间是 3000年12月31日 23:59:59，那么对应的时间戳是32535158399。

但是经过我调试，时间戳大于32535158399仍可以输出日期时间：

只要时间戳长度小于13，时间戳的最大值不能超过 32536799999，日期最大值可以到达3001年1月19日15:59:59。

因此需要加一段检查参数是否越过边界的代码：

这样一来，即使输入长长的数字也能妥善处理，不至于返回 localtime 的错误提示。

C代码编译运行的.exe程序，默认以UTF-8格式输出文字。UTF-8对应的代码页为65001。

而Windows系统的命令行的默认格式是GBK，代码页为936。

上述的代码编译运行在Windows的命令行里，所有中文会显示成乱码。为了适应Windows的命令行，C代码里应该在主程序加一行设定代码页为UTF-8，以确保输出的文字正确显示。

如果是 Linux 系统，则无需做这一步，毕竟 Linux 默认字符编码是 UTF-8，而且没有 windows.h 库文件。

好了，经过上面检查输入合法性、检查变量边界，代码的bug基本上修复好了，下面是完整的代码。