鱼C论坛

 找回密码
 立即注册
查看: 2680|回复: 11

static数组

[复制链接]
发表于 2020-2-6 22:57:45 | 显示全部楼层 |阅读模式

马上注册,结交更多好友,享用更多功能^_^

您需要 登录 才可以下载或查看,没有账号?立即注册

x
请问c++中static数组如何存储?为什么定义数组时,没有相应的汇编语言??超出数组范围的值却是0,而不是随机数。static数组中的赋值怎么赋进去的?我很奇怪,初始化这个static数组时它的汇编代码居然没有???输出的时候数值从哪来??最起码一般数组我看到通过通用寄存器来把数值赋进去,可他一句没有
1580965166_757720.png
1580965167_223417.png
1580965165_739924.png
小甲鱼最新课程 -> https://ilovefishc.com
回复

使用道具 举报

发表于 2020-2-6 23:04:08 | 显示全部楼层
定义static数组确实不会生成汇编代码,即使有初始值也不会生成汇编代码
这个初始值是直接db到data段的,这个初始值最后保存在了可执行文件的data段
小甲鱼最新课程 -> https://ilovefishc.com
回复 支持 反对

使用道具 举报

 楼主| 发表于 2020-2-6 23:42:39 | 显示全部楼层
人造人 发表于 2020-2-6 23:04
定义static数组确实不会生成汇编代码,即使有初始值也不会生成汇编代码
这个初始值是直接db到data段的,这 ...

那对这个static数组是如何赋值进去的?请问
小甲鱼最新课程 -> https://ilovefishc.com
回复 支持 反对

使用道具 举报

发表于 2020-2-7 00:25:55 | 显示全部楼层
我这样解释,看看你能不能理解

首先有如下代码
1.png

编译得到可执行文件main
然后用nm得到arr数组的地址
2.png

有一个arr.2311的符号在data段

我们看一下这个程序的汇编文件
3.png

可以看到这个arr数组被编译器改名字了,改成了arr.2311

这个arr在data段,地址是 0x4030

4.png

data段从0x4020开始,也就是说arr数组在可执行文件中的偏移是 0x3030

5.png

可以看到,arr数组是保存在data段的

执行这个文件的时候,系统会把data段加载到内存,也就是arr的内容会一起加载到内存,会加载到地址 0x4030的位置

等执行到main函数的时候arr中的那些数据就已经在内存地址 0x4030的位置了

可以直接访问这个地址就可以读取到arr数组中的内容

小甲鱼最新课程 -> https://ilovefishc.com
回复 支持 反对

使用道具 举报

发表于 2020-2-7 00:51:59 | 显示全部楼层
1.png
2.png

这次是地址 0x4a90f0,可以看到在汇编代码中直接访问的这个内存地址
arr中的数据是保存在data段的,系统会把arr的内容加载到地址 0x4a90f0
在程序中直接访问这个地址就可以访问到arr数组了
小甲鱼最新课程 -> https://ilovefishc.com
回复 支持 反对

使用道具 举报

 楼主| 发表于 2020-2-7 18:54:55 | 显示全部楼层
人造人 发表于 2020-2-7 00:51
这次是地址 0x4a90f0,可以看到在汇编代码中直接访问的这个内存地址
arr中的数据是保存在data段的, ...

那请问超出数组范围的值为什么全是0呢?而不是任意值?
小甲鱼最新课程 -> https://ilovefishc.com
回复 支持 反对

使用道具 举报

发表于 2020-2-7 19:06:36 | 显示全部楼层
suqiang357 发表于 2020-2-7 18:54
那请问超出数组范围的值为什么全是0呢?而不是任意值?

是吗?下面的截图如何解释?

1.png
2.png
小甲鱼最新课程 -> https://ilovefishc.com
回复 支持 反对

使用道具 举报

 楼主| 发表于 2020-2-7 19:55:16 | 显示全部楼层
本帖最后由 suqiang357 于 2020-2-7 20:01 编辑
人造人 发表于 2020-2-7 19:06
是吗?下面的截图如何解释?


当我把它定义为static  char  数组时,超出范围它直接不输出。。。static  int数组超范围它输出0
static   int  数组.png
static  char数组.png
小甲鱼最新课程 -> https://ilovefishc.com
回复 支持 反对

