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 文档: 日期/时间函数