Здравствуйте, Pzz, Вы писали:

Pzz>При чем тут оптимизация?
Pzz>Ты сказал, что компилятор может не вызывать метод объекта, если у него уже есть такой же объект (или если он уже вызывал такой метод). У меня это вызывает очень большие сомнения.

Не компилятор — а основной фреймворк — Flutter — проводит такую оптимизацию — при перестроении дерева проверят изменился ли адрес — если не изменился — то ветку не перестраивает а оставляет все как было. Const — не изменяются никогда, даже будут добавлены заново (новые оъекты) с теми же значениями.