Liệu || toán tử đánh giá đối số thứ hai ngay cả khi đối số đầu tiên là đúng?

Question

Tôi đang cố gắng để đánh giá biểu thức (a=10) || (rr=20) khi biến rr không được định nghĩa

vì vậy việc đánh rr trong ruby ​​console trước khi đánh giá sự biểu hiện trước trả

rr 
NameError: undefined local variable or method `rr' for main:Object 
from (irb):1 
from :0 

Khi tôi viết biểu thức (a=10) || (rr=20) nó trả về 10, và khi tôi viết rr sau đó nó nói nil

(a=10) || (rr=20) 
rr # => nil 

vậy, tại sao điều này lại xảy ra? Không nên định nghĩa rr nếu đối số thứ hai của || toán tử được đánh giá, không bao giờ nên dựa trên tài liệu này?

Answer 1

Điều này xảy ra vì thông dịch viên ruby ​​xác định một biến khi nó thấy một bài tập cho nó (nhưng trước khi nó thực thi dòng mã thực). Bạn có thể đọc thêm về nó in this answer.

OR (||) biểu thức Boolean sẽ đánh giá giá trị của biểu thức tay trái nếu nó không phải là nil và không false, khác || sẽ đánh giá giá trị của biểu thức bên phải.

Trong ví dụ của bạn thông dịch viên ruby ​​thấy một bài tập để a và rr (nhưng nó không thực hiện dòng này chưa), và khởi (định nghĩa, tạo ra) a và rr với nil. Sau đó, nó thực thi biểu thức ||. Trong biểu thức || này, a được gán cho 10 và 10 được trả lại. r=20 không được đánh giá và rr không bị thay đổi (vẫn là nil). Đây là lý do tại sao trong dòng tiếp theo rr là nil.

Answer 2

Tôi nghĩ rằng biến xác định xảy ra ở giai đoạn phân tích cú pháp, không phải thời điểm thực thi. Vì vậy, khi nó đánh giá dòng, nó phân tích toàn bộ điều và biến được xác định, nhưng chưa được gán.

Answer 3

Khi trình phân tích cú pháp phát hiện ra một biến, nó sẽ tự động hợp lệ trong ngữ cảnh được xác định. Tự đánh giá rr không hợp lệ. Đánh giá rr=20 là đủ để tạo ra một định nghĩa ngay cả khi việc gán giá trị không bao giờ xảy ra.

Đây là điều không thể tránh khỏi về cách Ruby cố gắng phân biệt giữa các biến và các cuộc gọi phương thức. Nó không hoàn hảo nhưng thường hoạt động tốt nhất.

Answer 4

Như @DOC cho biết, && và || được gọi là short circuited toán tử có điều kiện.

In case of ||, if the left part of || expression returns true, the right part won't be executed. Điều đó có nghĩa là phần bên phải sẽ chỉ được thực thi nếu phần bên trái của biểu tượng || trả về sai.

In case of &&, right part of the & & expression will be executed only if left part of && returns true.

Trong kịch bản cho (a=10) || (rr=20), rr = 20 sẽ không được thực hiện kể từ khi biểu ruby ​​a=10 lợi nhuận true. Lưu ý rằng trong biểu thức gán ruby ​​trả về true trừ nil and false.