อะไรคือความแตกต่างระหว่าง“ =” และ“ <-” ผู้ประกอบการที่ได้รับมอบหมายใน R?

อะไรคือความแตกต่างระหว่างผู้ประกอบการที่ได้รับมอบหมาย=และ<-ใน R?

ฉันรู้ว่าผู้ประกอบการแตกต่างกันเล็กน้อยตามตัวอย่างนี้แสดงให้เห็น

x <- y <- 5
x = y = 5
x = y <- 5
x <- y = 5
# Error in (x <- y) = 5 : could not find function "<-<-"

แต่นี่คือความแตกต่างเท่านั้น?

อะไรคือความแตกต่างระหว่างผู้ประกอบการที่ได้รับมอบหมาย=และ<-ใน R?

ดังที่ตัวอย่างของคุณแสดง=และ<-มีลำดับความสำคัญของโอเปอเรเตอร์ที่แตกต่างกันเล็กน้อย (ซึ่งกำหนดลำดับของการประเมินเมื่อผสมในนิพจน์เดียวกัน) ในความเป็นจริง?Syntaxใน R ให้ตารางตัวดำเนินการลำดับความสำคัญจากสูงสุดไปต่ำสุด:

…
‘-> ->>’           rightwards assignment
‘<- <<-’           assignment (right to left)
‘=’                assignment (right to left)
…

แต่นี่คือความแตกต่างเท่านั้น?

เนื่องจากคุณถูกถามเกี่ยวกับผู้ดำเนินการที่ได้รับมอบหมาย : ใช่นั่นคือความแตกต่างเท่านั้น อย่างไรก็ตามคุณจะได้รับการให้อภัยจากการเชื่อเป็นอย่างอื่น แม้แต่เอกสาร R ของการ?assignOpsอ้างสิทธิ์ว่ามีความแตกต่างมากขึ้น:

โอเปอเรเตอร์<-สามารถใช้งานได้ทุกที่ในขณะที่โอเปอเรเตอร์=ได้รับอนุญาตที่ระดับบนสุดเท่านั้น (เช่นในนิพจน์ทั้งหมดที่พิมพ์ที่คอมมานด์พรอมต์) หรือเป็นหนึ่งในนิพจน์ย่อยในรายการนิพจน์ที่ถูกโยง

ให้ไม่ใส่ดีจุดเกินไปในมันเอกสาร R คือ (อย่างละเอียด) ผิด ^{[ 1} ] นี่เป็นเรื่องง่ายที่จะแสดง: เราเพียงแค่ต้องค้นหาตัวอย่างเคาน์เตอร์ของตัว=ดำเนินการที่ไม่ใช่ (a) ที่ระดับสูงสุดและ (b) นิพจน์ย่อยในรายการของนิพจน์ (เช่น{…; …}) - ไม่มีความกังวลใจเพิ่มเติม:

x
# Error: object 'x' not found
sum((x = 1), 2)
# [1] 3
x
# [1] 1

เห็นได้ชัดว่าเราได้ทำการมอบหมายใช้=นอกบริบท (a) และ (b) เหตุใดเอกสารของคุณลักษณะแกนภาษา R จึงผิดมาหลายทศวรรษ

เป็นเพราะในไวยากรณ์ของ R สัญลักษณ์=มีความหมายที่แตกต่างกันสองประการที่ทำให้เกิดความสับสนเป็นประจำ:

1. ความหมายแรกคือในฐานะที่เป็นผู้ประกอบการที่ได้รับมอบหมาย นี่คือทั้งหมดที่เราพูดถึง
2. ความหมายที่สองไม่ใช่โอเปอเรเตอร์ แต่เป็นโทเค็นของไวยากรณ์ที่ส่งสัญญาณการตั้งชื่ออาร์กิวเมนต์ที่ผ่านในการเรียกใช้ฟังก์ชัน ซึ่งแตกต่างจาก=ผู้ประกอบการที่ไม่ได้ดำเนินการที่รันไทม์มันเพียงเปลี่ยนวิธีการแยกวิเคราะห์การแสดงออก

