Exponenta Banner

Invalid use of = operator

Присвоение в условном операторе

расширьте все на странице

Описание

Этот дефект происходит, когда присвоение сделано в предикате условного выражения, такого как if или while.

В C и C++, один знак "равно" является присвоением не сравнение. Используя один знак "равно" в условном операторе может указать на опечатку или ошибку.

Риск

  • Условный оператор тестирует неправильные значения — одна операция знака "равно" присваивает значение правильного операнда к левому операнду. Затем потому что это присвоение в предикате условного выражения, проверки программы, является ли новое значение левого операнда ненулевым или не ПУСТЫМ.

  • Обслуживание и проблемы удобочитаемости — Даже если присвоение предназначается, кто-то чтение или обновление кода, могут неправильно истолковать присвоение как сравнение равенства вместо присвоения.

Фиксация

  • Если присвоение является ошибкой, чтобы проверять на равенство, добавьте второй знак "равно" (==).

  • Если присвоение в условном операторе было намеренным, чтобы улучшить удобочитаемость, разделить присвоение и тест. Переместите присвоение вне оператора управления. В операторе управления просто протестируйте результат присвоения.

    Если вы не хотите устранять проблему, добавьте комментарии в свой результат или код, чтобы избежать другого анализа. Смотрите Результаты Polyspace Адреса Через Исправления ошибок или Выравнивания.

Примеры

развернуть все

#include <stdio.h>

void bad_equals_ex(int alpha, int beta)
{
    if(alpha = beta)
    {
        printf("Equal\n");
    }
}

Знак "равно" отмечается как дефект, потому что оператор присваивания используется в предикате оператора "if". Предикат присваивает значение beta к alpha, затем неявно тесты, ли alpha TRUE или FALSE.

Коррекция — выражение изменения к сравнению

Одна возможная коррекция добавляет дополнительный знак "равно". Эта коррекция изменяет присвоение на сравнение. Если условие выдерживает сравнение ли alpha и beta равны.

#include <stdio.h>

void equality_test(int alpha, int beta)
{
    if(alpha == beta)
    {
        printf("Equal\n");
    }
}
Коррекция — присвоение и сравнение в if Условие

Если присвоение должно быть сделано в предикате, возможная коррекция добавляет явное сравнение. Эта коррекция присваивает значение beta к alpha, затем явным образом проверки, ли alpha является ненулевым. Код более ясен.

#include <stdio.h>

int assignment_not_zero(int alpha, int beta)
{
    if((alpha = beta) != 0)
    {
        return alpha;
    }
    else
    {
        return 0;
    }
}
Коррекция — присвоение перемещения вне if Оператор

Если присвоение может быть сделано вне оператора управления, одна возможная коррекция должна разделить присвоение и сравнение. Эта коррекция присваивает значение beta к alpha перед, если. В если-условии, только alpha дан тесту если alpha является ненулевым или не ПУСТЫМ.

#include <stdio.h>

void assign_and_print(int alpha, int beta)
{
    alpha = beta;
    if(alpha)
    {
        printf("%d", alpha);
    }
}

Информация о результате

Группа: Программирование
Язык: C | C++
Значение по умолчанию: На для рукописного кода, прочь для сгенерированного кода
Синтаксис командной строки: BAD_EQUAL_USE
Удар: Средняя
ID CWE: 480, 481

Смотрите также

|

Темы

Введенный в R2013b

Документация Polyspace Bug Finder

Поддержка