VC 非法访问)
17.07.2020
.
5
6.3
• 一个C程序如下：
typedef struct _a{ char c1; long I; char c2; double f;
} a; typedef struct _b{
char c1; char c2; long l; double f; } b; main(){ printf(“Size of double, long, char = %d,%d,%d\n”, sizeof(double), sizeof(long), sizeof(char)); printf(“Size of a, b = %d,%d\n”, sizeof(a), sizeof(b)); } 该程序在SPARC/Solaris工作站上运行结果如下：
编译原理习题课(4)
栾俊 luanj@
17.07.2020
6.1
• 使用Pascal的作用域规则，确定下面程序中用于名字a，b 的每个出现的声明。程序输出整数1,2,3,4
program a (input output); procedure b (u, v, x, y : integer); var a : record a, b : integer end; b : record b, a : integer end; begin with a do begin a := u; b := v end; with b do begin a := x; b := y end; writeln (a.a, a.b, b.a, b.b) end; begin b(1, 2, 3, 4) end.
|1.0
|
• GCC: (GNU) 3.2.2 20030222 (Red Hat Linux 3.2.2-5)
17.07.2020
.ห้องสมุดไป่ตู้
8
6.4
• 下面给出一个C程序及其在X86/Linux下的编译结 果，根据所生成的汇编程序来解释程序中4个变量 的存储分配、作用域、生成期和置初始值方式的 区别
static long aa = 10;
该程序经以前的某些C编译器编译后，运行结果为： cp1 = abcdefghij cp2 = ghij
试分析为什么cp2被修改
17.07.2020
.
4
6.2 (续)
• C语言中，字符串会添加‘\0’作为串的结束符，因此， 串”12345”存储为”12345\0”，而串”12345\0abc\0”打 印出来的只有12345
Size of double, long, char = 8,4,1 Size of a, b = 24,16 试分析为什么
17.07.2020
.
6
6.3 (续)
• 数据对齐：为了寻址方便
• A： char long char
OXXX OOOO OXXX XXXX
double
OOOO OOOO
• B: char char long double
17.07.2020
.
2
6.1 (续)
• with a a:=u b:=v with b a:=x b:=y
a—record a—a.a b—a.b b—record a—b.a b—b.b
17.07.2020
.
3
6.2
• 考虑下面的C程序 main(){ char * cp1, * cp2; cp1 = “12345”; cp2 = “abcdefghij”; strcpy(cp1, cp2); printf(“cp1 = %s \n cp2 = %s \n”, cp1, cp2); }
short bb = 20;
func(){ static long cc = 30;
short dd = 40;
} 生成的汇编代码：
17.07.2020
.
9
6.4 (续)
.file "static.c“ .version “01.01” gcc2_compiled:
.data .align 4 .type aa,@object .size aa,4 aa: .long 10 .globl bb .align 2 .type bb,@object .size bb,2 bb: .value 20 .align 4 .type cc.2,@object .size cc.2,4
O OXX OOOO OOOO OOOO
• 可以用gcc –S命令查看编译后的汇 编码 VC下可以在debug模式下，菜单栏 View->Debug Windows中 Dissassenbly查看编译后的汇编码
• GCC: (GNU) 3.2.2 (Red Hat Linux 3.2.2-5)结果为20,16
17.07.2020
cc.2: .long 30 .text .align 4
.globl func .type func,@function
func: pushl %ebp movl %esp, %ebp subl $4, %esp movw $40, -2(%ebp)
.L1: leave ret
• 常量区连续分配
• 因而本题中”12345”和”abcdefghij”存储为 1 2 3 4 5 \0 a b c d e f g h i j \0
cp1
cp2
拷贝后结果为
a b c d e f g h i j \0 f g h i j \0
cp1
cp2
• 现代编译器编译通过，执行时会出错。(GCC: 段错误 /
.Lfe1: .size func,.Lfe1-func .ident "GCC: (GNU) egcs-2.91.66
19990314/Linux(egcs-1.1.2 release)”
.
10
6.4 (续)
.file "static.c“
.version “01.01”
17.07.2020
.
7
6.3 (续)
• #include <stdio.h> static struct _a{ char c1; long i; char c2; double f; } a = {'A', 1, 'B', 1.0};
• VC6下，Debug模式Memory窗口查看
|A
|1
|B