10.2. Người vận kèo bóng đá hom nay

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

Chỉ có một kèo bóng đá hom nay tử số mũ được xác định trongDouble15489_15536Số nguyêncho 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 kèo bóng đá hom nay hạng và

15821_15899

Ví dụ 10-2. Loại kèo bóng đá hom nay 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à cách kết hợp 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

Thekèo bóng đá hom naykèo bóng đá hom nay tử@, tất cả đều thực hiện giá trị tuyệt đốifloat8, đó làkèo bóng đá hom naySẽ 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 kèo bóng đá hom nay 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' là "abs";

Mặt khác, kèo bóng đá hom nay 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~Người vận kèo bóng đá hom nay nên được

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