Exponenta Banner

MISRA C ++:2008 правил 4-5-3

Выражения с типом (простой) char и wchar_t не должны использоваться в качестве операндов к встроенным операторам кроме оператора присваивания =, операторы равенства == и! =, и унарное & оператор N

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

Описание

Управляйте определением

Выражения с типом (простой) char и wchar_t не должны использоваться в качестве операндов к встроенным операторам кроме оператора присваивания =, операторы равенства == и! =, и унарное & оператор. N

Объяснение

C++ 03 Стандарта только требуют, чтобы символы '0' к '9' имели последовательные значения. Другие символы не имеют четко определенных значений. Если вы используете эти символы в операциях кроме тех упомянутых в правиле, вы неявно используете их базовые значения и можете видеть неожиданные результаты.

Обменивайтесь сообщениями в отчете

Выражения с типом (простой) char и wchar_t не должны использоваться в качестве операндов к встроенным операторам кроме оператора присваивания =, операторы равенства == и! =, и унарное & оператор. N

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

Если вы ожидаете нарушение правила, но не видите его, обратитесь к Кодированию Стандартных Нарушений, Не Отображенных.

Примеры

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

void charManipulations (char ch) {
   
    char initChar = 'a'; //Compliant
    char finalChar = 'z'; //Compliant
    
    if(ch == initChar) {} //Compliant 
    if( (ch >= initChar) && (ch <= finalChar)) {} //Noncompliant
    else if( (ch >= '0') && (ch <= '9') ) {} //Compliant by exception
}

В этом примере символьные операнды не нарушают правило, когда используется с операторами == и =. Символьные операнды могут также использоваться с операторами отношения, пока сравнение выполняется с цифрами '0' к '9'.

Проверяйте информацию

Группа: стандартные преобразования
Категория: необходимый

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

Темы

Введенный в R2013b

Документация Polyspace Code Prover
Поддержка