这篇文章不错，从底层来分析C++引用的实现机制。

引用

表达式~a>=0会先将a变为int然后再取反（因为常量0的类型为int）

并不是“因为常量0的类型为int”
~a 同样有整数提升

同样后面说

引用

我们可以采用对a取反a=~a（这样就不会有类型提升）

也是错误的
a=~a 的情况很复杂
假如 a是字符类型
那么
a=~a 的意义是 a=~(int)a
假如 a是short
情况就更复杂一些
取决于int 与 short的表示范围

赞！