Почему отличается порядок множественного присваивания?

[eu_tomat 2 154]

Прошу знатоков Lua объяснить, почему на порядок множественного присваивания влияет объявление локальных переменных.

-- этот фрагмент выведет 2, 4
local a,a,b,b = 1,2,3,4
print(a,b)
-- а этот выведет 1, 3
a,a,b,b = 1,2,3,4
print(a,b)

Желающие понять, как можно прийти к таким безумным находкам, могут раскрыть спойлер:

Скрытый текст

 

Многим знакома конструкция вида

local _,_,_,_,a,_,_,b = computer.pullSignal()

Дальше начинается горе от ума.

_ - это тоже имя переменной, на создание которой тратятся ресурсы.

И мне показалось хорошей идей от этой переменной избавиться, заменив её на одну из уже используемых.

local a,a,a,a,a,b,b,b = computer.pullSignal()

Результат выполнения кода совпадает с предыдущим.

Зато этот код имеет иной результат:

a,a,a,a,a,b,b,b = computer.pullSignal()

Для достижения нужного эффекта всё же пришлось использовать дополнительную переменную. Только её использование гарантирует одинаковый результат независимо от наличия local в коде.

 

Но вопрос поведения Lua всё же остался.

 

 

Изменено 5 ноября, 2018 пользователем eu_tomat
упрощение примера

[Totoro 3 563]

Это просто факт. Так реализован интерпретатор Луа.
Для локальных переменных присваивание идет слева направо, для глобальных - справа налево.

 

Как сказал сам Роберто Иерузалимски:

"Evaluation order and assignment order are both explicitly undefined."

То есть, порядок вычисления и присваивания спецификацией языка не определен, и может быть любым теоретически.

Поэтому полагаться на него нельзя. Он может меняться между различными реализациями интерпретатора.

 

Небольшое исследование на тему можно полистать тут: http://lua-users.org/lists/lua-l/2006-06/msg00376.html

[eu_tomat Автор вопроса 2 154]

58 минут назад, Totoro сказал:

порядок вычисления и присваивания спецификацией языка не определен, и может быть любым теоретически.

Поэтому полагаться на него нельзя. Он может меняться между различными реализациями интерпретатора.

Полная неопределённость – это даже хуже, чем я мог подумать.

Ну, ладно. Нельзя, так нельзя. Не получилось хакерство в этом месте, получится в другом.