MISRA C:2012 Rule 17.8

A function parameter should not be modified

全页展开

描述

规则定义

A function parameter should not be modified ¹ .

理由

当您修改一个参数时，与该参数对应的函数参量不会被修改。但是，您或其他不熟悉 C 语言的程序员可能会错误地认为，当您修改参数时，参量也会被修改。

Polyspace 实现

当您在函数体中修改函数参数时，Polyspace^® 会报告违反此规则。当函数参数作为 const 通过地址传递给另一个函数时，Polyspace 不会报告违反此规则。

故障排除

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

示例

全部展开

函数参数已修改

在此示例中，当参数 param1 被修改时，规则被违反。Polyspace 报告了违规情况。因为 param3 被作为 const 传递给 foo，因此它不会被修改。Polyspace 不会报告违规情况。

int input(void);
int foo(const int*);
void func(int param1, int* param2, int param3) {
    
    param1 = input();   /* Non-compliant */
    *param2 = input();  /* Compliant */
    foo(&param3); /*Compliant*/
}

当修改指针参数（如 param2）时，该规则不被违反。

检查信息

组：函数

类别：建议

AGC 类别：可读性

版本历史记录

在 R2015b 中推出

全部展开

R2024a: 在转换或函数调用中获取参数地址不再导致违规

如果在函数体中，您在转换运算或函数调用中获取参数的地址，则规则检查器不会报告违反此规则。例如：

void myFcn(const void *param);

void myCall(int long_word)
{
	myFcn((void *)&long_word); //Compliant
}

Polyspace 识别出运算 &long_word 不会修改参数，因此不会报告违规。

R2022b: 不再标记指向 `const` 参数的指针

当函数参数以地址 const 形式传递给另一个函数时，规则检查器不会报告违反此规则的情况。例如：

int foo(const int*);
void bar(int param){
    foo(&param); //Compliant
}

因为 foo() 接受 const int* 对象，因此当参数 param 通过地址传递给 foo 时，该参数不会被修改。

另请参阅

检查 MISRA C:2012 (-misra3)

主题

检查并审查编码标准违规

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.