leetcode-645中vector.size()的返回类型以及其应用中死循环或者数据类型冲突的问题

本文链接：https://blog.youkuaiyun.com/cassiechp/article/details/84799171

本文介绍了一种使用分治策略解决LeetCode 645问题的方法，通过寻找数组中最大数的下标，将数组分为左右两个子区间，递归构建最大二叉树。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

leetcode–645

该题是一道分治问题，求数组中最大数的下标，然后把该数组分成左右两个子区间

class Solution {
public:
    int max(int i, int j,vector<int>&nums){
        int max=nums[i];
        int t=i;
        for (int k=i;k<=j;k++){
            if (nums[k]>max){
                t=k;
                max=nums[k];
            }
        }
        return t;
    }
    TreeNode* F(int i,int j,vector<int>& nums){
        if (j-i==0) {
            TreeNode *p= new TreeNode(nums[i]);
            return p;
        }
        if(j<i){
            return NULL;
        }
        int r;
        r=max(i,j,nums);
        TreeNode *root= new TreeNode(nums[r]);
        root->left=F(i,r-1,nums);
        root->right=F(r+1,j,nums);
        return root;
    }
    TreeNode* constructMaximumBinaryTree(vector<int>& nums) {
        if(nums.size()==0) return NULL;
        return F(0,nums.size()-1,nums);
    }
};

vector.size()成员函数返回的类型是一个无符号整形（unsigned）

在最后一行return 中的nums.size()-1可能跟int不匹配，但是因为会自动调整所以不会出错，但是在编译器上就会出现警告。

vector.size()-1出现在循环的判断条件中

当vector.size()=0时，vector.size()-1却不等于-1,而是一个最大的正int数，因为返回的是unsigned，所以补码全为0,当一个无符号数和一个符号数相加时，运算器会当成两个无符号数相加，而-1的补码全为1，所以结果是一个补码全为1的无符号数。
所以vector.size()-1永远大于等于0