当前位置: 技术问答>linux和unix
GCC如何保证C语言字符串以'\0'结尾？
来源: 互联网 发布时间：2017-05-15
本文导语: int main(){ char a[9]="abcdef"; } 然后部分反汇编是这样的 080483cd : 80483cd: 55 push %ebp 80483ce: 89 e5 mov %esp,%ebp 80483d0: 83 ec 10 sub $0x10,%esp 80...
int main(){
char a[9]="abcdef";
}
然后部分反汇编是这样的
080483cd :
80483cd: 55 push %ebp
80483ce: 89 e5 mov %esp,%ebp
80483d0: 83 ec 10 sub $0x10,%esp
80483d3: c7 45 f7 61 62 63 64 movl $0x64636261,-0x9(%ebp)
80483da: c7 45 fb 65 66 00 00 movl $0x6665,-0x5(%ebp)
80483e1: c6 45 ff 00 movb $0x0,-0x1(%ebp)
80483e5: c9 leave
80483e6: c3 ret
80483e7: 66 90 xchg %ax,%ax
80483e9: 66 90 xchg %ax,%ax
80483eb: 66 90 xchg %ax,%ax
80483ed: 66 90 xchg %ax,%ax
80483ef: 90 nop
我就想问问，为什么0x80483e1地址处是movb $0x0,-0x1(%ebp)字符串共6个字符，就是要填上7个字节数据，那么从-0x9(%ebp)开始填，不是应该在-0x3(%ebp)填上0x0吗？但为什么GCC要在-0x1(%ebp)填上0x0？这样填怎么能保证字符串是以0结尾的？
|
字符串总6字节，a是个数组，剩余部分都被填成0，a[6]至a[8]都是0
定义数组时，若只对数组部分元素赋初值，其他元素全被赋为0
80483d3: c7 45 f7 61 62 63 64 movl $0x64636261,-0x9(%ebp) 将abcd'放入%ebp-0x9,%ebp-0x8,%ebp-0x7,%ebp-0x6
80483da: c7 45 fb 65 66 00 00 movl $0x6665,-0x5(%ebp) 将ef00放入%ebp-0x5,%ebp-0x4,%ebp-0x3,%ebp-0x2
80483e1: c6 45 ff 00 movb $0x0,-0x1(%ebp) 将0放入%ebp-0x1
movl long四个字节，movb byte1个字节。a[9]共9字节，两次movl，一次movb
定义数组时，若只对数组部分元素赋初值，其他元素全被赋为0
80483d3: c7 45 f7 61 62 63 64 movl $0x64636261,-0x9(%ebp) 将abcd'放入%ebp-0x9,%ebp-0x8,%ebp-0x7,%ebp-0x6
80483da: c7 45 fb 65 66 00 00 movl $0x6665,-0x5(%ebp) 将ef00放入%ebp-0x5,%ebp-0x4,%ebp-0x3,%ebp-0x2
80483e1: c6 45 ff 00 movb $0x0,-0x1(%ebp) 将0放入%ebp-0x1
movl long四个字节，movb byte1个字节。a[9]共9字节，两次movl，一次movb
本站(WWW.)旨在分享和传播互联网科技相关的资讯和技术，将尽最大努力为读者提供更好的信息聚合和浏览方式。
本站(WWW.)站内文章除注明原创外，均为转载、整理或搜集自网络。欢迎任何形式的转载，转载请注明出处。
本站(WWW.)站内文章除注明原创外，均为转载、整理或搜集自网络。欢迎任何形式的转载，转载请注明出处。