Разрешение типов функций

1. Выбор функций для рассмотрения из pg_proc системного каталога. Если было использовано имя функции без указания схемы, рассматриваются функции с соответствующим именем и количеством аргументов, видимые в текущем пути поиска (см. Раздел 2.2.10.3). Если было указано уточненное имя функции, рассматриваются только функции в указанной схеме.

   1. Если в пути поиска обнаруживается несколько функций с идентичными типами аргументов, рассматривается только та, которая встречается в пути первой. Функции с различными типами аргументов рассматриваются на равных основаниях независимо от их положения в пути поиска.

   2. Если функция объявлена с VARIADIC параметром-массивом, а в вызове не используется ключевое слово VARIADIC , то функция обрабатывается так, как если бы параметр-массив был заменен одним или несколькими вхождениями типа его элементов, необходимыми для соответствия вызову. После такого расширения функция может иметь эффективные типы аргументов, идентичные типам некоторой невариативной функции. В этом случае используется функция, расположенная раньше в пути поиска, а если обе функции находятся в одной схеме, предпочтение отдается невариативной функции.

      Это создает угрозу безопасности при вызове по уточненному имени ^[10], функции с переменным числом аргументов (variadic function), найденной в схеме, которая позволяет неавторизованным пользователям создавать объекты. Злоумышленник может перехватить управление и выполнять произвольные SQL-функции от вашего имени. Замените вызов, содержащий VARIADIC ключевое слово, что позволяет избежать данной угрозы. Вызовы, заполняющие VARIADIC "any" параметры, часто не имеют эквивалентной формулировки с использованием данного VARIADIC ключевого слова. Для безопасного выполнения таких вызовов схема функции должна разрешать создание объектов только доверенным пользователям.

   3. Функции, имеющие значения по умолчанию для параметров, считаются подходящими для любого вызова, в котором пропущены ноль или более позиций параметров, имеющих значения по умолчанию. Если под вызов подпадает более одной такой функции, выбирается та, которая находится выше в пути поиска (search path). Если в одной и той же схеме существуют две или более такие функции с идентичными типами данных параметров в позициях без значений по умолчанию (что возможно при наличии разных наборов параметров со значениями по умолчанию), система не сможет определить наиболее подходящую функцию, и в результате «неоднозначный вызов функции» если для вызова не будет найдено более подходящее соответствие, возникнет ошибка.

      Это создает риск нарушения доступности при вызове по уточненному имени^[10], любой функции, расположенной в схеме, позволяющей недоверенным пользователям создавать объекты. Злоумышленник может создать функцию с именем существующей функции, продублировав ее параметры и добавив новые параметры со значениями по умолчанию. Это сделает невозможными новые вызовы исходной функции. Чтобы исключить этот риск, следует размещать функции в схемах, где создавать объекты разрешено только доверенным пользователям.

2. Выполняется поиск функции, принимающей в точности те же типы данных входных аргументов. Если она существует (в рассматриваемом наборе функций может быть только одно точное совпадение), используется именно она. Отсутствие точного совпадения создает угрозу безопасности при вызове по уточненному имени^[10], функции, расположенной в схеме, которая позволяет недоверенным пользователям создавать объекты. В таких ситуациях следует использовать явное приведение типов аргументов для обеспечения точного совпадения. (Случаи, затрагивающие unknown на данном этапе совпадение найдено не будет.)

3. Если точное совпадение не найдено, проверяется, не является ли вызов функции специальным запросом на преобразование типа данных. Это происходит в том случае, если вызов функции имеет только один аргумент, а имя функции совпадает с (внутренним) именем некоторого типа данных. Кроме того, аргумент функции должен быть либо литералом неизвестного типа, либо типом данных, бинарно совместимым (binary-coercible) с целевым типом данных, либо типом данных, который может быть преобразован в целевой тип данных путем применения функций ввода-вывода этого типа (то есть преобразование осуществляется в один из стандартных строковых типов или из него). При выполнении этих условий вызов функции рассматривается как форма оператор CAST спецификации. ^[11]

