mysql - FROM_UNIXTIME 返回额外一小时

Question

我有一个非常简单的需求: 将一些毫秒值转换为“##:##:##”(小时/分钟/秒)格式。

看起来 FROM_UNIXTIME 可以完成这项工作，所以我使用了它，但是......

SELECT 
    FROM_UNIXTIME(42, "%H:%i:%s") AS pony
    ,FROM_UNIXTIME(3702, "%H:%i:%s") AS unicorn

返回

pony       unicorn
01:00:42   02:01:42

由于此函数中没有时区设置，我不知道如何删除这个额外的(wtf)小时。
删除 3600 秒会产生负值，从而输出 NULL

我想我应该使用另一种方式，但如果我必须使用六个转换，我也可以手动完成......没有什么简单而高效吗？

<小时/>

我没有确切的 MySQL 版本，但无论如何我都需要最低限度的可移植性。可以使用的东西，比如 MySQL 5.x 我需要手动进行计算吗？

<小时/>

编辑: 选择了一个丑陋但有效的“解决方案”:

CONCAT(
  LPAD(FLOOR((my_column/1000) / 3600), 2, '0'), ':',
  LPAD(FLOOR(((my_column/1000) % 3600) / 60), 2, '0'), ':',
  LPAD(FLOOR((my_column/1000) % 60), 2, '0')) AS time

具有所需格式的输出。 示例“03:12:04”或“123:00:44”

Answer 1

我不得不选择一个丑陋但有效的“解决方案”:

CONCAT(
  LPAD(FLOOR((my_column/1000) / 3600), 2, '0'), ':',
  LPAD(FLOOR(((my_column/1000) % 3600) / 60), 2, '0'), ':',
  LPAD(FLOOR((my_column/1000) % 60), 2, '0')) AS time

具有所需格式的输出。示例“03:12:04”或“123:00:44”

C14L的评论应该是一个更好的选择，但这只会让事情变得更糟:/

如果您有可靠且易于使用的东西，请发布答案。
必须手动进行此类计算对我来说没有意义。