下述C代码触发MISRA QAC警告‘控制表达式值非显式逻辑运算所得’的原因？

咱们先拆解这个问题，首先得明白MISRA QAC这条检查规则的核心意图：它要求代码里的条件控制语句（比如if、while）的判断表达式，必须是显式的逻辑运算结果，或是和布尔常量的直接比较，而非直接使用布尔类型变量、函数返回值这类“隐式”的布尔值。

看你给出的代码：

if(fun1()) {
    //statement1
} else {
    //statement2
}
bool fun1() {
    return (bool) (Global_variable1 && Global_Variable2);
}

触发警告的点就是if(fun1())这个控制表达式——虽然fun1()确实返回了bool类型的值，但MISRA QAC认为这个表达式没有显式的逻辑操作（比如== true、!= false这类比较），只是直接把函数返回值当作判断条件，属于“隐式”逻辑判断范畴。

MISRA的这条规则本质是为了消除潜在歧义：C语言里非零值都会被视作true，哪怕函数返回的是bool类型，部分编译器可能会把bool实现为1字节整数，直接用它做条件语法合法，但MISRA希望你通过显式比较让代码逻辑意图更清晰，比如修改成：

if(fun1() == true) {
    //statement1
} else {
    //statement2
}

或者

if(fun1() != false) {
    //statement1
} else {
    //statement2
}

修改后，控制表达式就变成了显式的逻辑比较运算，符合MISRA QAC的检查要求，警告也会随之消失。

另外补充一句：fun1内部的返回语句return (bool) (Global_variable1 && Global_Variable2);是符合要求的，因为这里有显式的&&逻辑运算，问题完全出在调用它的if条件里缺少显式逻辑判断。

内容的提问来源于stack exchange，提问作者Photon001