c - 将 unsigned Char Boolean_type 重新定义为 True 和 false 结构

Question

根据 Autosar_SWS， bool 值必须是 unsigned char。但是我的作品中有很多 MISRA 违规行为，例如 MISRA 规则 10.1(转换违规)、规则 12.6(有效 bool 值)。

我想知道我是否像下面这样为我的应用程序重新定义了 BOOLEAN:

#ifdefine BOOLEAN_T
#undefine BOOLEAN_T

typedef struct {
                 unsigned char TRUE  : 1;
                 unsigned char FALSE : 1;
               } BOOLEAN_T;    

#define TRUE 1;
#define False 0;

#endif

安全问题和后果是什么？

Answer 1

如果您使用 2 位结构来表示单个位量，则随机位翻转有 50% 的机会将真/假值更改为既非真也非假的值。

请在尝试编写安全关键软件之前多花些时间学习 C 语言。