本页翻译不是最新的。点击此处可查看最新英文版本。

MISRA C:2012 Rule 15.7

All if … else if constructs shall be terminated with an else statement

全页展开

描述

规则定义

All if … else if constructs shall be terminated with an else statement 1 .

理由

除非 if...elseif...else 结构中有终止 else 语句，否则在代码审查期间就难以判断您是否已针对 if 条件考虑了所有可能的结果。

故障排除

如果您预计存在违规，但未看到该违规，请参阅Diagnose Why Coding Standard Violations Do Not Appear as Expected。

示例

全部展开

#include<stdbool.h>
void action_1(void);
void action_2(void);

void f1(bool flag_1, bool flag_2) {
	if(flag_1) {
		action_1();
	}
	else if(flag_2) {/* Non-compliant */ 
		action_2();
	}
}

在此示例中，由于 if ... else if 结构中没有终止 else 块，因此会违反规则。

更正 - 添加 else 块

若要避免违规，请添加终止 else 块。例如，此 else 块可以处理异常或为空。

#include<stdbool.h>
bool ERROR = 0;
void action_1(void);
void action_2(void);

void f1(bool flag_1, bool flag_2) {
	if(flag_1) {
		action_1();
	}
	else if(flag_2) {
		action_2();
	}else{
		// Can be empty
		ERROR = 1; 
	}
}

检查信息

组：控制流
类别：必需
AGC 类别：可读性

版本历史记录

在 R2014b 中推出

另请参阅

|

主题

1 All MISRA coding rules and directives are © Copyright The MISRA Consortium Limited 2021.

The MISRA coding standards referenced in the Polyspace® Bug Finder™ documentation are from the following MISRA standards:

  • MISRA C:2004

  • MISRA C:2012

  • MISRA C:2023

  • MISRA C++:2008

  • MISRA C++:2023

MISRA and MISRA C are registered trademarks of The MISRA Consortium Limited 2021.