Postgres中这种类型的"文字"语法是什么？

Question

在Postgres的文档说投应该像...

expression::typename
typename(expression)
cast(expression as typename)

但这有效:

select date '2015-06-20';

那是什么语法？它在哪里记录？

Answer 1

它是类型常量 - 请参阅http://www.postgresql.org/docs/9.4/static/sql-syntax-lexical.html第4.1.2.7节.其他类型的常量.

可以使用以下任何一种符号输入任意类型的常量:

type 'string'
'string'::type
CAST ( 'string' AS type )