Оператор |= и оптимизация

[shm]

Допустим есть такой код

bool f = true;
for(int i = 0; i < 10; i++)
    i |= f();

где f - какая-то функция, которая возвращает bool.
Я правильно понимаю, что оптимизатор не имеет право в данном случае убрать вызовы f?

Сообщение отредактировано: shm - 05.09.17, 15:19

[Dushevny]

По умолчанию он должен считать, что любой вызов функции обладает побочными эффектами. Но если он сможет раскрутить этот вызов и увидит, что побочных эффектов нет - то может смело соптимизировать.

Добавлено: вот если бы там был оператор ||=, то имел бы право оптимизировать и не раскручивая (по аналогии с ||). К счастью, ни в обычных Сях, ни в плюсах такого оператора нет.

Сообщение отредактировано: Dushevny - 05.09.17, 15:35

[Славян]

Я бы не стал убирать, не вижу причин для убирания.

[shm]

Цитата Dushevny @ 05.09.17, 15:29

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

Я так и думал. Спасибо.