Sự khác biệt giữa '..' (dấu hai chấm) và '…' (dấu ba chấm) trong tạo phạm vi?

Tôi vừa mới bắt đầu học Ruby và Ruby on Rails và bắt gặp mã xác thực sử dụng các phạm vi:

validates_inclusion_of :age, :in => 21..99
validates_exclusion_of :age, :in => 0...21, :message => "Sorry, you must be over 21"

Lúc đầu, tôi nghĩ sự khác biệt nằm ở việc bao gồm các điểm cuối, nhưng trong tài liệu API mà tôi đã xem xét, dường như không quan trọng dù nó có ..hay không ...: nó luôn bao gồm các điểm cuối.

Tuy nhiên, tôi đã thực hiện một số thử nghiệm trong irb và nó dường như chỉ ra rằng ..bao gồm cả hai điểm cuối, trong khi ...chỉ bao gồm giới hạn dưới chứ không bao gồm giới hạn trên. Điều này có chính xác?

Các tài liệu cho Phạm vi ^† nói điều này:

Phạm vi được xây dựng bằng cách sử dụng ..chạy từ đầu đến cuối hoàn toàn. Những người được tạo bằng cách sử dụng ...loại trừ giá trị cuối cùng.

Như vậy a..blà thích a <= x <= b, ngược lại a...blà như thế a <= x < b.

Lưu ý rằng, trong khi to_atrên một Phạm vi số nguyên cung cấp một tập hợp các số nguyên, một Phạm vi không phải là một tập hợp các giá trị, mà chỉ đơn giản là một cặp giá trị bắt đầu / kết thúc:

(1..5).include?(5)           #=> true
(1...5).include?(5)          #=> false

(1..4).include?(4.1)         #=> false
(1...5).include?(4.1)        #=> true
(1..4).to_a == (1...5).to_a  #=> true
(1..4) == (1...5)            #=> false

^{† Các tài liệu được sử dụng để không bao gồm điều này, thay vào đó yêu cầu đọc phần Cái cuốc trên Rặng . Cảm ơn @MarkAmery ( xem bên dưới ) đã lưu ý đến bản cập nhật này.}

Đúng rồi.

1.9.3p0 :005 > (1...10).to_a
 => [1, 2, 3, 4, 5, 6, 7, 8, 9]
1.9.3p0 :006 > (1..10).to_a
 => [1, 2, 3, 4, 5, 6, 7, 8, 9, 10]

Cú pháp ba dấu chấm ít phổ biến hơn, nhưng đẹp hơn (1..10-1).to_a

Tài liệu API hiện mô tả hành vi này:

Phạm vi được xây dựng bằng cách sử dụng ..chạy từ đầu đến cuối hoàn toàn. Những người được tạo bằng cách sử dụng ...loại trừ giá trị cuối cùng.

- http://ruby-doc.org/core-2.1.3/Range.html

Nói cách khác:

2.1.3 :001 > ('a'...'d').to_a
 => ["a", "b", "c"] 
2.1.3 :002 > ('a'..'d').to_a
 => ["a", "b", "c", "d"] 

a...b loại trừ giá trị cuối, trong khi a..b bao gồm giá trị cuối cùng.

Khi làm việc với số nguyên, a...bhoạt động như a..b-1.

>> (-1...3).to_a
=> [-1, 0, 1, 2]

>> (-1..2).to_a
=> [-1, 0, 1, 2]

>> (-1..2).to_a == (-1...3).to_a
=> true

Nhưng thực sự các phạm vi khác nhau trên một đường số thực .

>> (-1..2) == (-1...3)
=> false

Bạn có thể thấy điều này khi tăng dần theo các bước phân số.

>> (-1..2).step(0.5).to_a
=> [-1.0, -0.5, 0.0, 0.5, 1.0, 1.5, 2.0]

>> (-1...3).step(0.5).to_a
=> [-1.0, -0.5, 0.0, 0.5, 1.0, 1.5, 2.0, 2.5]

.. và ... biểu thị một phạm vi.

Chỉ cần xem nó trong irb:

ruby-1.9.2-p290 :032 > (1...2).each do puts "p" end
p
 => 1...2 
ruby-1.9.2-p290 :033 > (1..2).each do puts "p" end
p
p