Форум QUIK [тема: вычисление логического выражения в операторах if, while и repeat]

вычисление логического выражения в операторах if, while и repeat

Fri, 13 Mar 2015 15:14:54 +0300

вычисление логического выражения в операторах if, while и repeat

Fri, 13 Mar 2015 11:04:01 +0300

вычисление логического выражения в операторах if, while и repeat вопрос разработчикам в форуме Программирование на языке Lua.

====quote====

sam063rus пишет:

Я, конечно, не спорю но, если можно, приведите примеры когда это имеет большое значение?

p.s. во многих компиляторах это работает уже по умолчанию в случае режима оптимизации по быстродействию. а разработчики компиляторов - далеко не дураки, чтоб делать так, чтоб результат работы программы (по критерию правильности) от этого зависел.
это лишь влияет на конечное быстродействие.

=============
Ничего подобного. Это влияет на логику. Стандартный пример:

if (p != NULL && *p == value)
return true;

и т.п.

Поэтому такое поведение и закладывают в стандарт языка.
13.03.2015 11:04:01, Constantin Constantin.

вычисление логического выражения в операторах if, while и repeat

Fri, 13 Mar 2015 02:48:26 +0300

вычисление логического выражения в операторах if, while и repeat вопрос разработчикам в форуме Программирование на языке Lua.

====quote====
sam063rus пишет:
Я, конечно, не спорю но, если можно, приведите примеры когда это имеет большое значение?

=============

====quote====
Дмитрий пишет:
В качестве примера можно привести такой оператор:
if (t_id ~= nil) and not IsWindowClosed(t_id) then ...

=============
Например, я подумал, а что если в результате вызова IsWindowClosed(t_id) или какой-нибудь другой функции (в том числе самописной) в таком же условном операторе при обработке ею значения параметра, равного nil, возникнет ошибка, которая приведет к аварийной остановке работы скрипта.
13.03.2015 02:48:26, Дмитрий.

вычисление логического выражения в операторах if, while и repeat

Fri, 13 Mar 2015 02:34:47 +0300

вычисление логического выражения в операторах if, while и repeat вопрос разработчикам в форуме Программирование на языке Lua.

====quote====
Дмитрий пишет:
В компиляторах языков программирования типа Pascal или C (уже не помню точно какого из них) для управления поведением программы в таком случае была опция, которая называлась кажется "complete boolean eval", поскольку иногда этот вопрос имеет большое значение.

=============
http://www.freepascal.org/docs-html/prog/progsu4.html

Я, конечно, не спорю но, если можно, приведите примеры когда это имеет большое значение?

p.s. во многих компиляторах это работает уже по умолчанию в случае режима оптимизации по быстродействию. а разработчики компиляторов - далеко не дураки, чтоб делать так, чтоб результат работы программы (по критерию правильности) от этого зависел.
это лишь влияет на конечное быстродействие.
13.03.2015 02:34:47, sam063rus.

вычисление логического выражения в операторах if, while и repeat

Fri, 13 Mar 2015 01:17:16 +0300

вычисление логического выражения в операторах if, while и repeat вопрос разработчикам в форуме Программирование на языке Lua.
То же самое написано и в официальном описании языка.

Lua 5.1 Reference Manual :
The conjunction operator and returns its first argument if this value is false or nil; otherwise, and returns its second argument. The disjunction operator or returns its first argument if this value is different from nil and false; otherwise, or returns its second argument. Both and and or use short-cut evaluation; that is, the second operand is evaluated only if necessary.
http://www.lua.org/manual/5.1/manual.html#2.5.3

Lua 5.3 Reference Manual :
The conjunction operator and returns its first argument if this value is false or nil; otherwise, and returns its second argument. The disjunction operator or returns its first argument if this value is different from nil and false; otherwise, or returns its second argument. Both and and or use short-circuit evaluation; that is, the second operand is evaluated only if necessary.
http://www.lua.org/manual/5.3/manual.html#3.4.5
13.03.2015 01:17:16, Дмитрий.

вычисление логического выражения в операторах if, while и repeat

Fri, 13 Mar 2015 00:58:43 +0300

вычисление логического выражения в операторах if, while и repeat вопрос разработчикам в форуме Программирование на языке Lua.

====quote====
Constantin Constantin пишет:
Это стандарт языка, а не оптимизация. Можно смело полагаться на такое поведение.

=============
Вы правы, судя по тому, что написано в книге Programming in Lua (first edition) by Roberto Ierusalimschy:
The operator and returns its first argument if it is false; otherwise, it returns its second argument. The operator or returns its first argument if it is not false; otherwise, it returns its second argument.
Both and and or use short-cut evaluation, that is, they evaluate their second operand only when necessary.

http://www.lua.org/pil/3.3.html
13.03.2015 00:58:43, Дмитрий.

вычисление логического выражения в операторах if, while и repeat

Thu, 12 Mar 2015 16:54:34 +0300

