MISRA C++:2008 Rule 6-6-5

A function shall have a single point of exit at the end of the function

描述

规则定义

A function shall have a single point of exit at the end of the function. ¹

理由

此规则要求 return 语句必须作为函数体中的最后一个语句出现。否则，可能会出现以下问题：

在 return 语句之后的代码可能会被意外省略。
如果一个函数修改了某些参量，且在函数开头有 return 语句，那么在阅读代码时，无法立即清楚到底发生了哪些修改。

Polyspace 实现

检查项会标记以下情况：

函数有多个 return 语句。
非 void 函数只有一个 return 语句，但 return 语句不是函数中的最后一个语句。

void 函数无需包含 return 语句。如果存在 return 语句，它不必是函数中的最后一个语句。

故障排除

如果您预期会出现违规，而 Polyspace^® 未报告该违规，请参阅诊断为何编码规范违规未按预期显示。

检查信息

组：声明

类别：必需

版本历史记录

在 R2013b 中推出

全部展开

R2024b: 将 `return` 语句作为 `do`-`while` 语句的最后一行。

当 return 语句是 do-while 语句的 do 部分的最后一行时，Polyspace 不报告违反此规则。例如：

uint8_t exampleA(void) {
     do {
          uint8_t a;
          a = get_uint8();
          return(a);            //Compliant
     }
     while (0);
}

另请参阅

检查 MISRA C++:2008 (-misra-cpp)

主题

检查并审查编码标准违规

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.