exponenta event banner

jc_0802: Запрещенное использование неявного литья в Stateflow

Рекомендации по субидентификатору

  • NA-MAAB - a

  • JMAAB - a

Версии MATLAB

Все

Правило

Sub ID a

Все операции, включая подстановку, сравнение, арифметику и т.д., должны выполняться между переменными одного типа данных.

Тип данных фактических аргументов и формальных аргументов в вызове функции должен быть одинаковым.

Пользовательский параметр

Неприменимо

Пример - Правильно

Переменные используют один и тот же тип данных для вычислений.

Пример: Операция сравнения

Пример: Арифметические операции и операции назначения (составные выражения)

Переменные имеют различные типы данных, но явно типизированы перед вычислением.

Пример: Операция сравнения

Пример: Арифметические операции и операции назначения (составные выражения)

Тип данных фактических аргументов и формальных аргументов в вызове функции один и тот же.

Пример - неверный

Переменные используют различные типы данных для вычислений.

Пример: Операция сравнения

Пример: Арифметические операции и операции назначения (составные выражения)

Вычисления выполняются между переменными целочисленного типа без знака и целыми числами со знаком.

Тип данных фактических аргументов и формальных аргументов в вызове функции различен.

Объяснение

Субидентификатор a:

  • Неявное преобразование типа данных может привести к неожиданным результатам.

Проверка

Проверка модуля Model Advisor: проверка неявного литья типа в модуле Stateflow (Simulink Check)

Последнее изменение

R2020a

Представлен в R2020a