10.2. Người vận tỷ lệ kèo bóng đá

Ví dụ 10-1. Loại vận tỷ lệ kèo bóng đá số mũ

Chỉ có một tỷ lệ kèo bóng đá tử số mũ được xác định trongDouble. Máy quét gán một loại ban đầuSố nguyênĐối với cả hai đối số của truy vấn này

Chọn 2 ^ 3 làm "exp";

Vì vậy, trình phân tích cú pháp thực hiện chuyển đổi loại trên cả hai tỷ lệ kèo bóng đá hạng và

15838_15916

Ví dụ 10-2. Loại tỷ lệ kèo bóng đá tử nối chuỗi

Cú pháp giống như chuỗi được sử dụng để làm việc với các loại chuỗi

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";

Trong trường hợp nàyTextcho cả hai đối số. TừText.

Đây là một kết nối trên các loại không xác định:

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

Trong trường hợp này không có gợi ý ban đầu cho loại nào sử dụng,Text, được sử dụng làm loại cụ thể để

Ví dụ 10-3. Giá trị tuyệt đối và phủ định

Thetỷ lệ kèo bóng đátỷ lệ kèo bóng đá tử@, tất cả đều thực hiện giá trị tuyệt đốifloat8, đó làtỷ lệ kèo bóng đáSẽ sử dụng mục đó khi đối mặt

Chọn @ '-4.5' là "abs";

Ở đây hệ thống đã thực hiện chuyển đổi ngầm từTextđếnfloat8Trước khi áp dụng tỷ lệ kèo bóng đá tử đã chọn. Chúng ta có thể xác minh rằngfloat8và không phải một số loại khác là

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

Mặt khác, tỷ lệ kèo bóng đá tử tiền tố~(Tiêu cực bitwise) chỉ được định nghĩa cho số nguyênfloat8. Vì vậy, nếu chúng ta cố gắng~, Chúng tôi nhận được:

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

Điều này xảy ra vì hệ thống không thể quyết định~Các nhà khai thác nên được

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