มาดูกัน.

ในรหัสใด ๆ ของแบบฟอร์มทั่วไป ...

‹function_name›(‹argname› = ‹value›, …)
‹function_name›(‹args›, ‹argname› = ‹value›, …)

… =เป็นโทเค็นที่กำหนดอาร์กิวเมนต์การส่งผ่านชื่อ: ไม่ใช่ตัวดำเนินการกำหนด นอกจากนี้ห้าม=ทั้งหมดในบริบทของประโยค:

if (‹var› = ‹value›) …
while (‹var› = ‹value›) …
for (‹var› = ‹value› in ‹value2›) …
for (‹var1› in ‹var2› = ‹value›) …

สิ่งเหล่านี้จะทำให้เกิดข้อผิดพลาด“ ที่ไม่คาดคิด '=' เป็นใน

ในบริบทอื่นใด=อ้างถึงการเรียกผู้ดำเนินการที่ได้รับมอบหมาย โดยเฉพาะอย่างยิ่งเพียงใส่วงเล็บรอบ subexpression ทำให้ใด ๆ ข้างต้น (ก) ที่ถูกต้องและ (ข) ได้รับมอบหมาย ตัวอย่างเช่นการดำเนินการต่อไปนี้ได้รับมอบหมาย:

median((x = 1 : 10))

แต่ยัง:

if (! (nf = length(from))) return()

_{ตอนนี้คุณอาจคัดค้านว่ารหัสนั้นเลวร้าย (และคุณอาจถูก) แต่ฉันเอาโค้ดนี้มาจากbase::file.copyฟังก์ชั่น (แทนที่<-ด้วย=) - มันเป็นรูปแบบที่แพร่หลายในฐาน code R ส่วนใหญ่}

คำอธิบายต้นฉบับโดย John Chambersซึ่งเอกสาร R น่าจะอยู่บนพื้นฐานของความเป็นจริงอธิบายนี้อย่างถูกต้อง:

=อนุญาตให้[ มอบหมาย] เพียงสองแห่งในไวยากรณ์: ที่ระดับบนสุด (เป็นโปรแกรมที่สมบูรณ์หรือการแสดงออกของผู้ใช้พิมพ์); และเมื่อแยกออกจากโครงสร้างโลจิคัลโดยรอบ, วงเล็บปีกกาหรือวงเล็บพิเศษ

คำสารภาพ: ฉันโกหกก่อนหน้านี้ มีเป็นหนึ่งความแตกต่างระหว่างเพิ่มเติม=และ<-ผู้ประกอบการ: พวกเขาเรียกฟังก์ชั่นที่แตกต่างกัน โดยค่าเริ่มต้นฟังก์ชั่นเหล่านี้จะทำสิ่งเดียวกัน แต่คุณสามารถแทนที่หนึ่งในนั้นแยกกันเพื่อเปลี่ยนพฤติกรรม ในทางตรงกันข้าม<-และ->(จากซ้ายไปขวา) ถึงแม้ว่าจะมีความแตกต่างทางวากยสัมพันธ์มักเรียกฟังก์ชั่นเดียวกันเสมอ การเอาชนะอย่างใดอย่างหนึ่งยังแทนที่อีกด้วย รู้นี้เป็นจริงไม่ค่อยแต่ก็สามารถนำมาใช้สำหรับบางแง่สนุก

ความแตกต่างในโอเปอเรเตอร์การมอบหมายจะชัดเจนขึ้นเมื่อคุณใช้เพื่อตั้งค่าอาร์กิวเมนต์ในการเรียกใช้ฟังก์ชัน ตัวอย่างเช่น:

median(x = 1:10)
x   
## Error: object 'x' not found

ในกรณีนี้xมีการประกาศภายในขอบเขตของฟังก์ชันดังนั้นจึงไม่มีอยู่ในพื้นที่ทำงานของผู้ใช้

