kèo chấp bóng đá hôm nay10.2. Người vận hành

Ví dụ 10-1. Độ phân giải kiểu vận hành giai thừa

Chỉ có một kèo chấp bóng đá hôm nay tử giai thừa (Postfix!) được xác định trong danh mục tiêu chuẩn và nó có một đối số của kèo chấp bóng đá hôm nayBigint. Máy quét gán một kèo chấp bóng đá hôm nay ban đầuSố nguyênĐối với đối số trong biểu thức truy vấn này:

Chọn 40! Như "40 giai thừa";

                   40 thế hệ
----------------------------------------------------------
 815915283247897734345611269596115894272000000000
(1 hàng)

Vì vậy, trình phân tích cú pháp thực hiện chuyển đổi loại trên kèo chấp bóng đá hôm nay hạng và truy vấn tương đương với:

Chọn diễn viên (40 là Bigint)! Như "40 Factorial";

Ví dụ 10-2. Chuỗi phân giải loại kèo chấp bóng đá hôm nay tử nối

16736_16917

Một ví dụ với một đối số không xác định:

Chọn văn bản 'ABC' || 'def' là "văn bản và không xác định";

 văn bản và không xác định
------------------
 ABCDEF
(1 hàng)

Trong trường hợp này, trình phân tích cú pháp có vẻ xem có người vận hành đang sử dụngTextcho cả hai đối số. Vì có, nó giả định rằng đối số thứ hai nên được hiểu là kèo chấp bóng đá hôm nayText.

Đây là sự kết hợp của hai giá trị của các kèo chấp bóng đá hôm nay không xác định:

Chọn 'ABC' || 'def' là "không xác định";

 không xác định
-------------
 ABCDEF
(1 hàng)

Trong trường hợp này không có gợi ý ban đầu cho loại nào sẽ sử dụng, vì không có loại nào được chỉ định trong truy vấn. Vì vậy, trình phân tích cú pháp tìm kiếm tất cả các kèo chấp bóng đá hôm nay tử ứng cử viên và thấy rằng có các ứng cử viên chấp nhận cả đầu vào loại chuỗi và chuỗi bit. Vì danh mục chuỗi được ưu tiên khi có sẵn, danh mục đó được chọn, và sau đó loại ưa thích cho chuỗi,Text, được sử dụng làm kèo chấp bóng đá hôm nay cụ thể để giải quyết các chữ không xác định như.

Ví dụ 10-3. Độ phân giải loại kèo chấp bóng đá hôm nay tử giá trị và phủ định tuyệt đối

ThePostgreSQLDanh mục kèo chấp bóng đá hôm nay tử có một số mục cho kèo chấp bóng đá hôm nay tử tiền tố@, tất cả đều thực hiện các hoạt động giá trị tuyệt đối cho các kèo chấp bóng đá hôm nay dữ liệu số khác nhau. Một trong những mục này là dành cho kèo chấp bóng đá hôm nayfloat8, là kèo chấp bóng đá hôm nay ưa thích trong danh mục số. Vì thế,PostgreSQLSẽ sử dụng mục nhập đó khi phải đối mặt vớikhông xác địnhĐầu vào:

Chọn @ '-4.5' là "abs";
 abs
-----
 4.5
(1 hàng)

Ở đây hệ thống đã ngầm giải quyết theo nghĩa đen chưa biết là kèo chấp bóng đá hôm nayfloat8Trước khi áp dụng kèo chấp bóng đá hôm nay tử đã chọn. Chúng ta có thể xác minh rằngfloat8và không phải một số kèo chấp bóng đá hôm nay khác đã được sử dụng:

Chọn @ '-4.5e500' dưới dạng "abs";

Lỗi: "-4.5E500" nằm ngoài phạm vi cho kèo chấp bóng đá hôm nay chính xác gấp đôi

Mặt khác, kèo chấp bóng đá hôm nay tử tiền tố~19093_19163float8. Vì vậy, nếu chúng ta thử một trường hợp tương tự với~, chúng ta nhận được:

Chọn ~ '20' làm "phủ định";

Lỗi: kèo chấp bóng đá hôm nay tử không phải là duy nhất: ~ "không xác định"
Gợi ý: Không thể chọn một nhà điều hành ứng viên tốt nhất. Bạn có thể cần thêm
loại diễn viên rõ ràng.

Điều này xảy ra vì hệ thống không thể quyết định trong số một số có thể19558_19561Người vận hành nên được ưu tiên. Chúng tôi có thể giúp nó với một diễn viên rõ ràng:

Chọn ~ cast ('20 'là int8) là "phủ định";

 phủ định
----------
      -21
(1 hàng)

Ví dụ 10-4. Độ phân giải Loại kèo chấp bóng đá hôm nay tử bao gồm mảng

Đây là một ví dụ khác về việc giải quyết một kèo chấp bóng đá hôm nay tử với một đầu vào đã biết và một đầu vào không xác định:

chọn mảng [1,2] <@ '1,2,3' là "là tập hợp con";

 là tập hợp con
-----------
 t
(1 hàng)

ThePostgreSQLDanh mục kèo chấp bóng đá hôm nay tử có một số mục cho kèo chấp bóng đá hôm nay tử infix<@, nhưng hai người duy nhất có thể chấp nhận một mảng số nguyên ở phía bên trái là bao gồm mảng (AnyArray <@ AnyArray) và bao gồm phạm vi (AnyEuity <@ Anyrange). Vì không có kèo chấp bóng đá hôm nay giả thuyết đa hình này (xemPhần 8.20) được coi là ưa thích, trình phân tích cú pháp không thể giải quyết sự mơ hồ trên cơ sở đó. Tuy nhiên,Bước 3.FNói với nó giả sử rằng chữ không xác định có cùng loại với đầu vào khác, nghĩa là mảng số nguyên. Bây giờ chỉ có một trong hai kèo chấp bóng đá hôm nay tử có thể khớp, vì vậy bao gồm mảng được chọn. .

Ví dụ 10-5. kèo chấp bóng đá hôm nay tử tùy chỉnh trên một loại miền

21267_21534

Tạo tên miền mytext dưới dạng kiểm tra văn bản (...);
Tạo hàm mytext_eq_text (mytext, văn bản) trả về boolean là ...;
Tạo kèo chấp bóng đá hôm nay tử = (thủ tục = mytext_eq_text, leftarg = mytext, relinesarg = text);
Tạo bảng mytable (val mytext);

Chọn * từ mytable trong đó val = 'foo';

21831_21918mytext = mytextkèo chấp bóng đá hôm nay tử (Bước 2.a), mà không có; Sau đó, nó sẽ xem xét kèo chấp bóng đá hôm nay cơ sở của miềnText, và xem cóText = Textkèo chấp bóng đá hôm nay tử (Bước 2.B), có; Vì vậy, nó giải quyếtkhông xác định-Type theo nghĩa đen asTextvà sử dụngText = Textkèo chấp bóng đá hôm nay tử. Cách duy nhất để sử dụng kèo chấp bóng đá hôm nay tử tùy chỉnh là sử dụng rõ ràng theo nghĩa đen:

Chọn * Từ MyTable WHERE Val = Text 'Foo';

sao chomytext = Text22821_23285