운영자 호출에 사용될 특정 연산자는 다음과 같습니다. 아래 절차에 따라 결정됩니다. 이것에 유의하십시오 절차는의 우선 순위에 의해 간접적으로 영향을받습니다 관련 운영자. 보다섹션 4.1.6더 많은 정보.
운영자 유형 해상도
pg_operator시스템 카탈로그.
자격이없는 토토 결과 이름이 사용 된 경우 (일반적인 경우)
고려 된 운영자는 올바른 이름이며
현재 검색 경로에서 볼 수있는 인수 수
(보다섹션
5.8.3). 자격을 갖춘 운영자 이름이 주어진 경우에만
지정된 스키마의 토토 결과가 고려됩니다.
검색 경로가 여러 토토 결과를 찾는 경우 동일한 인수 유형 만 나타나는 것만 나타납니다 경로에서 가장 빠른 것이 고려됩니다. 그러나 운영자 다른 인수 유형은 동일하게 고려됩니다 검색 경로 위치에 관계없이 기초.
입력을 정확하게 수락하는 토토 결과를 확인하십시오 인수 유형. 하나가 존재하는 경우 (정확한 하나만있을 수 있습니다 고려 된 운영자 세트에서 일치), 사용하십시오.
이진 토토 결과 호출의 한 가지 인수가있는 경우 의알 수없는타이핑 한 다음 가정합니다 이것에 대한 다른 주장과 같은 유형입니다. 확인하다. 관련된 기타 사례알 수없는이것에서 일치를 찾지 못할 것입니다 단계.
최고의 경기를 찾으십시오.
입력 한 후보 토토 결과 폐기 유형은 일치하지 않으며 변환 할 수 없습니다 (사용 암시 적 변환) 일치합니다.알 수없는리터럴이 가정됩니다 이 목적을 위해 무엇이든 전환 할 수 있습니다. 단지 하나라면 후보자는 남아있다. 그렇지 않으면 다음으로 계속됩니다 단계.
모든 후보자를 통해 그와 함께 보관하십시오 입력 유형에서 가장 정확한 일치. (도메인입니다 이것에 대한 기본 유형과 동일하게 간주됩니다 목적.) 정확한 사람이 없으면 모든 후보자를 유지하십시오 성냥. 한 명의 후보 만 남아 있으면 사용하십시오. 또 다른 다음 단계로 계속하십시오.
모든 후보자를 통해 실행하여 그를 유지하십시오 선호하는 유형을 허용합니다 (입력 데이터 유형의 유형 카테고리) 유형 변환의 대부분의 위치에서 필요합니다. 아무도 수락하지 않으면 모든 후보자를 유지하십시오 선호하는 유형. 한 명의 후보 만 남아 있으면 사용하십시오. 그렇지 않으면 다음 단계로 계속됩니다.
입력 인수가있는 경우알 수없는, 허용 된 유형 범주를 확인하십시오 그 논쟁에서 나머지는 위치에 있습니다 후보자. 각 위치에서를 선택하십시오.String카테고리 후보자가 수락하는 경우 그 범주. (문자열에 대한이 편견은 적절합니다 알려지지 않은 문자 문자는 문자열처럼 보이므로.) 그렇지 않으면 나머지 후보자가 모두 수락하는 경우 동일한 유형 카테고리, 해당 범주를 선택하십시오. 그렇지 않으면 올바른 선택은 추론 할 수 없기 때문에 실패합니다 더 많은 단서없이. 이제 그렇지 않은 후보자를 버립니다 선택한 유형 범주를 수락하십시오. 또한 후보는 주어진 인수에서 선호 유형을 수락합니다 입장, 선호되지 않은 수락 후보자를 버립니다 그 주장에 대한 유형.
한 후보 만 남아 있으면 사용하십시오. 아니오 그러므로 후보 또는 두 명 이상의 후보가 남아 있습니다 실패하다.
일부 예제가 따릅니다.
예 10-1. 지수 토토 결과 유형 해결
에 정의 된 지수 토토 결과는 하나뿐입니다 카탈로그, 그리고 유형의 주장이 필요합니다더블 정도. 스캐너는 초기 유형의를 할당합니다.Integer이 쿼리의 두 인수 모두 표현:
"exp"로 2 ^ 3을 선택합니다. exp ----- 8 (1 행)
따라서 파서는 피토토 결과와 두 피토토 결과 모두에서 유형 변환을 수행합니다. 쿼리는와 같습니다.
Cast (2로 이중 정밀도) ^ Cast (3은 이중 정밀도) "exp";를 선택하십시오.
예 10-2. 문자열 연결 토토 결과 유형 해결
문자열과 같은 구문은 문자열 유형으로 작업하는 데 사용됩니다. 복잡한 확장 유형으로 작업 할뿐만 아니라 문자열 지정되지 않은 유형의 경우 작업자와 일치합니다 후보자.
하나의 지정되지 않은 인수가있는 예 :
텍스트 'ABC'||를 선택하십시오 '텍스트와 알 수없는'으로 'def'; 텍스트와 알 수없는 ----------------- ABCDEF (1 행)
이 경우 파서는 운영자가 있는지 확인합니다. 취득텍스트두 인수 모두. 부터 두 번째 주장은 유형으로 해석텍스트.
여기에 지정되지 않은 유형에 대한 연결이 있습니다 :
'ABC'||를 선택하십시오 "지정되지 않은"로서의 'def'; 지정되지 않은 ------------- ABCDEF (1 행)
이 경우 사용 할 유형의 초기 힌트가 없습니다. 쿼리에 유형이 지정되지 않기 때문입니다. 그래서, 파서는 봅니다 모든 후보 운영자에 대해 후보자가 있음을 알게됩니다. 문자열 카테고리 및 비트 스트링 카테고리 입력을 모두 수락합니다. 사용 가능한 경우 문자열 카테고리가 선호되므로 카테고리가 선택되고 문자열의 선호 유형텍스트는 특정 유형으로 사용됩니다 알 수없는 리터럴을 해결합니다.
예 10-3. 절대 가치와 부정 토토 결과 유형 해상도
thePostgreSQL토토 결과 카탈로그에는 접두사 토토 결과에 대한 여러 항목이 있습니다@, 모두 절대 값을 구현합니다 다양한 숫자 데이터 유형에 대한 작업. 이 항목 중 하나 유형입니다float8숫자 카테고리에서 우선 유형. 그러므로,PostgreSQL직면했을 때 해당 항목을 사용합니다 수치가 아닌 입력 :
@ '-4.5'를 "ABS"로 선택합니다. ABS ----- 4.5 (1 행)
여기서 시스템은 암시 적 변환을 수행했습니다.텍스트tofloat8선택한 토토 결과를 적용하기 전에. 우리는 그것을 확인할 수 있습니다float8다른 유형은 없었습니다 사용된:
"abs"로 @ '-4.5e500'을 선택하십시오. 오류 : "-4.5e500"은 유형 이중 정밀도의 범위를 벗어났습니다
반면에, 접두사 토토 결과~(Bitwise Negation)는 정수에 대해서만 정의됩니다 데이터 유형,float8. 그래서 우리가 시도하면 와 비슷한 사례~, 우리는 다음을 얻습니다 :
"부정"으로 ~ '20'을 선택합니다. 오류 : 운영자는 고유하지 않습니다 : ~ "알 수 없음" 힌트 : 최고의 후보 운영자를 선택할 수 없었습니다. 명시 적을 추가해야 할 수도 있습니다 타입 캐스트.
이것은 시스템이 어느 쪽을 결정할 수 없기 때문에 발생합니다. 몇 가지 가능한~운영자가 있어야합니다 우선의. 우리는 명시적인 캐스트로 그것을 도울 수 있습니다 :
선택 ~ cast ('20 'as int8)로 "부정";
부정
---------
-21
(1 행)