介绍
LEB128(little endian base 128)是一种变长的整数压缩编码形式，它是出自于DWARF debug file format。在Android的Dalvik Executable format中使用该编码用于表示32位整数。由于32位整数占用固定的4个字节，可能大多数整数并不需要4个字节，最高几个字节可能为0（正数）或者为1（负数），该编码就是不保存最高位的这些字节。
原理
LEB128的表现形式都是一样的，如下面表格所示，由于是little endian，因此是从低字节到高字节。每个字节中的最高bit是标识信息，1表示还有后续字节，0表示结束，后面7bits是有效数据。将多个字节的该7bits从低到高组合起来就是所表示的整数。 LEB128分成有符号数和无符号数两种分别进行处理，不过，只是在编码和解码过程有些不同。
| 低地址 | +1 | +2 | +3 | +4 |
|---|---|---|---|---|
| 0 xxxxxxx | ||||
| 1 xxxxxxx | 0 xxxxxxx | |||
| 1 xxxxxxx | 1 xxxxxxx | 0 xxxxxxx | ||
| 1 xxxxxxx | 1 xxxxxxx | 1 xxxxxxx | 0 xxxxxxx | |
| 1 xxxxxxx | 1 xxxxxxx | 1 xxxxxxx | 1 xxxxxxx | 0 xxxxxxx |
无符号整数
将无符号整数写成二进制形式，从低位到高位7个bits为一个整体组合成一个字节，在该字节最高位填入上述所说的标识信息。
下面以10000为例，编码过程：
| 二进制形式为 | 10 0111 0001 0000 |
|---|---|
| 以7bits为整体 | 1001110 0010000 |
| 添加标识组合成新的字节(从后往前，即低bits到高bits） | 01001110(0x4E) 10010000(0x90) (最高位标识设置为0，表示没有后续字节) |
| LEB128 则为 | 0x90 0x4F (小端存放) |
解码过程：
| LEB128 | 0x90 0x4E |
|---|---|
| 二进制形式 | 10010000 01001110 |
| 去掉标识信息 | 0010000（低7bits) 1001110（高7bits） |
| 组合的结果为 | 10011100010000 （10000） |
编码代码为:
void EncodeULEB128(unsigned int value, unsigned char *leb128_buffer)
{
int pos = 0;
while (value != 0) {
leb128_buffer[pos++] = value & 0x7F | 0x80; //每个字节标识信息都设为1
value >>= 7;
}
if (pos > 0)
leb128_buffer[pos-1] &= 0x7F; //将最后一个字节的标识信息设为0
}
解码代码为：
void DecodeULEB128(unsigned char *leb128_buffer, unsigned int *value)
{
int pos = 0;
int offset = 0;
while (buffer[pos] != 0) {
*value |= ( (buffer[pos] & 0x7F) << offset ); //从低到高将 bits 合并到一起
offset += 7;
if (buffer[pos] & 0x80 == 0)
break;
pos += 1;
}
}
有符号数
有符号数分成了正数和负数，在计算机的存储中都是以补码存储，正数和上述无符号数一样的处理，负数的处理会有些区别，以-10000为例说明，
编码过程：
| 二进制补码 | 11111111 11111111 11111100 00011000（可以看出最高两字节都是符号扩展的1） |
|---|---|
| 以7bits为整体 | 1111 1111111 1111111 1111000 0011000 |
| 添加标识信息组合新的字节(从后往前，即低bits到高bits） | 01111000 10011000（此处结束条件不像上面那么明显，若前面和该7bits的最高位都为1时停止） |
| LEB128则为 | 0x98 0x78 |
解码过程：
| LEB128 | 0x98 0x78 |
|---|---|
| 二进制形式 | 10011000 01111000 |
| 去掉标识信息 | 0011000 1111000 (若最后一个字节中7bits的最高位为1，则前面需要符号扩展都添加1） |
| 组合结果 | 11111111 11111111 1111100 00011000 (-10000) |
编码代码为：
void EncodeLEB128(int value, unsigned char *buffer)
{
int pos = 0;
int more = 1;
while (more) {
unsigned char byte = value & 0x7F;
value >>= 7;
if ( ((value == 0) && (byte & 0x40) == 0) || //正数
((value == -1) && (byte & 0x40) != 0) ) //负数
more = 0;
if (more != 0)
byte != 0x80;
buffer[pos++] = byte;
}
}
编码代码为：
void DecodeLEB128(unsigned char *buffer, int *value)
{
int pos = 0;
int offset = 0;
unsigned char byte = buffer[pos++];
while (byte >= 0x80) {
*value |= (byte & 0x7f) << offset;
offset += 7;
byte = buffer[pos++];
}
if (byte & 0x40)
*value |= -(1 << offset);
}
总结
LEB128的理解难点是在有符号数上，编码结束条件不像无符号数那么明显（value等于0），分两种情况：
- 若为正数，7bits中的最高位为0 并且 value == 0结束，value ==0 表示高字节没有数据，而7bits最高位为0用于表示是正数，用于解码；
- 若为负数，7bits中的最高位为1 并且 value == -1结束， value == -1表示高字节都是符号扩展出来的1， 7bits最高位为1用于表示是负数，在解码时高位填充1。