[已解决]sizeof()函数在测试（用指针重新对内存单元赋值过的数组）时的问题

1sun15718

#include<stdio.h>
void copy(char *from,char *to);
int main(){
        char *a="i am a boy";
        char b[]="no";
        char *p=b;
        printf("a=%s\n",a,p);
        printf("%s\n",b);
        copy(a,p);
        printf("%s\n",b);
        printf("%d\n",sizeof(b));
        return 0;}
        void copy(char *from,char *to){
                for(;*from!='\0';from++,to++)
                *to=*from;
                *to='\0';
        }
按道理讲b这个数组已经替换成了i am not a boy 了，但是为什么sizeof测试还是3，还是初始化时候的"no"的长度呢，我又试了试，
把b[]改成b[10]，输出的就为10，是在定义的时候就已经分配完内存空间了所以之后新扩展的内存空间不算吗？
求大佬们指点迷津！

最佳答案

月排行榜 / 总排行榜

CodingCat_k

2020-6-7 19:06:52

首先纠正一下，sizeof不是函数！！！它只是操作符，用来计算变量类型所占空间大小或类型所占空间，
只不过某些情况必须有括号而已，如sizeof(int)；这种计算类型的操作，其余情况为可选。
第一次声明时b所占总字节数就已经确定，后面就算你越界拷贝也还是前面定义处所占空间大小，所以你写char b[10];计算的大小就是10bytes。
PS: 这种越界拷贝行为是隐藏的BUG,容易使程序崩溃。

跳转到最佳答案楼层

CodingCat_k

首先纠正一下，sizeof不是函数！！！它只是操作符，用来计算变量类型所占空间大小或类型所占空间，
只不过某些情况必须有括号而已，如sizeof(int)；这种计算类型的操作，其余情况为可选。
第一次声明时b所占总字节数就已经确定，后面就算你越界拷贝也还是前面定义处所占空间大小，所以你写char b[10];计算的大小就是10bytes。
PS: 这种越界拷贝行为是隐藏的BUG,容易使程序崩溃。

1sun15718

CodingCat_k 发表于 2020-6-7 19:06
首先纠正一下，sizeof不是函数！！！它只是操作符，用来计算变量类型所占空间大小或类型所占空间，
只不过 ...

那这越界部分的内存是来自哪里呢？是数组下面的地址空间吗？

1sun15718

1sun15718 发表于 2020-6-7 19:49
那这越界部分的内存是来自哪里呢？是数组下面的地址空间吗？

可以这么理解吗，因为拷贝的原因，原来的no\0的\0被替换了，而这个%s输出是输出到默认\0截止的，所以他可以看似正常的输出拷贝的结果，但其实b数组的地址空间还是那三个字节的空间，剩下的空间就是越界的部分，因为用的不是自己的地址，所以容易和越界部分本来的内容起冲突导致崩溃吗？

CodingCat_k

1sun15718 发表于 2020-6-7 19:58
可以这么理解吗，因为拷贝的原因，原来的no\0的\0被替换了，而这个%s输出是输出到默认\0截止的，所以他可 ...

对，%s输出本质上是%c一直读到'\0'字符；也就是NUL。
它占用的内存一般是已经声明空间后方，大小和访问方式有关。
这种越界有时候运行无误，有时候会修改数据，甚至访问到保护内存时会异常终止。

1sun15718

CodingCat_k 发表于 2020-6-8 07:39
对，%s输出本质上是%c一直读到'\0'字符；也就是NUL。
它占用的内存一般是已经声明空间后方，大小和访问 ...

谢谢您