median(x <- 1:10)
x    
## [1]  1  2  3  4  5  6  7  8  9 10

ในกรณีนี้xมีการประกาศในพื้นที่ทำงานของผู้ใช้ดังนั้นคุณสามารถใช้งานได้หลังจากการเรียกใช้ฟังก์ชันเสร็จสมบูรณ์

มีการกำหนดค่าตามความชอบทั่วไประหว่างชุมชน R เพื่อใช้<-สำหรับการมอบหมาย (นอกเหนือจากในลายเซ็นของฟังก์ชัน) สำหรับความเข้ากันได้กับ S-Plus รุ่นเก่า (มาก) โปรดทราบว่าช่องว่างช่วยอธิบายสถานการณ์เช่นนี้

x<-3
# Does this mean assignment?
x <- 3
# Or less than?
x < -3

R IDEs ส่วนใหญ่มีแป้นพิมพ์ลัดเพื่อให้<-พิมพ์ง่ายขึ้น Ctrl+ =ในสถาปนิก, Alt+ -ใน RStudio ( Option+ -ภายใต้ macOS), Shift+ -(ขีดล่าง) ใน emacs + ESS

ถ้าคุณต้องการเขียน=ไป<-แต่ต้องการที่จะใช้สัญลักษณ์ที่ได้รับมอบหมายร่วมกันมากขึ้นสำหรับรหัสที่ออกสู่สาธารณะ (บน CRAN ตัวอย่าง) แล้วคุณสามารถใช้หนึ่งในtidy_*ฟังก์ชั่นในformatRแพคเกจที่จะเปลี่ยนโดยอัตโนมัติด้วย=<-

library(formatR)
tidy_source(text = "x=1:5", arrow = TRUE)
## x <- 1:5

คำตอบของคำถาม "ทำไมจึงx <- y = 5เกิดข้อผิดพลาด แต่ไม่ใช่x <- y <- 5" คือ "มันลงไปจนถึงเวทย์มนตร์ที่มีอยู่ในตัวแยกวิเคราะห์" ไวยากรณ์ของ R ประกอบด้วยกรณีที่ไม่ชัดเจนจำนวนมากที่ต้องแก้ไขในทางใดทางหนึ่ง parser เลือกที่จะแก้ไขบิตของนิพจน์ในคำสั่งต่าง ๆ ขึ้นอยู่กับว่ามีการใช้=หรือ<-ไม่

เพื่อให้เข้าใจสิ่งที่เกิดขึ้นคุณต้องรู้ว่าการมอบหมายนั้นส่งคืนค่าที่ถูกมอบหมายอย่างเงียบ ๆ print(x <- 2 + 3)คุณจะเห็นว่าชัดเจนมากขึ้นโดยการพิมพ์อย่างชัดเจนเช่น

ประการที่สองจะชัดเจนกว่าถ้าเราใช้เครื่องหมายนำหน้าสำหรับการกำหนด ดังนั้น

x <- 5
`<-`(x, 5)  #same thing

y = 5
`=`(y, 5)   #also the same thing

โปรแกรมแยกวิเคราะห์ตีความx <- y <- 5เป็น

`<-`(x, `<-`(y, 5))

เราอาจคาดหวังว่าx <- y = 5จะเป็นเช่นนั้น

`<-`(x, `=`(y, 5))

แต่จริงๆแล้วมันถูกตีความว่าเป็น

`=`(`<-`(x, y), 5)

นี่เป็นเพราะ=มีความสำคัญต่ำกว่า<-ที่แสดงใน?Syntaxหน้าความช่วยเหลือ

คู่มือสไตล์ R ของ Google ช่วยลดความยุ่งยากของปัญหาโดยการห้าม "=" สำหรับการมอบหมาย ไม่ใช่ตัวเลือกที่แย่

https://google.github.io/styleguide/Rguide.xml

