Дублирующий код

В программировании компьютерном избыточный код — это исходный код или скомпилированный код компьютерной программы , в котором нет необходимости, например:

• пересчет значения, которое было рассчитано ранее и все еще доступен,
• код, который никогда не выполняется (известный как недостижимый код ),
• код, который выполняется, но не имеет внешнего эффекта (например, не меняет выходные данные программы; известный как мертвый код ).

Инструкцию NOP можно рассматривать как избыточный код, который был явно вставлен для расширения потока команд или введения временной задержки, например, для создания цикла синхронизации путем «траты времени». Идентификаторы , которые объявлены, но никогда не упоминаются, называются избыточными объявлениями .

Примеры

Следующие примеры написаны на C. языке

int   foo  (  int   iX  )  {      int   iY   =   iX  *  2  ;      вернуть   IX  *  2  ;  } 

Второй iX*2 выражение является избыточным кодом и может быть заменено ссылкой на переменную iY. Альтернативно, определение int iY = iX*2 вместо этого можно удалить.

Учитывать:

#define min(A,B) ((A)<(B)?(A):(B))  int   short_magnitude  (  int   u1  ,   int   v1  ,   int   u2  ,   int   v2  )  {      /* Возвращает меньшую величину (u1 ,v1) и (u2,v2) */      return   sqrt  (  min  (  u1  *  u1   +   v1  *  v1  ,   u2  *  u2   +   v2  *  v2  ));  } 

В результате использования препроцессора C компилятор увидит только развернутую форму:

int   short_magnitude  (  int   u1  ,   int   v1  ,   int   u2  ,   int   v2  )  {      int   temp  ;      если   (  u1  *  u1   +   v1  *  v1   <   u2  *  u2   +   v2  *  v2  )          temp   =   u1  *  u1   +   v1  *  v1  ;   /* Избыточность уже рассчитана для сравнения */      else          temp   =   u2  *  u2   +   v2  *  v2  ;   /* Избыточность уже рассчитана для сравнения */      return   sqrt  (  temp  );  } 

Поскольку использование макросов min/max очень распространено, современные компиляторы запрограммированы на распознавание и устранение избыточности, вызванной их использованием.

Однако в следующем коде нет избыточности:

#define max(A,B) ((A)>(B)?(A):(B))  int   random  (  int   Cutoff  ,   int   range  )  {      return   max  (  Cutoff  ,   rand  ()  %  range  );  } 

Если первоначальный вызов rand() по модулю диапазона больше или равен отсечению, rand() будет вызван второй раз для второго вычисления rand()%range, что может привести к получению значения, которое на самом деле меньше чем отсечка. Таким образом, макрос max может не обеспечить ожидаемого поведения этой функции.

См. также

• Раздувание кода
• Повторное использование кода
• Удаление общего подвыражения
• Не повторяйся
• Повторяющийся код
• Резервирование