Найти информацию по теме очень сложно, если вы не знаете термин!
Рассмотрите следующий код
int x = 5;
x = 42;
x = 3;
Этот код можно оптимизировать, поскольку его эффектытак же, как
int x = 3;
Я пытаюсь найти термин для этого конкретного свойства.Я знаю, что математически они являются полосой с нулевым левым полем, что означает для любых двух операций A и B, A∘B = A ... только последняя операция имеет какой-либо эффект.Я также знаю, что это расширение идеи идемпотентности, которая гласит A∘A=A (выполнение операции дважды аналогично выполнению ее один раз).Это касается того, что происходит, если вы выполняете две разные операции в одном классе.
Это выглядит как очень фундаментальная концепция оптимизации, поэтому я ожидаю, что у нее будет имя, но я несмог найти его.Мне нужно связать эту концепцию с нематематиками, поэтому утверждение о том, что операции, формирующие полосу с нулевым нулем, не приведет к ее сокращению.