使用道具 举报

发表于 2020-2-7 20:14:41 | 显示全部楼层
suqiang357 发表于 2020-2-7 19:55
当我把它定义为static  char  数组时,超出范围它直接不输出。。。static  int数组超范围它输出0

数组越界访问的行为本来就是未定义的,也就是编译器想怎么弄就怎么弄
不管输出了什么样的结果,也都是符合标准的
因为标准对此的定义就是”未定义”的
小甲鱼最新课程 -> https://ilovefishc.com
回复 支持 反对

使用道具 举报

 楼主| 发表于 2020-2-7 20:20:39 | 显示全部楼层
人造人 发表于 2020-2-7 20:14
数组越界访问的行为本来就是未定义的,也就是编译器想怎么弄就怎么弄
不管输出了什么样的结果,也都是符 ...

我以为static数组所在的地方,未初始化的地方系统就默认为0;我还有一个大胆的想法,static数组存放在data段,data段内存大小在编译连接时自动分配,它和程序大小没有关系,但和程序使用到的全局变量,常量数量相关,我以为我程序未定义其他的全局变量,常量,然后data段就只存放它,输出0的地方可能是我访问到了bss段了。、、、
小甲鱼最新课程 -> https://ilovefishc.com
回复 支持 反对

使用道具 举报

发表于 2020-2-7 20:38:06 | 显示全部楼层
suqiang357 发表于 2020-2-7 20:20
我以为static数组所在的地方,未初始化的地方系统就默认为0;我还有一个大胆的想法,static数组存放在dat ...


具体你可以让你的编译器在执行完编译阶段后停下来,你可以看一看编译后的汇编代码
小甲鱼最新课程 -> https://ilovefishc.com
回复 支持 反对

使用道具 举报

发表于 2020-2-7 20:42:56 | 显示全部楼层
  1. #include <stdio.h>

  2. int main(void)
  3. {
  4.         static unsigned char arr[] = {1, 2, 3, 4, 5};
  5.         return 0;
  6. }

  7. void test(void)
  8. {
  9.         static unsigned char arr[] = {11, 22, 33, 44, 55};
  10. }
复制代码

  1. gcc -S main.c
复制代码

  1.         .file        "main.c"
  2.         .text
  3.         .def        __main;        .scl        2;        .type        32;        .endef
  4.         .globl        main
  5.         .def        main;        .scl        2;        .type        32;        .endef
  6.         .seh_proc        main
  7. main:
  8.         pushq        %rbp
  9.         .seh_pushreg        %rbp
  10.         movq        %rsp, %rbp
  11.         .seh_setframe        %rbp, 0
  12.         subq        $32, %rsp
  13.         .seh_stackalloc        32
  14.         .seh_endprologue
  15.         call        __main
  16.         movl        $0, %eax
  17.         addq        $32, %rsp
  18.         popq        %rbp
  19.         ret
  20.         .seh_endproc
  21.         .globl        test
  22.         .def        test;        .scl        2;        .type        32;        .endef
  23.         .seh_proc        test
  24. test:
  25.         pushq        %rbp
  26.         .seh_pushreg        %rbp
  27.         movq        %rsp, %rbp
  28.         .seh_setframe        %rbp, 0
  29.         .seh_endprologue
  30.         nop
  31.         popq        %rbp
  32.         ret
  33.         .seh_endproc
  34.         .data
  35. arr.2979:
  36.         .byte        1
  37.         .byte        2
  38.         .byte        3
  39.         .byte        4
  40.         .byte        5
  41. arr.2983:
  42.         .byte        11
  43.         .byte        22
  44.         .byte        33
  45.         .byte        44
  46.         .byte        55
  47.         .ident        "GCC: (GNU) 7.4.0"
复制代码
小甲鱼最新课程 -> https://ilovefishc.com
回复 支持 反对

使用道具 举报

您需要登录后才可以回帖 登录 | 立即注册

本版积分规则

小黑屋|手机版|Archiver|鱼C工作室 ( 粤ICP备18085999号-1 | 粤公网安备 44051102000585号)

GMT+8, 2025-7-7 08:27

Powered by Discuz! X3.4

© 2001-2023 Discuz! Team.

快速回复 返回顶部 返回列表