咨询GCC中__builtin_expect_with_probability函数内!!运算符的作用

__builtin_expect_with_probability的第一个参数要求是严格的布尔值（只能是0或1），用来指定预期的条件结果，以此帮助编译器做分支预测优化。而变量x可能是任意类型（比如整数、指针），在C语言里只要x非零就会被视为“真”，但它的实际值可能是2、0x1234这类非1的数，直接传进去不符合函数对参数的要求。

!!x的作用就是把x标准化为严格的0或1：

• 第一次!x：将x转换为布尔反值——非零的x会变成0，零的x会变成1。
• 第二次!：再次取反，最终非零的x会被转换成1，零的x保持为0。

这样处理后，传给函数的第一个参数就完全符合布尔值要求，能确保编译器正确识别我们预期的分支方向，不会因为x的非标准真值影响分支预测的优化效果。

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