S>- тут есть гарантия что не нужно выделять память по 100 раз?
Зачем два раза создавать объект в куче? Твои гениальные предложения сводятся к тому, что у вас на дарте думать не принято, и в компилятор в попытках исправить то, что вы там наколбасите, придумали эту странную оптимизацию На плюсах разработчик обычно достаточно опытный, и продумывает архитектуру, и у него одинаковых неизменяемых объектов просто не будет