请问 C 语言中，如果已经规定了数组长度，在初始化定义数组时会对其后的空间有影响吗？

V2EX = way to explore

V2EX 是一个关于分享和探索的地方

现在注册

已注册用户请登录

这是一个创建于 2791 天前的主题，其中的信息可能已经有所发展或是发生改变。

#include<stdio.h>

int main(){
	
	char arr[4] = {1,2,3,4};
	int k=0;
	for(k;arr[k];k++){
		printf("arr[k] = %d\t",arr[k]);
		printf("arr[k]地址为%p\n",arr+k);
	} 
	
	while(1){
		printf("arr[k] = %d\t",arr[k]);
		printf("arr[k]地址为%p\n",arr+k);
		k++; 
		printf("getchar");
		getchar();
	}
	
	return 0;
}

不论是重新编译运行还是关掉 dev-cpp 重新打开这个.c 文件再编译运行，输出的结果都是一样的，如下

不论如何在数组之后的空间里的都是这么个赋值，出现这么多 0 是为什么呢？理论上来说不应该是各个的值都不一样，乱七八糟的那种么？尤其是那个 12 ，不知道是怎么来的。
并且 C 语言应该是不会在数组结束的时候像对待字符串那样顺手给放一个'\0'作为标识的吧？
先说一声谢谢。

13 条回复 • 2017-04-23 12:12:00 +08:00

Cbdy

2017-04-23 00:05:38 +08:00 via Android

没有影响，第五行第一个 4 有无无异

ghostheaven

2017-04-23 00:15:38 +08:00 via Android

arr 应该在栈上，要看最后变量再栈上怎么分配的。那个 12 很可能就是变量 k 。

geelaw

2017-04-23 00:15:50 +08:00 via iPhone

你看到的确实是一坨乱七八糟的东西

ghostheaven

2017-04-23 00:19:19 +08:00 via Android

栈上没有用过的地方可能是随机的数据，但是用过的地方就是确定的，只要输入确定，编译器确定，没有随机数这种东西，那某个阶段栈的结构和数据都应该是确定的。

lrxiao

2017-04-23 00:19:37 +08:00

ub 有啥可说的

ghostheaven

2017-04-23 00:23:45 +08:00 via Android

开个 vs 调试一下，看看汇编，应该就知道那个 12 是谁了。

codingyue

2017-04-23 00:55:10 +08:00 via iPhone

学习一下汇编吧。这样就懂这段代码到底做了啥

geelaw

2017-04-23 01:15:38 +08:00 via iPhone

@ghostheaven 编译器可以搞随机数哇

ghostheaven

2017-04-23 07:47:39 +08:00 via Android

@geelaw gcc 有 pie 和 pic ，可以随机分配变量地址，不过不清楚 vs 有没有

geelaw

2017-04-23 09:19:30 +08:00

@ghostheaven 我不是谈论编译器的具体实现，而是说 standard compliant 的编译器可以干什么

ghostheaven

2017-04-23 09:40:33 +08:00 via Android

@geelaw 不懂 standard compliant 是什么。编译器知识有限。

billlee

2017-04-23 10:18:38 +08:00

数组越界是未定义行为，所谓未定义行为，就是编译器想干什么都可以

deeporist

2017-04-23 12:12:00 +08:00

for 的循环判断不好是"arr[k]"的吧万一 arr[3]后面的空间里一直有东西你这不就死循环(+数组越界)了么而且为什么非要“乱七八糟"呢？太先入为主了吧每次都一样？你重启电脑再来一次看看要是还一样可能是程序运行前期动用过这些区域 (但按道理应该不会) 主要那块内存区域是划出来专门给你用的系统的其他进程不碰那里的 0 多那是因为你把内存区域按 char 的长度来看了一般 64 位系统也好 32 位系统也好能用上最高位的情况也不多的最后的'\0' 需要手动加编译器不会自己加的