переменную в квере приводим к интегеру явно variable::integer in (… , 2147483648, …), значение в массиве переполняет постгерсовый тип интегер, вопрос, как на более низком уровне прокатывает такая штука в кверях (то есть это в квере массив, возможно расширивший хранимый тип)? могу ошибаться, но когда работал в cracker’e помнится что кто-то упоминал(возможно даже Володя Ситников, но там речь про оракл, а вопрос у меня по постгре) что in работает через сравнение строк и все переводится в строки, так ли это?
Int8
ок, а можно чуть более развернуто, по поводу in clause
Я вообще ничего не понял. :( > переменную в квере приводим к интегеру явно variable::integer in (… , 2147483648, …), значение в массиве переполняет постгерсовый тип интегер WITH t(v) AS ( VALUES (5), (21) ) SELECT v, v::integer IN (12, 2147483648, 43, 5) FROM t; И ничего не переполняется... > но там речь про оракл Который не имеет к PostgreSQL никакого отношения? ;) > , а вопрос у меня по постгре) СУБД называется постгреc. > что in работает через сравнение строк и все переводится в строки, так ли это? Конечно, нет.
а если массив вынести в declare? все сразу переполнится и перестанет компилиться)))
Покажите пример того, о чём Вы пишете.
вы ответили что не как строки, а как именно можете рассказать поподробней?
Как сравнение для заданного типа
IN с константами преобразуется в "= ANY (<массив какого-то типа>)" (вывод типов осуществляется по стандартным принципам, т.е. получается "самый широкий" тип среди констант в этом случае, грубо говоря). Далее выполняется оператор для этих типов данных, и всё.
то есть, когда мы приводим какое-то искомое значение к интегеру и пытаемся искать в подобном массиве с переполнением значения (как в примере), он просто расширяет тип и просто преобразует искомое(если это нужно, как в яп), ок, спасибо))
"Как в примере" (вот этом https://t.me/pgsql/264293 ) код вообще не работает, т.к. bigint[] в int[] не сохранишь (строгая типизация). А так, в общем, да... Вы лучше попробуйте на примерах.
Обсуждают сегодня