数组下标访问越界导致溢出1

一、问题描述

 runtime error: addition of unsigned offset to 0x603000000010 overflowed to 0x60300000000c (stl_vector.h)

意思是：

运行时错误：将无符号偏移量添加到 0x603000000010 溢出到 0x60300000000c (stl_vector.h)

提示溢出，所以我考虑到数组访问问题。

错误代码：

int i,j,tmp;
for(i = 1;i < nums.size();++i)
{
    tmp = nums[i];
    for(j = i; (nums[j - 1] > tmp)&&j ;--j)  nums[j] = nums[j - 1];
    nums[j] = tmp;
}

二、原因

在内层 for 循环，最后一趟循环 -- j ，从而 j = 0 ，接着要执行判断语句 (nums[j - 1] > tmp) && j ，根据优先级，括号最先，所以先计算括号内表达式，接着才根据 && 从左至右的结合性判断 j ，问题就出在这里，j = 0 时括号内 nums[j - 1] = nums[-1] ，而 nums[-1] 是取不到的，导致溢出添加。

三、解决问题

根据原因，可知将循环条件改成以下形式就会成功：

(j) && (nums[j - 1] > tmp)

但是，我还做了几个测试：

--j && nums[j - 1] > tmp

--j && (nums[j - 1] > tmp)

j && (nums[j - 1] > tmp)

 以上判断条件均输出正确。

这是为什么呢？如果括号优先级最高，那么应该只有第一个判断条件正确。

我去搜了资料，最后没有搜到相关问题解决，所以目前我只能认为是几个运算符放到一起优先级会有偏移，这里就是 && 和 () 在一起先使用 && 的优先级，这里不一定正确，如果有知道原理的小伙伴可以教教我，谢谢。

编译环境：vs2022 和 leetcode编辑器