4. Поиск наилучшего соответствия.

   1. Отбросьте функции-кандидаты, для которых входные типы данных не совпадают и не могут быть приведены (посредством неявного приведения типов) к требуемым. unknown предполагается, что литералы могут быть приведены к любому типу данных для этой цели. Если остался только один кандидат, используйте его; в противном случае перейдите к следующему шагу.

   2. Если какой-либо входной аргумент относится к типу данных домена, он рассматривается как имеющий базовый тип данных домена на всех последующих этапах. Это гарантирует, что домены ведут себя так же, как их базовые типы данных, при разрешении неоднозначности функций.

   3. Просмотрите всех кандидатов и оставьте тех, у которых наблюдается наибольшее количество точных совпадений по типам данных входных аргументов. Оставьте всех кандидатов, если ни у одного из них нет точных совпадений. Если остался только один кандидат, используйте его; в противном случае перейдите к следующему шагу.

   4. Просмотрите всех кандидатов и оставьте тех, которые принимают предпочтительные типы данных (из категории входного типа данных) в наибольшем количестве позиций, где требуется приведение типов. Сохраните всех кандидатов, если ни один из них не принимает предпочтительные типы данных. Если остался только один кандидат, используйте его; в противном случае перейдите к следующему шагу.

   5. Если какие-либо входные аргументы являются unknown, проверьте категории типов данных, допустимые для данных позиций аргументов в оставшихся функциях-кандидатах. Для каждой позиции выберите string категорию, если какой-либо из кандидатов принимает эту категорию. (Такое предпочтение в сторону категории string обосновано тем, что литерал неизвестного типа выглядит как строка.) В противном случае, если все оставшиеся кандидаты принимают одну и ту же категорию типов данных, выберите эту категорию; в противном случае выполнение завершится ошибкой, так как сделать правильный выбор без дополнительных признаков невозможно. Теперь отбросьте кандидатов, которые не принимают выбранную категорию типов данных. Кроме того, если какой-либо кандидат принимает предпочтительный тип данных в этой категории, отбросьте кандидатов, принимающих непредпочтительные типы данных для данного аргумента. Сохраните всех кандидатов, если ни один из них не прошел эти проверки. Если остался только один кандидат, используйте его; в противном случае перейдите к следующему шагу.

   6. Если присутствуют как unknown , так и аргументы известного типа, и при этом все аргументы известного типа имеют один и тот же тип данных, следует предположить, что unknown аргументы также имеют этот тип, и проверить, какие кандидаты могут принять этот тип в unknown-позиции аргументов. Если данную проверку проходит ровно один кандидат, используйте его. В противном случае работа завершится ошибкой.

Обратите внимание, что «наилучшее соответствие» правила выбора идентичны для разрешения типов операторов и функций. Ниже приведено несколько примеров.

SELECT round(4, 4);

 round
--------
 4.0000
(1 строка)

SELECT round(CAST (4 AS numeric), 4);

SELECT round(4.0, 4);

CREATE FUNCTION public.variadic_example(VARIADIC numeric[]) RETURNS int
  LANGUAGE sql AS 'SELECT 1';
CREATE FUNCTION

SELECT public.variadic_example(0),
       public.variadic_example(0.0),
       public.variadic_example(VARIADIC array[0.0]);
 variadic_example | variadic_example | variadic_example
------------------+------------------+------------------
                1 |                1 |                1
(1 строка)

CREATE FUNCTION public.variadic_example(numeric) RETURNS int
  LANGUAGE sql AS 'SELECT 2';
CREATE FUNCTION

CREATE FUNCTION public.variadic_example(int) RETURNS int
  LANGUAGE sql AS 'SELECT 3';
CREATE FUNCTION

SELECT public.variadic_example(0),
       public.variadic_example(0.0),
       public.variadic_example(VARIADIC array[0.0]);
 variadic_example | variadic_example | variadic_example
------------------+------------------+------------------
                3 |                2 |                1
(1 строка)

SELECT substr('1234', 3);

 substr
--------
     34
(1 строка)

SELECT substr(varchar '1234', 3);

 substr
--------
     34
(1 строка)

SELECT substr(CAST (varchar '1234' AS text), 3);

SELECT substr(1234, 3);
ERROR:  функция substr(integer, integer) не существует
HINT:  Ни одна функция не соответствует заданному имени и типам аргументов. Возможно, потребуется добавить явное приведение типов.

SELECT substr(CAST (1234 AS text), 3);

 substr
--------
     34
(1 строка)