คู่มือ R นั้นมีรายละเอียดที่ดีสำหรับผู้ให้บริการทั้ง 5 ราย

http://stat.ethz.ch/R-manual/R-patched/library/base/html/assignOps.html

x = y = 5เท่ากับx = (y = 5)เพราะผู้ประกอบการที่ได้รับมอบหมาย "กลุ่ม" จากขวาไปซ้ายซึ่งใช้งานได้ ความหมาย: มอบหมาย 5 ถึงy, ออกจากหมายเลข 5; และกำหนดแล้วที่ x5

นี่ไม่ใช่สิ่งเดียวกัน(x = y) = 5ซึ่งไม่ได้ผล! ความหมาย: กำหนดค่าของyถึงxออกจากค่าของy; แล้วมอบหมาย 5 ให้กับอืมม ... อะไรกันแน่?

เมื่อคุณผสมที่แตกต่างกันของผู้ประกอบการที่ได้รับมอบหมาย, ผูกแน่นกว่า<- =ดังนั้นx = y <- 5ถูกตีความว่าx = (y <- 5)เป็นกรณีที่เหมาะสม

น่าเสียดายที่x <- y = 5ตีความว่า(x <- y) = 5เป็นกรณีที่ไม่ได้ผล!

ดู?Syntaxและ?assignOpsสำหรับความสำคัญ (ผูกพัน) และกฎการจัดกลุ่ม

ตามที่ John Chambers ผู้ดำเนินการ=ได้รับอนุญาตที่ "ระดับสูงสุด" ซึ่งหมายความว่าไม่ได้รับอนุญาตในโครงสร้างการควบคุมเช่นifทำให้ข้อผิดพลาดในการเขียนโปรแกรมต่อไปนี้ผิดกฎหมาย

> if(x = 0) 1 else x
Error: syntax error

ในขณะที่เขาเขียนว่า "การไม่อนุญาตแบบฟอร์มการมอบหมายใหม่ [=] ในนิพจน์การควบคุมหลีกเลี่ยงข้อผิดพลาดในการเขียนโปรแกรม (เช่นตัวอย่างด้านบน) ที่มีแนวโน้มที่จะมีตัวดำเนินการเท่ากันมากกว่าการมอบหมายแบบ S อื่น ๆ "

คุณสามารถจัดการกับสิ่งนี้ได้หากมัน "แยกจากโครงสร้างโลจิคัลโดยรอบ, วงเล็บปีกกาหรือวงเล็บพิเศษ" ดังนั้นif ((x = 0)) 1 else xจะได้ผล

ดูhttp://developer.r-project.org/equalAssign.html

ผู้ประกอบการ<-และ=กำหนดเข้าสู่สภาพแวดล้อมที่พวกเขาได้รับการประเมิน โอเปอเรเตอร์<-สามารถใช้งานได้ทุกที่ในขณะที่โอเปอเรเตอร์=ได้รับอนุญาตที่ระดับบนสุดเท่านั้น (เช่นในนิพจน์ทั้งหมดที่พิมพ์ที่คอมมานด์พรอมต์) หรือเป็นหนึ่งในนิพจน์ย่อยในรายการนิพจน์ที่ถูกโยง

สิ่งนี้อาจเพิ่มความเข้าใจในความแตกต่างระหว่างตัวดำเนินการทั้งสอง:

df <- data.frame(
      a = rnorm(10),
      b <- rnorm(10)
)

สำหรับองค์ประกอบแรก R ได้กำหนดค่าและชื่อที่เหมาะสมในขณะที่ชื่อขององค์ประกอบที่สองดูแปลก ๆ

str(df)
# 'data.frame': 10 obs. of  2 variables:
#  $ a             : num  0.6393 1.125 -1.2514 0.0729 -1.3292 ...
#  $ b....rnorm.10.: num  0.2485 0.0391 -1.6532 -0.3366 1.1951 ...

รุ่น R 3.3.2 (2016-10-31); macOS Sierra 10.12.1