Почему в Ruby, a || 1 будет вызывать ошибку, когда `a` не определено, но a = a || 1 не будет?

Question

Когда a не определено, тогда a || 1 выдает ошибку, но a = a || 1 не будет. Разве это не немного непоследовательно?

irb(main):001:0> a 
NameError: undefined local variable or method 'a' for main:Object 
     from (irb):1 
     from c:/ruby/bin/irb:12:in '<main>' 

irb(main):002:0> a || 1 
NameError: undefined local variable or method 'a' for main:Object 
     from (irb):2 
     from c:/ruby/bin/irb:12:in '<main>' 

irb(main):003:0> a = a || 1 
=> 1 

Answer 1

a 

Здесь вы оцениваете a, что не определено. Поэтому вы получаете исключение.

a || 1 

Здесь вы еще должны оценить a определить значение логического выражения. Как и выше, a не определен. Поэтому вы получаете исключение.

a = a || 1 

Здесь aявляется определена. Он определяется как неинициализированная локальная переменная. В Ruby, неинициализированные переменные вычисляются в nil, так что правая часть выражения присваивания вычисляется в nil || 1, который принимает значение 1, так что возвращаемое значение выражения присваивания является 1 и побочный эффект заключается в том, что a инициализируется 1.

EDIT: Кажется, что есть некоторая путаница, когда переменные определяются и когда они инициализируются в Ruby. Получаемое значение определено в Время разбора, но инициализировано на время выполнения. Вы можете увидеть здесь:

foo # => NameError: undefined local variable or method `foo' for main:Object 

foo не определен.

if false 
    foo = 'This will never get executed' 
end 

На данный момент, foo определяется, даже если линия никогда не будет выполнена. Тот факт, что строка никогда не выполняется, совершенно не имеет значения, потому что интерпретатор не имеет ничего общего с этим: локальные переменные определяются синтаксическим анализатором, и синтаксический анализатор явно видит эту строку.

foo # => nil 

Там нет ошибки, потому что foo определена, и она принимает значение nil, потому что это неинициализированное.

Answer 2

Когда вы a || 1, вы просите его искать значения a которое не определено.

Когда вы делаете a = a || 1, вы просите его найти значение присвоения aa, которое, кажется, не дает ошибку.

Итак, хотя это странно, я не считаю, что это противоречиво.

Answer 3

Это вы имеете в виду?

if !(defined? a) then 
    a = 1 
end 

Возможно, было бы проще объявить значение с 1 по умолчанию.