Tại sao: = được phép làm toán tử kết hợp?

Question

Tôi đã đi qua gói phổ biến data.table và một điều đặc biệt hấp dẫn tôi. Nó có một toán tử gán tại chỗ

:=

này không được định nghĩa trong cơ sở R. Trong thực tế nếu bạn không tải gói data.table, nó đã có thể đưa ra một lỗi nếu bạn đã cố gắng sử dụng nó (ví dụ , a := 2) với thông báo:

Error: could not find function ":="

Ngoài ra, tại sao := hoạt động? Tại sao R cho phép bạn xác định := là toán tử kết hợp trong khi mọi hàm infix khác phải được bao quanh bởi %%, ví dụ:

`:=` <- function(a, b) { 
    paste(a,b) 
} 

"abc" := "def" 

Rõ ràng nó không có nghĩa là một cú pháp thay thế cho %function.name% để xác định chức năng trộn. Có phải data.table đang khai thác một số quirks phân tích cú pháp của R? Nó là một hack? Nó sẽ được "vá" trong tương lai?

Answer 1

Đó là điều mà trình phân tích cú pháp R cơ sở nhận ra và dường như phân tích cú pháp dưới dạng gán trái (ít nhất là về mặt hoặc thứ tự các thao tác và như vậy). Xem C source code để biết thêm chi tiết.

as.list(parse(text="a:=3")[[1]]) 
# [[1]] 
# `:=` 
# 
# [[2]] 
# a 
# 
# [[3]] 
# [1] 3 

Theo như tôi có thể nói nó không có giấy tờ (về cơ sở R). Nhưng đó là một chức năng/nhà điều hành bạn có thể thay đổi hành vi của

`:=`<-function(a,b) {a+b} 
3 := 7 
# [1] 10 

Như bạn có thể thấy thực sự không có gì đặc biệt về phần ":". Nó chỉ xảy ra là sự bắt đầu của một mã thông báo hợp chất.

Answer 2

Nó không chỉ là toán tử kết nối mà là := là một toán tử đơn được tạo thành bởi dấu hai chấm và dấu bằng (giống như sự kết hợp của "<" và "-" tạo toán tử gán trong cơ sở R). Toán tử := là một hàm infix được định nghĩa là một phần của việc đánh giá đối số "j" bên trong hàm [.data.table. Nó tạo ra hoặc gán một giá trị cho một cột được chỉ định bởi đối số LHS của nó bằng cách sử dụng kết quả đánh giá RHS của nó.