зависимости от первого аргумента. Проблема в том, что, насколько я понял, планировщик лезет вперед паровоза и пытается заинлайнить иммутабельные выражения. Если завернуть аргументы в volatile или хотя бы stable функцию, то запрос работает. Есть ли какое-то более семантичное решение проблемы?
prepare b(text, text) as
select ($2)::int4::text
where $1 = 'num'
union all
select ($2)::bool::text
where $1 = 'bool'
;
execute b('num', '-1');
execute b('bool', 'f');
Ну, можно сделать через CTE MATERIALIZED, примерно так (сохраняя ваш code style): prepare b(text, text) as with x as materialized ( select $2 v where $1 = 'num' ), y as materialized ( select $2 v where $1 = 'bool' ) select v::int4::text from x union all select v::bool::text from y ; Только зачем...
Проблема, на самом деле, в том, что Вы не знаете SQL хотя бы на среднем уровне. ;( > Есть ли какое-то более семантичное решение проблемы? Да, есть. Нужно осознать и запомнить, что любой планировщик, в любой СУБД имеет право (и, зачастую, будет) вычислять весь запрос в произвольном порядке, при этом считая, что ни одно выражение не может вернуть ошибку. И в дальнейшем это необходимо использовать при написании запросов. Т.е. (по аналогии с undefined behavior в C) написание корректного SQL с учётом этого — Ваша проблема. Что касается этого конкретного запроса — почему бы Вам не сделать что-то вроде: PREPARE b(text, text) AS SELECT COALESCE((CASE $1 WHEN 'bool' THEN $2 END)::bool::text, (CASE $1 WHEN 'num' THEN $2 END)::int4::text); ?
Каким образом предложеный запрос удовлетворяет вашему утверждению, что ни одно выражение не может вернуть ошибку?
А Вы подумайте. Естественно, ошибки при CAST там могут быть, как и в Вашем оригинальном запросе — я так понял, что так и было нужно, нет?
Обсуждают сегодня