MISRA C:2012 Rule 22.3

The same file shall not be open for read and write access at the same time on different streams

全页展开

描述

规则定义

The same file shall not be open for read and write access at the same time on different streams 1 .

理由

如果一个文件同时通过不同的流进行写入和读取，其行为可能是未定义的。

Polyspace 实现

您只能通过 Bug Finder 分析来检查此规则。

故障排除

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

示例

全部展开

#include <stdio.h>

void func(void) {
    FILE *fw = fopen("tmp.txt", "r+");
    FILE *fr = fopen("tmp.txt", "r");   /* Non-compliant: File open in stream fw*/
}

在此示例中，当同一个文件 tmp.txt 被在两个流中打开时，就违反了该规则。这里的 FILE 指针 fw 和 fr 指向两个不同的流。

检查信息

组：资源
类别：必需
AGC 类别：必需

版本历史记录

在 R2015b 中推出

另请参阅

| |

主题

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.