연산자 표현식에 의해 참조되는 특정 연산자는 다음 절차를 사용하여 결정됩니다. 이 절차는 관련 연산자의 우선 순위에 의해 간접적으로 영향을 받는다.섹션 4.1.6자세한 내용은
운영자 유형 해상도
|pg_operator시스템 카탈로그. 비 스키마 자격이없는 연산자 이름이 사용 된 경우 (일반적인 경우), 고려 된 연산자는 현재 검색 경로에서 볼 수있는 일치 이름과 인수 수를 가진 사람입니다 (참조섹션 5.10.3). 자격을 갖춘 토토 결과 이름이 제공되면 지정된 스키마의 토토 결과 만 고려됩니다.
검색 경로가 동일한 인수 유형을 가진 여러 토토 결과를 찾으면 경로에서 가장 오래된 것으로 보이는 사람 만 고려됩니다. 인수 유형이 다른 토토 결과는 검색 경로 위치에 관계없이 동일한 기반에서 고려됩니다.
입력 인수 유형을 정확히 수락하는 토토 결과를 확인하십시오. 하나가 존재하는 경우 (고려 된 토토 결과 세트에는 정확히 일치하는 경우) 사용하십시오.[9](일반적이 아님), 신뢰할 수없는 사용자가 객체를 만들도록 허용하는 스키마에서 발견 된 모든 토토 결과. 그러한 상황에서, 정확한 일치를 강요하기 위해 논쟁을 시전합니다.
이진 토토 결과 호출의 하나의 인수가 인 경우알 수없는타이핑 한 다음이 점검의 다른 인수와 동일한 유형이라고 가정합니다. 두 가지 관련 호출알 수없는입력 또는 AN이있는 접두사 토토 결과알 수없는입력,이 단계에서 일치를 찾지 못합니다.
이진 토토 결과 호출의 하나의 인수가 인 경우알 수없는유형 및 다른 하나는 도메인 유형이며, 다음은 도메인의 기본 유형을 정확하게 수락하는 운영자가 있는지 확인합니다. 그렇다면 사용하십시오.
최고의 경기를 찾으십시오.
입력 유형이 일치하지 않고 일치하도록 (암시 적 변환을 사용하여) 변환 할 수없는 후보 토토 결과 폐기.알 수없는리터럴은이 목적을 위해 무엇이든 전환 할 수 있다고 가정합니다. 한 명의 후보 만 남아 있으면 사용하십시오.
입력 인수가 도메인 유형 인 경우 모든 후속 단계에 대해 도메인의 기본 유형으로 취급하십시오. 이를 통해 도메인은 모호한 운영자 해상도를 위해 기본 유형처럼 작용하도록합니다.
모든 후보자를 통해 실행하여 입력 유형에서 가장 정확한 일치를 유지합니다. 정확히 일치하는 경우 모든 후보자를 유지하십시오.
모든 후보자를 통해 유형 변환이 필요한 대부분의 위치에 선호 유형 (입력 데이터 유형 유형 범주)을 허용하는 후보를 실행하십시오. 선호하는 유형을 허용하지 않으면 모든 후보자를 유지하십시오.
입력 인수가있는 경우알 수없는, 나머지 후보자가 해당 인수 위치에서 수락 한 유형 범주를 확인하십시오. 각 위치에서를 선택하십시오.String카테고리 후보자가 해당 범주를 수락하는 경우. (문자열에 대한이 편견은 알려지지 않은 문자 문자가 문자열처럼 보이기 때문에 적절합니다.) 그렇지 않으면, 나머지 후보가 모두 동일한 유형 범주를 수락하는 경우 해당 범주를 선택하십시오.
둘 다있는 경우알 수없는및 알려진 유형의 인수, 그리고 알려진 모든 유형 인수는 동일한 유형을 가지고 있다고 가정합니다.알 수없는인수는 또한 그 유형의 인수이며, 어떤 후보자가 어떤 후보자가 그 유형을 수락 할 수 있는지 확인합니다알 수없는-경사 위치. 정확히 한 후보자 가이 테스트를 통과하면 사용하십시오.
일부 예제가 따릅니다.
예 10.1. 제곱근 토토 결과 유형 해상도
제곱 루트 토토 결과가 하나만 있습니다 (Prefix|/) 표준 카탈로그에 정의 된 유형의 주장이중 정밀. 스캐너는 초기 유형의를 할당합니다.정수이 쿼리 표현식의 인수에 :
선택 |/ 40으로 "40의 제곱근";
따라서 파서는 피연산자에서 유형 변환을 수행하고 쿼리는 다음과 같습니다.
선택 |/ 캐스트 (40은 이중 정밀도) "40의 제곱근";
예 10.2. 문자열 연결 토토 결과 유형 해상도
문자열과 같은 구문은 문자열 유형으로 작업하고 복잡한 확장 유형으로 작업하는 데 사용됩니다. 지정되지 않은 유형을 가진 문자열은 가능한 작업자 후보와 일치합니다.
하나의 지정되지 않은 인수가있는 예 :
텍스트 'ABC'||를 선택하십시오 '텍스트와 알 수없는'으로 'def';
이 경우 파서는 운영자가 복용하는지 확인하려고합니다텍스트두 인수 모두. 두 번째 인수는 유형으로 해석되어야한다고 가정합니다.텍스트.
여기에 지정되지 않은 유형의 두 가지 값에 대한 연결이 있습니다 :
'ABC'||를 선택하십시오 "지정되지 않은"로서의 'def';
이 경우 쿼리에 유형이 지정되지 않기 때문에 사용할 초기 힌트가 없습니다. 따라서 Parser는 모든 후보 운영자를 찾고 String-Category 및 Bit-String-Category 입력을 모두 수락하는 후보자가 있음을 알게됩니다.텍스트, 미지의 유형 리터럴을 해결하기 위해 특정 유형으로 사용됩니다.
예 10.3. 절대 가치 및 부정 토토 결과 유형 해상도
thePostgreSQL운영자 카탈로그는 접두사 토토 결과에 대한 여러 항목이 있습니다@, 모두 다양한 숫자 데이터 유형에 대한 절대 값 작동을 구현합니다. 이 항목 중 하나는 유형입니다float814205_14270PostgreSQL|알 수없는입력 :
"abs"로 @ '-4.5'를 선택하십시오.
여기서 시스템은 미지의 문자를 유형으로 암시 적으로 해결했습니다float8선택한 토토 결과를 적용하기 전에. 우리는 그것을 확인할 수 있습니다float8다른 유형이 사용되지 않았습니다.
"abs"로 @ '-4.5e500'을 선택하십시오.
반면에, 접두사 토토 결과~(Bitwise Negation)는 정수 데이터 유형에 대해서만 정의됩니다.float8. 그래서 우리가 비슷한 사례를 시도하면~, 우리는 다음을 얻는다 :
"부정"으로 ~ '20'을 선택합니다.
이것은 시스템이 몇 가지 가능한 몇 가지 중 어느 것을 결정할 수 없기 때문에 발생합니다.~운영자를 선호해야합니다. 우리는 명시적인 캐스트로 그것을 도울 수 있습니다 :
선택 ~ Cast ('20 'As int8)로 "부정";
예 10.4. 배열 포함 작업자 유형 해상도
여기에 알려지지 않은 하나의 알려지지 않은 입력으로 토토 결과를 해결하는 또 다른 예 :
배열을 선택하십시오 [1,2] <@ '1,2,3'as "is subset";
thePostgreSQL운영자 카탈로그는 디픽스 토토 결과에 대한 여러 항목이 있습니다<@그러나 왼쪽에서 정수 배열을 허용 할 수있는 유일한 두 가지는 배열 포함 (입니다.AnyArray <@ AnyArray) 및 범위 포함 (Anylement <@ AnyRange). 이러한 다형성 의사 유형 중 어느 것도 없기 때문에 (참조토토 사이트 추천 PostgreSQL : 문서 : 17 : 8.21. 의사 유형) 선호되는 것으로 간주되며, 파서는 그 근거로 모호성을 해결할 수 없습니다. 하지만,3.F미지의 문자가 다른 입력, 즉 정수 배열과 같은 유형이라고 가정합니다. 이제 두 연산자 중 하나만 일치 할 수 있으므로 배열 포함이 선택됩니다.
예 10.5. 도메인 유형의 사용자 정의 토토 결과
사용자는 때때로 운영자가 도메인 유형에만 적용하는 것을 선언하려고합니다. 운영자 해상도 규칙이 도메인의 기본 유형에 적용되는 연산자를 선택하도록 설계 되었기 때문에 가능하지만 거의 유용하지 않습니다.
텍스트 check (...)로 도메인 mytext 만들기;
이 쿼리는 사용자 정의 토토 결과를 사용하지 않습니다. 파서는 먼저 A가 있는지 확인합니다.MyText = MyText토토 결과 (2.A)는 없습니다. 그러면 도메인의 기본 유형을 고려할 것입니다텍스트텍스트 = 텍스트토토 결과 (2.B); 그래서 그것은를 해결합니다알 수없는-유형 문자체 as텍스트텍스트 = 텍스트운영자. 사용자 정의 토토 결과를 사용하도록하는 유일한 방법은 명시 적으로 문자를 캐스팅하는 것입니다.
선택 *에서 mytable에서 val = text 'foo';
그래서MyText = 텍스트토토 결과는 정확한 일치 규칙에 따라 즉시 발견됩니다. 최상의 일치 규칙에 도달하면 도메인 유형의 토토 결과를 적극적으로 차별합니다.
[9]신뢰할 수없는 사용자가 객체를 생성 할 수 있도록하는 스키마를 포함하는 검색 경로는이 아니기 때문에 위험은 스키마 자격이없는 이름으로 발생하지 않습니다.보안 스키마 사용 패턴.
문서에 올바르지 않은 내용이 있으면 일치하지 않습니다.이 양식문서 문제를보고하려면