Оптимизация цикла for

@Натали9 · Регистрация: 23.05.2015

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

Скажите, пожалуйста, как оптимизируется первый цикл? И чем он отличается от второго?
Первый цикл:

C++

int a = 2;
    for (int i = 0; i < 5; i++)
    {       
        a += i;
    }

Второй цикл:

C++

int a = 2;
    int c1 = 0, c2 = 5;
    for (int i = c1; i < c2; i++)
    {       
        a += i;
    }

Evg · 23.04.2016, 22:49

Что ты вкладываешь в понятие "оптимизируется первый цикл"? Любой культурный компилятор оба цикла превратит в "a=17"

@Натали9 · 24.04.2016, 12:42 **[ТС]**

То есть почему компилятор удаляет этот участок кода из ассемблерного? И чем одна оптимизация хуже другой?

@nmcf · 24.04.2016, 12:44

Потому что результат вычислений постоянный.

Evg · 24.04.2016, 13:25

Сообщение от Натали9

То есть почему компилятор удаляет этот участок кода из ассемблерного?

Данный код (точнее, оба кода) написаны так, что содержат избыточность. Современные компиляторы в состоянии её удалить. Это общий принцип построения компиляторов. Программист пишет код, компилятор пытается его строить наиболее эффективным образом

@Богрянка · 24.04.2016, 14:35

Так а в чём разница между первой и второй оптимизацией? Чем отличается опт, когда мы пишем напрямую и когда мы пишем через с1 и с2?

@nmcf · 24.04.2016, 14:37

Какой ответ ты хочешь услышать? Ничем она не отличается, просто второй вариант посложнее.

@Богрянка · 24.04.2016, 15:55

Вот то же самое было сказано преподавателю. Ответом он явно не был доволен(.

Evg · 24.04.2016, 16:05

Сообщение от Богрянка

Так а в чём разница между первой и второй оптимизацией?

В первом случае выполняется только одна оптимизация (грубо говоря, вычисление переменной "a"), во втором случае - две (ещё и замена границ цикла на константы)

Сообщение от Богрянка

Вот то же самое было сказано преподавателю

Как показывает жизненный опыт, в 99% случаев утверждения типа "я вот тоже самое сказал(а) преподавателю" не соответствуют действительности

Сообщение от Богрянка

Ответом он явно не был доволен

Всё зависит от преподавателя. Многим нужно отвечать именно то, о чём было сказано на лекциях (стандартный бестолковый преподаватель)

@nmcf · 24.04.2016, 16:25

Constant propagation (Распространение констант) во втором случае, и в обоих что-то типа размотки цикла. Тут я не уверен.

Добавлено через 3 минуты
Как предмет называется? Теория компиляторов?

@Богрянка · 24.04.2016, 18:28

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

Преподавателю просто сказала, что особой разницы нет. Лучше бы я молчала).

Есть еще такой вариант ответа (насчет разности этих 2х ф-ий) , но немного сомневаюсь:
Во втором случае мы не знаем, изменил ли какое-нибудь значение программист, а в первом случае, вставь код хоть куда и он везде покажет одинаковое значение.

Evg · 24.04.2016, 18:42

Естественно, что во втором случае, если между 2-й и 3-й строкой воткнуть код, то можно исходник привести к виду, на котором оптимизация не отработает (не сможет вычислить конкретные значения c1 и c2 на момент работы цикла for). Возможно, препод это имел в виду. Но тогда вопросы надо ставить более конкретно

Кстати, ответ "Ничем она не отличается, просто второй вариант посложнее" из поста #7 можно считать не правильным. Автор имел в виду, что итоговый код ничем не отличается. Оптимизации, разумеется отличаются, по составу (посты #9 и #10)

@Богрянка 0 / 0 / 0 Регистрация: 03.02.2016 Сообщений: 3
	24.04.2016, 18:28	11
	Теория языков программирования и методы трансляции. По сути, мы там пишем компилятор. Вот и должны разбираться в таких мелочах. Преподавателю просто сказала, что особой разницы нет. Лучше бы я молчала). Есть еще такой вариант ответа (насчет разности этих 2х ф-ий) , но немного сомневаюсь: Во втором случае мы не знаем, изменил ли какое-нибудь значение программист, а в первом случае, вставь код хоть куда и он везде покажет одинаковое значение. 0