вычисление логического выражения в операторах if, while и repeat вопрос разработчикам в форуме Программирование на языке Lua.

====quote====
Constantin Constantin пишет:
Это стандарт языка, а не оптимизация

=============
А почему я не нашел ничего на эту тему в официальной документации?
Или я плохо искал? Если не трудно, можете дать ссылку на упоминание об этом?
12.03.2015 16:54:34, Дмитрий.

вычисление логического выражения в операторах if, while и repeat

Thu, 12 Mar 2015 12:34:54 +0300

вычисление логического выражения в операторах if, while и repeat вопрос разработчикам в форуме Программирование на языке Lua.
Michael Bulychev, не согласен. Это стандарт языка, а не оптимизация. Можно смело полагаться на такое поведение.
12.03.2015 12:34:54, Constantin Constantin.

вычисление логического выражения в операторах if, while и repeat

Thu, 12 Mar 2015 12:05:54 +0300

вычисление логического выражения в операторах if, while и repeat вопрос разработчикам в форуме Программирование на языке Lua.

====quote====
Дмитрий пишет:
Спасибо!
Я правильно понимаю, что это стандартное поведение для Lua?
Или все же не исключено, что в разных версиях/реализациях языка поведение в данном случае может быть различным?

=============
Это всего лишь оптимизация на уровне виртуальной машины, не рекомендуется использовать подобные тонкости как часть своего алгоритма.
12.03.2015 12:05:54, Michael Bulychev.

вычисление логического выражения в операторах if, while и repeat

Thu, 12 Mar 2015 11:55:30 +0300

вычисление логического выражения в операторах if, while и repeat вопрос разработчикам в форуме Программирование на языке Lua.
Спасибо!
Я правильно понимаю, что это стандартное поведение для Lua?
Или все же не исключено, что в разных версиях/реализациях языка поведение в данном случае может быть различным?
12.03.2015 11:55:30, Дмитрий.

вычисление логического выражения в операторах if, while и repeat

Thu, 12 Mar 2015 11:50:47 +0300

вычисление логического выражения в операторах if, while и repeat вопрос разработчикам в форуме Программирование на языке Lua.
Дмитрий, полностью не вычисляет. Останавливает вычисление как только понятен результат.
12.03.2015 11:50:47, Constantin Constantin.

вычисление логического выражения в операторах if, while и repeat

Thu, 12 Mar 2015 05:24:47 +0300

вычисление логического выражения в операторах if, while и repeat вопрос разработчикам в форуме Программирование на языке Lua.

====quote====
Дмитрий пишет:
Здравствуйте!
Хотелось бы узнать, всегда ли интерпретатор Lua (и в частности QLua) вычисляет логические выражения полностью в операторах if, while и repeat, или же он прерывает их вычисление в том случае, когда результат уже заведомо известен?
В качестве примера можно привести такой оператор:
if (t_id ~= nil) and not IsWindowClosed(t_id) then ...
Если t_id == nil, то будет ли в данном случае осуществляться вызов функции IsWindowClosed(t_id)? Ведь и без этого ясно, что данное выражение будет равно false.
В компиляторах языков программирования типа Pascal или C (уже не помню точно какого из них) для управления поведением программы в таком случае была опция, которая называлась кажется "complete boolean eval", поскольку иногда этот вопрос имеет большое значение.
А как с этим обстоят дела в (Q)Lua?

=============
Добрый день.
проверить можно самому:

====code====

function foo1()
   print("in foo1")
   return false
end

function foo2()
   print("in foo2")
   return false
end
print("--- OR")
if (foo1() or foo2())   then
end
print("--- AND")
if (foo1() and foo2())   then
end

============= результат:

====code====

--- OR
in foo1
in foo2
--- AND
in foo1

=============
12.03.2015 05:24:47, Michael Bulychev.

вычисление логического выражения в операторах if, while и repeat

Wed, 11 Mar 2015 23:26:49 +0300

вычисление логического выражения в операторах if, while и repeat вопрос разработчикам в форуме Программирование на языке Lua.
Здравствуйте!
Хотелось бы узнать, всегда ли интерпретатор Lua (и в частности QLua) вычисляет логические выражения полностью в операторах if, while и repeat, или же он прерывает их вычисление в том случае, когда результат уже заведомо известен?
В качестве примера можно привести такой оператор:
if (t_id ~= nil) and not IsWindowClosed(t_id) then ...
Если t_id == nil, то будет ли в данном случае осуществляться вызов функции IsWindowClosed(t_id)? Ведь и без этого ясно, что данное выражение будет равно false.
В компиляторах языков программирования типа Pascal или C (уже не помню точно какого из них) для управления поведением программы в таком случае была опция, которая называлась кажется "complete boolean eval", поскольку иногда этот вопрос имеет большое значение.
А как с этим обстоят дела в (Q)Lua?
11.03.2015 23:26:49, Дмитрий.