指针变量赋值表达式中双重逻辑非运算符!!的作用是什么

这不是书写bug，是C/C++、JavaScript等支持隐式真值判断的语言里流传了几十年的经典惯用法，根本不是手误写错的，核心作用有三个：

• 强制输出严格的0/1布尔值，规避非标准真值的坑
  这类语言里“逻辑真”的判定规则基本都是「非零/非空即为真」，但这不代表真值判断的计算结果一定是1。拿C语言举例子，指针本质是内存地址，非空指针的值可能是0x1234、0xff01这类任意非零整数，如果直接写variable = ptr，存下来的是指针本身的地址数值，后续要是有人误把这个变量和1做严格相等判断、或者拿它做位运算、序列化存到文件/发网络包，就会出完全不符合预期的bug。
  而!!的运算逻辑非常直白：第一次!运算会把所有真值（非空/非零值）转为0（逻辑假），所有假值（空指针/0/空值）转为1（逻辑真）；第二次!再把结果反转一次，最终输出只会是严格的0或者1，和原变量的真值判断结果完全一致，不会出现其他奇怪的取值。
• 消除类型不匹配的编译告警
  当你需要把指针、整数这类非布尔类型的值，赋值给明确声明为bool类型的变量、或者传给形参类型是bool的函数接口时，如果开了高等级编译告警（比如GCC的-Wconversion），直接赋值会触发隐式类型转换的告警。用!!ptr相当于显式做了一次布尔转换，明确告诉编译器“我就是要取这个值的布尔状态，不是类型写错了”，可以直接消除这类告警。
• 明确代码语义，降低维护成本
  直接写variable = ptr，后续接手维护的人很容易犯嘀咕：这里是要把指针地址存下来后续解引用？还是只需要一个指针是否为空的标记位？而写variable = !!ptr的语义非常明确：这里只需要原变量对应的布尔状态，没有存储原指针、原数值的打算，有经验的开发者扫一眼就懂逻辑，不会产生误解。

补充说明：在if、while这类自带真值判断逻辑的条件上下文里，if (ptr)和if (!!ptr)的执行效果没有任何区别，!!从来不是给分支判断用的，它的核心使用场景是需要把真值判断的结果作为独立值存储、传递、序列化的时候。

这种写法在JavaScript这类弱类型语言里更常见，因为JS的真假值规则更复杂（空字符串、0、null、undefined、NaN都算假值），!!x是最短的把任意类型值转为原生true/false布尔值的写法，比调用Boolean(x)更简洁，存量老项目里随处可见。

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