C++布尔表达式求值疑问：二叉树代码中空指针访问的合法性探讨

嘿，这个问题问得特别到位！咱们直接说结论：这段代码完全安全，不会出现空指针解引用的问题，核心原因就是C++里逻辑与运算符&&的「短路求值」特性。

咱们拆解一下这个条件表达式：

if(t->left != nullptr && t->left->data != t->data)

C++标准明确规定，逻辑与&&的求值顺序是从左到右，而且如果左边的表达式结果为false，右边的表达式会被直接跳过（也就是「短路」），根本不会执行。

具体到你的代码：

• 如果t->left是空指针，那么t->left != nullptr的结果是false，此时右边的t->left->data != t->data完全不会被执行，自然也就不会触发空指针解引用的错误。
• 只有当t->left != nullptr为true时，才会去执行右边的表达式，这时候t->left已经确定是非空的，访问它的data成员是安全的。

这里要注意和按位与运算符&区分开——如果不小心写成了&，那两边的表达式都会被执行，这时候就真的会出现空指针访问的问题了，但你用的是逻辑与&&，完全没问题。

放心用这段代码就好，它的写法是符合C++安全规范的常见操作~

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