98.验证最大二叉搜索树,debug过程中发现问题:
如果maxValue定义成int,输入[0]的时候,输出发生了和输入INT_MIN一样的现象,也就是说,maxValue和第一个节点数值相等了。
报错代码:
class Solution {
public:
//输入[0]的时候会出问题,改成long long就好了
//但是这里定义成int的话,输入0为什么会有问题呢?不应该是输入INT_MIN才会有问题吗
int maxValue = LONG_MIN;
bool isValidBST(TreeNode* root) {
//终止条件
if(root==nullptr){
return true;
}
//中序遍历
//左
bool left = isValidBST(root->left);
//中
if(root->val > maxValue){
//更新最大值
maxValue = root->val;
}
else{
//只要该节点val值小于或等于前一个节点的值,就说明已经不是单调递增了!
return false;
}
//右
bool right = isValidBST(root->right);
if(left&&right){
//两边都没有false
return true;
}
return false;
}
};
原因在于,int maxValue = LONG_MIN;这种写法,会发生截断。
这里如果maxValue定义成int,用 int 去接 long 最小值就被截断了,此时截断之后,这个 maxvlalue 初始值就是 0,不是int_min。
因此,当我们输入[0]的时候,maxValue经过截断也=0,导致了初始值和第一个节点数值相等,直接返回false。
和maxValue初始值定义为INT_MIN的情况是一样的。只不过此时因为int 接收 long long的截断原因,int 变量maxValue 直接= 0。