jc_0802: Stateflow에서 허용되지 않는 묵시적 형변환 사용
하위 ID 권장 사항
NA-MAAB — a
JMAAB — a
MATLAB 버전
모든 버전
규칙
하위 ID a
대입, 비교, 산술 등을 포함한 모든 연산은 동일한 데이터형을 갖는 변수 간에 수행되어야 합니다.
함수 호출 시 실제 인수(actual argument)와 형식 인수(formal argument)의 데이터형은 동일해야 합니다.
사용자 지정 파라미터
해당 없음
예제 — 올바름
변수들이 계산에 동일한 데이터형을 사용합니다.
예: 비교 연산
예: 산술 연산 및 대입 연산(복합 표현식)
변수들의 데이터형이 서로 다르지만 계산 전에 명시적으로 형변환을 수행합니다.
예: 비교 연산
예: 산술 연산 및 대입 연산(복합 표현식)
함수 호출에서 실제 인수와 형식 인수의 데이터형이 동일합니다.
예제 — 올바르지 않음
변수들이 계산에 서로 다른 데이터형을 사용합니다.
예: 비교 연산
예: 산술 연산 및 대입 연산(복합 표현식)
부호 없는 정수형 변수와 부호 있는 정수 사이에서 계산이 수행됩니다.
함수 호출에서 실제 인수와 형식 인수의 데이터형이 다릅니다.
근거
하위 ID a:
묵시적 데이터형 변환은 예상치 못한 결과를 초래할 수 있습니다.
검증
모델 어드바이저 검사: Check for implicit type casting in Stateflow (Stateflow에 묵시적 형변환이 있는지 검사) (Simulink Check)
마지막 변경
R2020a
참고 항목
형변환 연산 (Stateflow)
동작 언어 구문으로서 MATLAB과 C의 차이점 (Stateflow)
버전 내역
R2020a에 개발됨
