为什么postgres如何对待演员和＆＃39; ::＆＃39;表达不同？

Question

有人向我解释为什么看似相似的表达有两种不同的结果

db=> select cast(8/3.0 as integer) as cast1, 8/3.0::int as int1;
 cast1 | int1
-------+------
     3 |    2

Answer 1

• 8 / 3.0是2.6 =＆gt; CAST到整数= 3
• 8 / 3.0 :: int = 8 /（3.0 :: int）= 8/3 =输出2的整数除法