一、题目总述

在这里插入图片描述
● 输入输出样例：

示例 1
输入: 46800999
输出: 13:00:00

示例 2
输入: 1618708103123
输出: 01:08:23

● 对于所有评测用例，给定的时间为不超过 $10^{18}$ 的正整数。

◆ 运行限制：
??最大运行时间：1s
??最大运行内存：512M

● 题目难度：????

二、题目解析

● 理解清楚题意后，善用 \ 和 % 来依次处理输入的 time ，以便得到相应的 时、分、秒 即可。

● 另外，这道题目的小难点在于 “格式化输入输出”，即怎么打印出 01:08:23，而不是 1:8:23。

● 复习一下 C 语言的 “格式化输出字符” 即可知道：

输出格式	功能
`%3d`	输出宽度为 `3` 位，如果不足 `3` 位，前面空格补齐(即右对齐)
`%05d`	输出宽度为 `5` 位，如果不足 `5` 位，前面 `0` 补齐
`%-4d`	输出宽度为 `4` 位，如果不足 `4` 位，后面空格补齐(即左对齐)
`%.2f`	小数点后只保留 `2` 位小数。
`%6.3f`	输出宽度为 `6` 位，且小数点后只保留 `2` 位小数。
…	…

三、完整代码

#include<stdio.h>
/*
* 解题思路: 分别处理日、时、分、秒
*/
int main()
{
  long long int time;	// 注意数据要开大一点, 因为题目中 t≤10^18
  int hour, minute, second; 
  scanf("%lld", &time);
  
  time /= 1000;   // 把末尾的毫秒去掉
  
  time = time % (3600 * 24);   // 去掉日期
  
  hour = time / 3600;   // 取出小时
  time = time % 3600;   // 去掉小时
  
  minute = time / 60;   // 取出分钟
  second = time % 60;  	// 去掉分钟, 即是秒
  
  printf("%02d:%02d:%02d", hour, minute, second);	// 格式化输出
  return 0;
}