MISRA C:2023 Rule 16.5

R2026b

A default label shall appear as either the first or the last switch label of a switch statement

自 R2024a 起

全页展开

描述

A default label shall appear as either the first or the last switch label of a switch statement. 1

理由

使用此规则，您可以轻松查找 switch 语句中的 default 标签。

故障排除

如果您预期会出现违规，但未看到该违规，请参阅诊断为何编码规范违规未按预期显示。

示例

全部展开

void foo(int var){

    switch(var){
        default:   /* Compliant - default is the first label */
        case 0:
            ++var;
            break;
        case 1:
        case 2:
            break;
    }
        
    switch(var){
        case 0:
            ++var;
            break;
        default:    /* Non-compliant - default is mixed with the case labels */
        case 1:
        case 2:
            break;
    }
    
    switch(var){
        case 0:
            ++var;
            break;
        case 1:
        case 2:
        default:     /* Compliant - default is the last label */
            break;
    }
    
    switch(var){
        case 0:
            ++var;
            break;
        case 1:
        case 2:
            break;
        default:      /* Compliant - default is the last label */
            var = 0;
            break;
    }
}

此示例多次显示了同一个 switch 语句，每次的 default 位置各不相同。正如第一个、第三个和第四个 switch 语句所示，default 必须是第一个或最后一个标签。default 可以是复合 switch 子句的一部分（例如第三个 switch 示例），但必须是最后列出的标签。

检查信息

组：Switch 语句
类别：必需
AGC 类别：建议
PQL 名称：std.misra_c_2023.R16_5

版本历史记录

在 R2024a 中推出

另请参阅

| |

主题

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:2025

  • MISRA C++:2008

  • MISRA C++:2023

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