内存访问越界

for访问越界1

vector<int > num = {
     1,2,3,4,5};
int length = num.size();
int max = 5;
int index = 0;
#define vextorMaxCheck(num, max, cur, index) for(; index < length && cur < max; cur= num[++index])
//错误，根本原因是++i和i++的区别，导致的访问越界
vextorMaxCheck(num, max, index)
{
     
//当前值cur小于max
}
/*
a = ++index;//会被编译为两步
//index= index+1;
//a = index;

b= index++;
//b = index;
//index = index +1;
*/

究其根本，在于index作为左值还是右值。
i++ 不能作为左值，而++i 可以。
左值是对应内存中有确定存储地址的对象的表达式的值，所以++i中++执行优先级更高。
而右值是所有不是左值的表达式的值。
一般来说，左值是可以放到赋值符号左边的变量。

for访问越界2

vector<int > numb = num;
int index = 0;
int length = min(num.size(), numb.size())
for(int i = 0; i < length && index < length; i++)
{
     
    index++;
    int cur  = numb[index];
}
//方案1
for(int i = 0; i < length && index < length; i++)
{
     
    int cur  = numb[index];
    index++;
}
//方案2
for(int i = 0; i < length; i++)
{
     
    
    index++;
    if(index < length)
        int cur  = numb[index];
}

根本原因在于，条件变化后未做条件判断。
读取与操作优先，后做条件变化，即使需要条件变化，条件改变后，需要判断条件是否满足当前逻辑。