Ленивые вычисления

____Много есть информации под boost, так же не отстает шарп и опережает всех хаскель. В плюсах только со стандарта C++0x. Даже попалась цельная Qt-шная библиотека для этого дела. Вообще концепция ленивых вычислений зародилась для функциональных языков. Но это все придумано, если возвращаться к C++, для удобства оперирования функторами и еще каких-то таинств. Но по сути же простые "ленивые вычисления" доступны во многих языках, компиляторы которых действуют по некоему принципу call by value. То есть когда значение получено, дальше его обсчитывать смысла нет. Если первый операнд операции && ложен, то вычислять следующие не нужно.
____Общий смысл "ленивых вычислений" в том, что экономится время на проведении вычислений, результаты которых заведомо не будут использованы в дальнейшем программой. Соответственно, за счет снижения объемов вычислений повышается и производительность программы, а за счет отсутствия необходимости хранить в памяти результаты вычислений снижаются и требования программы к памяти. Помимо этого, ленивые вычисления избавляют программиста от необходимости следить за тем, какие именно вычисления будут в дальнейшем востребованы программой, а какие, напротив, окажутся совершенно бесполезными. Последнее не всегда хорошо, учитывая опять же гибкость плюсов, в которых компилятор не даст, вопреки обычному подходу, поступать как заблагорассудится программисту. Но на то в принципе и расчет.

Принцип "ленивого вычисления" проще всего рассмотреть на следующем примере:
В первом случае не понятно, что, если A ложно, то и остальные вычисления происходить не будут. Во-втором же наглядно видно, что, при ложном A, тело первого оператора условия не будет выполнено.
Оба приведенных кода делают одно и то же. Отличие лишь в компромиссе между читабельностью кода и его объемом.

2

Сообщение от SatanaXIII Общий смысл "ленивых вычислений" в том, что экономится время на проведении вычислений, результаты которых заведомо не будут использованы в дальнейшем программой.

Ну это лишь побочный эффект.

Сообщение от SatanaXIII В плюсах только со стандарта C++0x

&& не вычисляет правый операнд еще с сишных времен.

Вообще, хороший пример ленивых вычислений - LINQ/yield в шарпе. В плюсах я ничего подобного не замечал.
Можно, конечно, проэмулировать, но в язык это не встроено. Да и не нужно оно особо в плюсах-то...

0

Сообщение от diagon && не вычисляет правый операнд еще с сишных времен.

неетт, идея целиком и полностью скопирована с асма, если даже не с какого-то пдп-11

0

В асме уже появились составные операторы? Там же if (a && b && c) принципиально вычисляется какНе, ну можно, конечно, как
Но так же пролюбливается драгоценный регистр.

0

Сообщение от OhMyGodSoLong Там же if (a && b && c) принципиально вычисляется как

именно, отсюда и следует "ленивость" && и ||

0

Хороший пример - Copy on write.
Вот еще: Создать класс для сортировки массива по убыванию любым способом
Там пока не требуется вывод на экран, данные не сортируются. Чаще делают подсчет результата функции лишь при обращении, при этом ставят флаг для того, чтобы не пересчитывать.
Пример с операторами в условии - бред, оно же итак представиться в компиляторе как во втором варианте, а вот писать таким способом(множество if-ов) - гробить читаемость программы.

0

Сообщение от diagon Ну это лишь побочный эффект.

А придумывалось тогда зачем?

Сообщение от diagon && не вычисляет правый операнд еще с сишных времен.

Да, как и большинство процедурных языков. Но с сишных времен не было функторов.

Сообщение от MrGluck Пример с операторами в условии - бред, оно же итак представиться в компиляторе как во втором варианте

Компилятор не имеет представления о наглядности.

0

SatanaXIII, я имею в виду логику вычислений. То есть до проверки B оно не дойдет, если не выполнилось условие A.

0

Сообщение от MrGluck То есть до проверки B оно не дойдет, если не выполнилось условие A.

Именно это пример и иллюстрирует. В записи с && это не наглядно. Это логично, понятно, будет работать и прочее, но это не наглядно. Вот вся суть примера.

0