mysql - PostgreSQL 中的 sec_to_time() 函数？

Question

MySQL 有一个很酷的函数sec_to_time()，可以将你的秒数转换为 hh:mm:ss

我已经阅读了邮件列表，基本上是在尝试实现以下内容：

MySQL:
select sec_to_time(sum(unix_timestamp(enddate) - unix_timestamp(startdate))) from foo;

PostgreSQL:
select XXX(sum(date_part('epoch',enddate) - date_part('epoch',startdate))) from foo;

我只需要知道 XXX 是/可以是什么。我已经尝试了很多记录功能的组合。

请让如何在 PostgreSQL 中做到这一点？

Answer 1

使用to_char：

regress=# SELECT to_char( (9999999 ||' seconds')::interval, 'HH24:MM:SS' );
  to_char   
------------
 2777:00:39
(1 row)

这是一个产生text格式化值的函数：

CREATE OR REPLACE FUNCTION sec_to_time(bigint) RETURNS text AS $$
SELECT to_char( ($1|| ' seconds')::interval, 'HH24:MI:SS');
$$ LANGUAGE 'SQL' IMMUTABLE;

例如：

regress=# SELECT sec_to_time(9999999);
 sec_to_time 
-------------
 2777:00:39
(1 row)

如果您更喜欢INTERVAL结果，请使用：

CREATE OR REPLACE FUNCTION sec_to_time(bigint) RETURNS interval AS $$
SELECT justify_interval( ($1|| ' seconds')::interval);
$$ LANGUAGE 'SQL' IMMUTABLE;

...这将产生如下结果：

SELECT sec_to_time(9999999);
       sec_to_time       
-------------------------
 3 mons 25 days 17:46:39
(1 row)

但是不要INTERVAL投到TIME；它会丢弃天数部分。用于to_char(theinterval, 'HH24:MI:SS)将其转换为text不截断。