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

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

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

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

Примеры

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

int foo(int iX)
{
    int iY = iX*2;

    return iX*2;
}

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

Учитывать:

#define min(A,B) ((A)<(B)?(A):(B))

int shorter_magnitude(int u1, int v1, int u2, int v2)
{
    /* Returns the shorter magnitude of (u1,v1) and (u2,v2) */
    return sqrt(min(u1*u1 + v1*v1, u2*u2 + v2*v2));
}

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

int shorter_magnitude(int u1, int v1, int u2, int v2)
{
    int temp;
    if (u1*u1 + v1*v1 < u2*u2 + v2*v2)
        temp = u1*u1 + v1*v1; /* Redundant already calculated for comparison */
    else
        temp = u2*u2 + v2*v2; /* Redundant already calculated for comparison */
    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 может не обеспечить ожидаемого поведения этой функции.

См. также

Ссылки

^ Дебре, С.К., Эванс, В., Мут, Р. и Де Саттер, Б. 2000. Методы компилятора для сжатия кода. АКМ Транс. Программа. Ланг. Сист. 22, 2 (март 2000 г.), 378–415.

[1] Дебре, С.К., Эванс, В., Мут, Р. и Де Саттер, Б. 2000. Методы компилятора для сжатия кода. АКМ Транс. Программа. Ланг. Сист. 22, 2 (март 2000 г.), 378–415.

[1]