C代码:
#include <stdio.h>
int main()
{
char a[]="abc";
char b[]="abc";
char *c="abc";
char *d="abc";
const char e[]="abc";
const char f[]="abc";
const char *g="abc";
const char *h="abc";
printf("%i\n", a==b);
printf("%i\n", c==d);
printf("%i\n", e==f);
printf("%i\n", g==h);
}
输出结果为:0 1 0 1
汇编代码:
注:local.n 代表局部变量
mov eax,dword ptr ds:[0x422020] ; 0x422020处的内容为 61 62 63 00 即"abc",NULL
mov [local.1],eax ; 将数据从数据区复制到栈区,即a[]="abc"
mov ecx,dword ptr ds:[0x422020] ; 同上
mov [local.2],ecx ; b[]="abc"
mov [local.3],aa.00422020 ; 将数据区"abc"的指针赋予c 即 c=00422020
mov [local.4],aa.00422020 ; 将数据区"abc"的指针赋予d 即 d=00422020
mov edx,dword ptr ds:[0x422020] ; 同char a[]="abc"
mov [local.5],edx ;
mov eax,dword ptr ds:[0x422020] ; 同char a[]="abc"
mov [local.6],eax ;
mov [local.7],aa.00422020 ; 同char *c="abc"
mov [local.8],aa.00422020 ; 同char *c="abc"
lea ecx,[local.1] ; 取a[]的地址
lea edx,[local.2] ; 取b[]的地址,注意:a[]和b[] 中的数据一样,但地址不一样
xor eax,eax ;
cmp ecx,edx ; 比较a[]地址和b[]的地址
sete al ; 如果a[]地址和b[]的地址相等,则al为1,否则为0
push eax ; /<%i> eax即为a==b的值 很明显值为0
push aa.0042201C ; |format = "%i"
call aa.printf ; \printf
add esp,0x8
mov ecx,[local.3] ; 取c的值
xor edx,edx
cmp ecx,[local.4] ; 比较c和d是否相等,因为c和d都指向00422020所以相等
sete dl
push edx ; /<%i> c和d相等所以此处为1
push aa.0042201C ; |format = "%i"
call aa.printf ; \printf
add esp,0x8
lea eax,[local.5]
lea ecx,[local.6]
xor edx,edx
cmp eax,ecx
sete dl
push edx ; /<%i>
push aa.0042201C ; |format = "%i"
call aa.printf ; \printf
add esp,0x8
mov eax,[local.7]
xor ecx,ecx
cmp eax,[local.8]
sete cl
push ecx ; /<%i>
push aa.0042201C ; |format = "%i"
call aa.printf ; \printf