C++中数据溢出后数据本身是如何变化的?是移高位留低位,还是变成一个随机的数?
未收藏
0
最近看MD5的代码，看到下面一段有疑惑
部分代码
void CMD5Checksum::Update( BYTE* Input, ULONG nInputLen )
{
//Compute number of bytes mod 64
UINT nIndex = (UINT)((m_nCount[0] >> 3) & 0x3F);
//Update number of bits
if ( ( m_nCount[0] += nInputLen << 3 ) < ( nInputLen << 3) )
//对条件成立的部分有疑惑
{
m_nCount[1]++;
}
m_nCount[1] += (nInputLen >> 29);
………………
// Buffer remaining input
memcpy( &m_lpszBuffer[nIndex], &Input[i], nInputLen-i);
}代码功能:Implementation of main MD5 checksum algorithm
其中,m_nCount数组的定义： ULONG m_nCount[2]; //number of bits, modulo 2^64 (lsb first)
用两个32位的数保存不超过64位的明文长度,上诉条件成立的地方,是利用m_nCount[0]数组溢出时,会小于nInputLen,则高位储存一位数据。
要正确的保存数据的长度,只有当m_nCount[0]溢出的时候是mod 2^32 次方时才行。但记忆中int类的数据溢出时会存储一个无规律的大数,那么,是因为nInputLen << 3 语句先让nInputLen移位了,m_nCount[0]操作的对象变成对二进制进行操作,高位就自动溢出达到mod 2^32效果?如何是此原因,当普通的+,-时,即没有后面的 nInputLen << 3移位,数据溢出后数据本身是如何变化的呢？
移位和加法的溢出，直接舍去高位，取低位的，地址溢出才会出现无规律的随机数
@prosper 什么情况下会地址溢出呢？
比如 int a[10], 但是你访问了print("%d", a[10])你就访问了一个未知的地址，数组越界是一个最典型的地址溢出，C是不会给你再编译的时候报错的，当你运行时，如果a[10]是个调用栈里面的值，不会crush，会输出一个int类型的这个地址上的数据，如果这个地址不在调用栈里面，就会segmentfault