Совершенно элитный способ - сделать SET debug_print_parse TO on;
или SET debug_print_plan TO on;
, а затем посмотреть на дерево разбора или плана в журнале сервера, для которого в итоге вызывается функция.
В этом конкретном примере этоскажет вам, что то, что вы написали, на самом деле не является приведением, оно просто передает строку '{1,2,3}'
в функцию ввода типа int4[]
.Существуют другие сценарии, в которых функция приведения как таковая не будет вызываться, например, двоичные совместимые типы или приведение в исполнение с помощью функций ввода / вывода.