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

@SatanaXIII · Регистрация: 01.11.2011

Студворк — интернет-сервис помощи студентам

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

Принцип "ленивого вычисления" проще всего рассмотреть на следующем примере:

C++
1
if (A && B && C && D) {...}

C++
1
2
3
4
5
6
7
8
9
if (A) {
  if (B) {
    if (C) {
      if (D) {
        ...
      }
    }
  }
}

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

@diagon · 03.07.2013, 21:29

Сообщение от SatanaXIII

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

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

Сообщение от SatanaXIII

В плюсах только со стандарта C++0x

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

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

Jupiter · 03.07.2013, 21:44

Сообщение от diagon

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

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

@OhMyGodSoLong · 03.07.2013, 22:38

В асме уже появились составные операторы? Там же if (a && b && c) принципиально вычисляется как

C++
1
2
3
4
5
6
if (a)
    if (b)
        if (c)
        {
            // ...
        }

Не, ну можно, конечно, как

C++
1
2
3
4
5
6
7
bool cond = true;
cond &= (bool) a;
cond &= (bool) b;
cond &= (bool) c;
if (cond) {
    // ...
}

Но так же пролюбливается драгоценный регистр.

Jupiter · 03.07.2013, 23:47

Сообщение от OhMyGodSoLong

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

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

MrGluck · 04.07.2013, 02:21

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

@SatanaXIII · 04.07.2013, 08:48 **[ТС]**

Сообщение от diagon

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

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

Сообщение от diagon

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

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

Сообщение от MrGluck

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

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

MrGluck · 05.07.2013, 00:18

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

@SatanaXIII · 05.07.2013, 10:18 **[ТС]**

Сообщение от MrGluck

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

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

Новые блоги и статьи Все статьи Все блоги /
Оказывается, Unreal Engine позволяет качество на порядки выше, чем было в Lineedge Etyuhibosecyu 05.07.2026 Жаль, конечно, что я не узнал об этом, пока Lineedge существовала, а то бы Noname2331 написал, что волки превращаются в пиксельную кашу, а я бы его попросил скачать какую-нибудь бриллиантовую или Pro. . .	Doom для терминала без стрельбы и монстров. 3D Raycasting на ascii. dcc0 05.07.2026 Попросил нейронную сеть deepai. org написать рейкастинг 3D с библиотекой ncurses для Linux. Чтобы можно было ходить на стрелочки. Чтобы стены были отрисованы символами. Справилась. Первый вариант. . .	Установка статуса документа по условию Maks 05.07.2026 Алгоритм из решения ниже реализован на нетиповом документе "НарядПутевка" разработанного в КА2. Задача: в табличной части "Материалы" документа при записи автоматически устанавливать статус. . .	Сезонность и суточность закисления почв anaschu 04.07.2026 200 часов это все равно моловато. Есть ситуации, но нестандартные, когда смена происходит за 5 лет. Но обычно это 50 лет и более. Наверное, закисление почвы происходит сезонно в средней. . .
В чем ценность человеческого опыта в глобальном смысле? kumehtar 03.07.2026 Возможно, ценность человека не в том, что он однажды достигает мудрости, а в том, что он становится носителем карты пути. Он знает не только истину, но и последовательность внутренних изменений,. . .	интеграция AnyLogic с самописным REST API и переход на Odoo anaschu 03.07.2026 Успешная интеграция AnyLogic с самописным REST API и переход на промышленную Odoo WMS Сегодня проделал огромный путь от простой симуляции физических процессов до построения полноценной. . .	Поиск всех путей на ориентированном графе. Linux dcc0 02.07.2026 Переработка старого кода из моей статьи. Через несколько переработок от PHP кода к C89 (надеюсь, 89). Но довольно запутанно получилось. Код для Linux. Но если убрать time и то, что с ним. . .	Сам себя обучал rest api anaschu 02.07.2026 Педагогический лайфхак: Почему чистый REST API для ученика намного круче, чем готовые библиотеки Когда мы отказались от капризного JAR-файла AnyLogic и переписали код на стандартный HttpClient,. . .

MrGluck Форумчанин 8217 / 5048 / 1437 Регистрация: 29.11.2010 Сообщений: 13,453
	04.07.2013, 02:21
	Хороший пример - Copy on write. Вот еще: Создать класс для сортировки массива по убыванию любым способом Там пока не требуется вывод на экран, данные не сортируются. Чаще делают подсчет результата функции лишь при обращении, при этом ставят флаг для того, чтобы не пересчитывать. Пример с операторами в условии - бред, оно же итак представиться в компиляторе как во втором варианте, а вот писать таким способом(множество if-ов) - гробить читаемость программы. 0

MrGluck Форумчанин 8217 / 5048 / 1437 Регистрация: 29.11.2010 Сообщений: 13,453
	05.07.2013, 00:18
	SatanaXIII, я имею в виду логику вычислений. То есть до проверки B оно не дойдет, если не выполнилось условие A. 0