为什么if(-1)为真

@TOC

前言

在写程序时候发现不管是if(1) if(-1)都为真，if(0)为假

测试程序

#include 

int main(int argc, char *argv[]) {
    int a = 0;
    if(a) {
        a = 3;
    }
    if(argc != 0) {
        a=1;
    }
    if (argc == 0) {
        a=2;
    }
    return 0;
}

clion查看汇编

在debug模式下 gdb查看汇编

disassemble

可以看到当只有一个参数的时候，是默认和0进行比较，不等于0就为真
je：Jump if equal (ZF=1)。
cmp 如果源操作数和目的操作数是相同的，则结果为0，ZF=1。

另一个问题

上面是正常写程序的写法，换一种方法看看

#include 

int main(int argc, char *argv[]) {
    int a = 0;
    if(0) {
        a = 3;
    }
    return 0;
}

可以看到已经没有cmp指令了，编译器自动帮我们优化这个恒定为假的判断条件，提升效率

参考文章

https://blog.csdn.net/qq_42138566/article/details/106026954
https://blog.csdn.net/weixin_36020178/article/details/120108163