Diferença entre '..' (ponto duplo) e '…' (ponto triplo) na geração do intervalo?

Acabei de começar a aprender Ruby e Ruby on Rails e me deparei com um código de validação que usa intervalos:

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

A princípio, pensei que a diferença estava na inclusão de endpoints, mas nos documentos da API que examinei, não parecia importar se era .. ou ...: sempre incluía os endpoints.

No entanto, fiz alguns testes no irb e pareceu indicar que ..inclui ambos os pontos de extremidade, enquanto ...incluía apenas o limite inferior, mas não o superior. Isso está correto?

A documentação para Range ^† diz o seguinte:

Faixas construídas usando ..run do início ao fim inclusive. Aqueles criados usando ...excluem o valor final.

Então a..bé semelhante a <= x <= b, enquanto a...bé semelhante a <= x < b.

Observe que, embora to_aem um intervalo de inteiros forneça uma coleção de inteiros, um intervalo não é um conjunto de valores, mas simplesmente um par de valores inicial / final:

(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

^{† Os documentos não incluíam isso, em vez disso exigiam a leitura da seção de Pickaxe sobre Ranges . Obrigado a @MarkAmery ( veja abaixo ) por notar esta atualização.}

Está correto.

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]

A sintaxe de ponto triplo é menos comum, mas é melhor do que (1..10-1).to_a

Os documentos da API agora descrevem esse comportamento:

Faixas construídas usando ..run do início ao fim inclusive. Aqueles criados usando ...excluem o valor final.

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

Em outras palavras:

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 exclui o valor final, enquanto a..b inclui o valor final.

Ao trabalhar com inteiros, a...bse comporta como 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

Mas realmente os intervalos diferem em uma reta de número real .

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

Você pode ver isso ao incrementar em etapas fracionárias.

>> (-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]

.. e ... denotam um intervalo.

Basta ver no 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