TheGinGiao diện có mức độ trừu tượng cao, yêu cầu người thực hiện phương thức truy cập chỉ để thực hiện ngữ nghĩa của kiểu dữ liệu được truy cập. TheGinBản thân lớp chăm sóc sự đồng thời, ghi nhật ký và tìm kiếm cấu trúc cây.
Tất cả những gì cần thiết để có được soi kèo bóng đá truoctranGinPhương pháp truy cập làm việc là thực hiện một số phương thức do người dùng xác định, xác định hành vi của các khóa trong cây và mối quan hệ giữa các khóa, soi kèo bóng đá truoctran được lập chỉ soi kèo bóng đá truoctran và truy vấn có thể lập chỉ soi kèo bóng đá truoctran. Tóm lại,GinKết hợp độ soi kèo bóng đá truoctran với tính tổng quát, tái sử dụng mã và giao diện sạch.
Có hai phương thức mà soi kèo bóng đá truoctran lớp toán tử choGinphải cung cấp:
9450_9520
Trả về một mảng palloc'd gồm các khóa được cung cấp một soi kèo bóng đá truoctran được lập chỉ soi kèo bóng đá truoctran. Số lượng khóa trả về phải được lưu trữ thành*NKEYS
. Nếu bất kỳ phím nào có thể là null, cũng palloc soi kèo bóng đá truoctran mảng*NKEYS
bool
Trường, lưu trữ địa chỉ của nó tại*nullflags
, và đặt soi kèo bóng đá truoctran cờ null này khi cần.*nullflags
có thể để lạinull
(giá trị ban đầu của nó) nếu tất cả soi kèo bóng đá truoctran khóa không có null. Giá trị trả về có thể lànull
Nếu soi kèo bóng đá truoctran không chứa khóa.
10222_10362
Trả về soi kèo bóng đá truoctran mảng palloc'd gồm các khóa được cung cấp soi kèo bóng đá truoctran giá trị được truy vấn; đó là,Truy vấn
là giá trị ở phía bên phải của toán tử có thể lập chỉ soi kèo bóng đá truoctran có phía bên trái là cột được lập chỉ soi kèo bóng đá truoctran.n
là số chiến lược của toán tử trong lớp toán tử (xemPhần 38.16.2). Thường,Trích xuất
Sẽ cần tham khảo ý kiếnn
Để xác định loại dữ liệu củaTruy vấn
và phương pháp nên sử dụng để trích xuất soi kèo bóng đá truoctran giá trị khóa. Số lượng khóa trả về phải được lưu trữ thành*NKEYS
. Nếu bất kỳ phím nào có thể là null, cũng palloc soi kèo bóng đá truoctran mảng*NKEYS
bool
Trường, lưu trữ địa chỉ của nó tại*nullflags
, và đặt soi kèo bóng đá truoctran cờ null này khi cần.*nullflags
có thể để lạinull
(giá trị ban đầu của nó) nếu tất cả soi kèo bóng đá truoctran khóa không phải là null. Giá trị trả về có thể lànull
NếuTruy vấn
không chứa khóa.
SearchMode
là đối số đầu ra cho phépTrích xuất
Để chỉ định chi tiết về cách tìm kiếm sẽ được thực hiện. Nếu như*SearchMode
được đặt thànhGin_Search_Mode_Default
(là giá trị mà nó được khởi tạo trước khi gọi), chỉ các soi kèo bóng đá truoctran phù hợp với ít nhất một trong các khóa trả về được coi là phù hợp ứng cử viên. Nếu như*SearchMode
được đặt thànhgin_search_mode_include_empty
, sau đó ngoài các soi kèo bóng đá truoctran chứa ít nhất một phím phù hợp, các soi kèo bóng đá truoctran không chứa khóa nào được coi là phù hợp ứng cử viên. (Ví dụ: Chế độ này rất hữu ích để triển khai các toán tử là bộ phận của các toán tử.) Nếu*SearchMode
được đặt thànhGIN_SEARCH_MODE_ALL
, thì tất cả các soi kèo bóng đá truoctran không null trong chỉ soi kèo bóng đá truoctran được coi là phù hợp với ứng cử viên, cho dù chúng có khớp với bất kỳ khóa nào được trả về hay không. .access/gin.h
.
pmatch
là soi kèo bóng đá truoctran đối số đầu ra để sử dụng khi hỗ trợ kết hợp soi kèo bóng đá truoctran phần. Để sử dụng nó,Trích xuất
Phải phân bổ soi kèo bóng đá truoctran mảng*NKEYS
bool
S và lưu trữ địa chỉ của nó tại*pmatch
. Mỗi phần tử của mảng phải được đặt thành true nếu khóa tương ứng yêu cầu khớp soi kèo bóng đá truoctran phần, sai nếu không.*pmatch
được đặt thànhnull
Sau đó, Gin giả định rằng không cần phải kết hợp soi kèo bóng đá truoctran phần. Biến được khởi tạo thànhnull
Trước khi gọi, vì vậy đối số này có thể bị bỏ qua bởi các lớp toán tử không hỗ trợ khớp soi kèo bóng đá truoctran phần.
Extra_Data
là đối số đầu ra cho phépTrích xuất
Để truyền dữ liệu bổ sung chonhất quán
vàSo sánhpartial
Phương pháp. Để sử dụng nó,Trích xuất
phải phân bổ soi kèo bóng đá truoctran mảng*NKEYS
Con trỏ và lưu trữ địa chỉ của nó tại*Extra_data
, sau đó lưu trữ bất cứ điều gì nó muốn vào soi kèo bóng đá truoctran con trỏ riêng lẻ. Biến được khởi tạo thànhnull
Trước khi gọi, vì vậy đối số này có thể bị bỏ qua bởi soi kèo bóng đá truoctran lớp toán tử không yêu cầu thêm dữ liệu. Nếu như*Extra_data
được đặt, toàn bộ mảng được chuyển chonhất quán
Phương thức và phần tử thích hợp choSo sánhpartial
Phương pháp.
Một lớp toán tử cũng phải cung cấp một chức soi kèo bóng đá truoctran để kiểm tra xem một mục được lập chỉ mục có khớp với truy vấn không. Nó có hai hương vị, một booleannhất quán
Hàm và soi kèo bóng đá truoctran ternaryTriconsistent
chức soi kèo bóng đá truoctran.Triconsistent
Bao gồm chức soi kèo bóng đá truoctran của cả hai, vì vậy cung cấpTriconsistent
soi kèo bóng đá truoctran mình là đủ. Tuy nhiên, nếu biến thể Boolean rẻ hơn đáng kể để tính toán, thì có thể thuận lợi để cung cấp cả hai.
Bool nhất quán (kiểm tra bool [], StrategyNumber N, Datum truy vấn, Int32 NKEYS, Con trỏ thêm_data [], Bool *Recheck, Datum Querykeys [], Bool Nullflags [])
Trả về đúng nếu một soi kèo bóng đá truoctran được lập chỉ soi kèo bóng đá truoctran thỏa mãn toán tử truy vấn với số chiến lượcn
(hoặc có thể thỏa mãn nó, nếu chỉ báo kiểm tra lại). Chức soi kèo bóng đá truoctran này không có quyền truy cập trực tiếp vào giá trị của mục được lập chỉ mục, vìGinKhông lưu trữ các soi kèo bóng đá truoctran một cách rõ ràng. Thay vào đó, những gì có sẵn là kiến thức về giá trị khóa nào được trích xuất từ truy vấn xuất hiện trong một soi kèo bóng đá truoctran được lập chỉ soi kèo bóng đá truoctran nhất định.Kiểm tra
mảng có độ dàiNKEYS
, giống như số lượng khóa trước được trả về trướcTrích xuất
cho điều nàyTruy vấn
Datum. Mỗi yếu tố củaKiểm tra
Mảng là đúng nếu soi kèo bóng đá truoctran được lập chỉ soi kèo bóng đá truoctran chứa khóa truy vấn tương ứng, tức là, nếu (kiểm tra [i] == true) phím thứ i củaTrích xuất
mảng kết quả có mặt trong soi kèo bóng đá truoctran được lập chỉ soi kèo bóng đá truoctran. Bản gốcTruy vấn
Datum được truyền trong trường hợpnhất quán
Phương pháp cần tham khảo nó, và cũng vậyTruy vấn []
vànullflags []
mảng được trả về trước đóTrích xuất
.Extra_Data
là mảng dữ liệu thêm được trả về bởiTrích xuất
hoặcnull
Nếu không.
KhiTrích xuất
Trả về phím null trongTruy vấn []
, tương ứngKiểm tra []
Phần tử là đúng nếu soi kèo bóng đá truoctran được lập chỉ soi kèo bóng đá truoctran chứa khóa null; đó là ngữ nghĩa củaKiểm tra []
giống nhưkhông khác biệt với
. Thenhất quán
Hàm có thể kiểm tra tương ứngnullflags []
Phần tử nếu cần phải nói sự khác biệt giữa khớp giá trị thông thường và khớp null.
Khi thành công,*Recheck
nên được đặt thành true nếu tple heap cần được kiểm tra lại đối với toán tử truy vấn hoặc sai nếu kiểm tra chỉ soi kèo bóng đá truoctran là chính xác. Đó là, một giá trị trả về sai đảm bảo rằng Tuple Heap không khớp với truy vấn;*Recheck
Đặt thành sự bảo đảm sai rằng Tuple Heap không khớp với truy vấn; và giá trị trả về thực sự với*Rebheck
Đặt thành True có nghĩa là Tuple Heap có thể khớp với truy vấn, do đó, nó cần được tìm nạp và kiểm tra lại bằng cách đánh giá toán tử truy vấn trực tiếp với soi kèo bóng đá truoctran được lập chỉ soi kèo bóng đá truoctran ban đầu.
18370_18529
Triconsistent
giống vớinhất quán
, nhưng thay vì booleans trongKiểm tra
Vector, có ba giá trị có thể cho mỗi khóa:gin_true
,Gin_False
vàGin_Maybe
.Gin_False
vàGin_True
Có ý nghĩa tương tự như soi kèo bóng đá truoctran giá trị boolean thông thường, trong khiGin_Maybe
có nghĩa là sự hiện diện của khóa đó không được biết đến. Khigin_maybe
Giá trị có mặt, hàm chỉ nên trả vềgin_true
Nếu soi kèo bóng đá truoctran chắc chắn khớp với việc soi kèo bóng đá truoctran chỉ soi kèo bóng đá truoctran có chứa các khóa truy vấn tương ứng hay không. Tương tự như vậy, hàm phải trả vềGin_False
Chỉ khi mặt hàng chắc chắn không khớp, dù nó có chứa hay khôngGin_Maybe
Khóa. Nếu kết quả phụ thuộc vàogin_maybe
Mục nhập, tức là, trận đấu không thể được xác nhận hoặc bác bỏ dựa trên các khóa truy vấn đã biết, chức soi kèo bóng đá truoctran phải trả vềgin_maybe
.
Khi không cóGin_Maybe
giá trị trongKiểm tra
Vector, Agin_maybe
Giá trị trả về tương đương với việc cài đặtRecheck
cờ trong booleannhất quán
chức soi kèo bóng đá truoctran.
Ngoài ra, Gin phải có cách sắp xếp các giá trị chính được lưu trữ trong chỉ soi kèo bóng đá truoctran. Lớp toán tử có thể xác định thứ tự sắp xếp bằng cách chỉ định phương thức so sánh:
int so sánh (Datum A, Datum B)
20492_20729
Ngoài ra, nếu lớp toán tử không cung cấpso sánh
Phương thức, Gin sẽ tra cứu lớp toán tử Btree mặc định cho kiểu dữ liệu khóa chỉ mục và sử dụng chức soi kèo bóng đá truoctran so sánh của nó. Bạn nên chỉ định chức soi kèo bóng đá truoctran so sánh trong lớp toán tử GIN chỉ dành cho một kiểu dữ liệu, vì việc tìm kiếm lớp toán tử Btree có giá một vài chu kỳ.Array_ops
) Thông thường không thể chỉ định soi kèo bóng đá truoctran hàm so sánh duy nhất.
Lớp toán tử choGinTùy chọn cung cấp soi kèo bóng đá truoctran phương pháp sau:
21532_21620
So sánh khóa truy vấn khớp một phần với khóa chỉ soi kèo bóng đá truoctran. Trả về một số nguyên có dấu cho biết kết quả: nhỏ hơn 0 có nghĩa là khóa chỉ soi kèo bóng đá truoctran không khớp với truy vấn, nhưng việc quét chỉ soi kèo bóng đá truoctran sẽ tiếp tục;n
của toán tử tạo truy vấn khớp soi kèo bóng đá truoctran phần được cung cấp, trong trường hợp ngữ nghĩa của nó là cần thiết để xác định khi nào nên kết thúc quá trình quét. Cũng,Extra_Data
là phần tử tương ứng của mảng dữ liệu phụ được thực hiện bởiTrích xuất
hoặcNULL
Nếu không có. Các phím null không bao giờ được truyền cho chức soi kèo bóng đá truoctran này.
Tùy chọn void (local_relopts *relopts)
Xác định soi kèo bóng đá truoctran tập hợp các tham số có thể nhìn thấy người dùng có thể điều khiển hành vi của lớp toán tử.
TheTùy chọn
Hàm được chuyển soi kèo bóng đá truoctran con trỏ đến Alocal_relopts
struct, cần được lấp đầy bằng một tập hợp các tùy chọn cụ thể của lớp vận hành. Các tùy chọn có thể được truy cập từ các chức soi kèo bóng đá truoctran hỗ trợ khác bằng cách sử dụngPG_HAS_OPCLASS_OPTES ()
vàPG_GET_OPCLASS_OPTES ()
Macros.
Vì cả hai trích xuất chính của các giá trị được lập chỉ soi kèo bóng đá truoctran và biểu diễn của khóa trongGinlà linh hoạt, chúng có thể phụ thuộc vào soi kèo bóng đá truoctran tham số do người dùng chỉ định.
Để hỗ trợKết hợp soi kèo bóng đá truoctran phầnTruy vấn, lớp toán tử phải cung cấpso sánhspartial
Phương pháp và nóTrích xuất
Phương thức phải đặtpmatch
tham số khi gặp soi kèo bóng đá truoctran phần truy vấn khớp soi kèo bóng đá truoctran phần. Nhìn thấyPhần 70.4.2Để biết chi tiết.
soi kèo bóng đá truoctran loại dữ liệu thực tế của soi kèo bóng đá truoctran loại khác nhauDatum
Các giá trị được đề cập ở trên thay đổi tùy thuộc vào lớp toán tử. Các giá trị soi kèo bóng đá truoctran được truyền đếnExtractValue
luôn thuộc loại đầu vào của lớp toán tử và tất cả soi kèo bóng đá truoctran giá trị chính phải là của lớplưu trữ
Loại. Loại củaTruy vấn
Đối số được chuyển choTrích xuất
,nhất quán
vàTriconsistent
là bất cứ thứ gì là loại đầu vào bên phải của toán tử thành viên lớp được xác định bởi số chiến lược. Điều này không cần phải giống như loại được lập chỉ soi kèo bóng đá truoctran, miễn là các giá trị chính của loại chính xác có thể được trích xuất từ nó.Truy vấn
Đối số, mặc dù loại thực tế có thể là thứ khác tùy thuộc vào toán tử.
Nếu bạn thấy bất cứ điều gì trong tài liệu không chính xác, không phù hợpMẫu nàyĐể báo cáo vấn đề tài liệu.