make_time()
是一个用于从提供的时、分、秒值组装 time
值的系统函数。
make_time()
添加于 PostgreSQL 9.4。
用法
make_time (hour
int
,min
int
,sec
double precision
) →time
如果提供的任何参数无效,则会引发错误。
更改历史记录
- PostgreSQL 9.4
- 添加 (提交 f901bb50)
示例
make_time()
的基本用法示例
postgres=# SELECT make_time(13, 10, 2.5); make_time ------------ 13:10:02.5 (1 row)
提供一个或多个无效参数
postgres=# SELECT make_time(25, 10, -11); ERROR: time field value out of range: 25:10:-11
参考文献
- PostgreSQL 文档: 日期/时间函数