Evg 21279 / 8301 / 637 Регистрация: 30.03.2009 Сообщений: 22,659 Записей в блоге: 30
	23.04.2016, 22:49	2
	Что ты вкладываешь в понятие "оптимизируется первый цикл"? Любой культурный компилятор оба цикла превратит в "a=17" 0

@Натали9 0 / 0 / 0 Регистрация: 23.05.2015 Сообщений: 10
	24.04.2016, 12:42 [ТС]	3
	То есть почему компилятор удаляет этот участок кода из ассемблерного? И чем одна оптимизация хуже другой? 0

@nmcf 7791 / 6558 / 2984 Регистрация: 14.04.2014 Сообщений: 28,667
	24.04.2016, 12:44	4
	Потому что результат вычислений постоянный. 1

Evg 21279 / 8301 / 637 Регистрация: 30.03.2009 Сообщений: 22,659 Записей в блоге: 30
	24.04.2016, 13:25	5
	Сообщение от Натали9 То есть почему компилятор удаляет этот участок кода из ассемблерного? Данный код (точнее, оба кода) написаны так, что содержат избыточность. Современные компиляторы в состоянии её удалить. Это общий принцип построения компиляторов. Программист пишет код, компилятор пытается его строить наиболее эффективным образом 0

@Богрянка 0 / 0 / 0 Регистрация: 03.02.2016 Сообщений: 3
	24.04.2016, 14:35	6
	Так а в чём разница между первой и второй оптимизацией? Чем отличается опт, когда мы пишем напрямую и когда мы пишем через с1 и с2? 0

@nmcf 7791 / 6558 / 2984 Регистрация: 14.04.2014 Сообщений: 28,667
	24.04.2016, 14:37	7
	Какой ответ ты хочешь услышать? Ничем она не отличается, просто второй вариант посложнее. 0

@Богрянка 0 / 0 / 0 Регистрация: 03.02.2016 Сообщений: 3
	24.04.2016, 15:55	8
	Вот то же самое было сказано преподавателю. Ответом он явно не был доволен(. 0

Evg 21279 / 8301 / 637 Регистрация: 30.03.2009 Сообщений: 22,659 Записей в блоге: 30
	24.04.2016, 16:05	9
	Сообщение от Богрянка Так а в чём разница между первой и второй оптимизацией? В первом случае выполняется только одна оптимизация (грубо говоря, вычисление переменной "a"), во втором случае - две (ещё и замена границ цикла на константы) Сообщение от Богрянка Вот то же самое было сказано преподавателю Как показывает жизненный опыт, в 99% случаев утверждения типа "я вот тоже самое сказал(а) преподавателю" не соответствуют действительности Сообщение от Богрянка Ответом он явно не был доволен Всё зависит от преподавателя. Многим нужно отвечать именно то, о чём было сказано на лекциях (стандартный бестолковый преподаватель) 2

@nmcf 7791 / 6558 / 2984 Регистрация: 14.04.2014 Сообщений: 28,667
	24.04.2016, 16:25	10
	Constant propagation (Распространение констант) во втором случае, и в обоих что-то типа размотки цикла. Тут я не уверен. Добавлено через 3 минуты Как предмет называется? Теория компиляторов? 0

Evg 21279 / 8301 / 637 Регистрация: 30.03.2009 Сообщений: 22,659 Записей в блоге: 30
	24.04.2016, 18:42	12
	Естественно, что во втором случае, если между 2-й и 3-й строкой воткнуть код, то можно исходник привести к виду, на котором оптимизация не отработает (не сможет вычислить конкретные значения c1 и c2 на момент работы цикла for). Возможно, препод это имел в виду. Но тогда вопросы надо ставить более конкретно Кстати, ответ "Ничем она не отличается, просто второй вариант посложнее" из поста #7 можно считать не правильным. Автор имел в виду, что итоговый код ничем не отличается. Оптимизации, разумеется отличаются, по составу (посты #9 и #10) 1