[已解决]s1e33关于变量的生存期和存储类型的疑问

顶级太阳

在s1e32视频中，从8:55开始，小甲鱼使用一个例子讲解变量的静态存储期。当变量定义过程中，前面加了static后，局部变量具有静态存储期，在所在函数结束后不释放内存，一直到程序结束才释放。举例如下：

1. #include<stdio.h>
   
2. 
   
3. void func(void)
   
4. {
   
5.         static int count;
   
6.         printf("count=%d\n",count);
   
7.         count++;
   
8. }
   
9. 
   
10. int main (void)
    
11. {
    
12.         int i;
    
13.         for(i=0;i<10;i++)
    
14.         {
    
15.                 func();
    
16.         }
    
17. return 0;
    
18. }
    

复制代码

这个时候运行代码，将会获得如下的结果：

而定义过程中，将static int count;改为int count;将会出现不同结果。

但是我在自己的虚拟机上尝试两次编程过程的时候，一直是第一个结果，

图片中间的vim命令上下分别是两次，带static和不带static的状态，结果是一样的。请问这是怎么回事？

最佳答案

月排行榜 / 总排行榜

人造人

2023-1-3 17:23:48

顶级太阳 发表于 2023-1-3 16:57
小甲鱼在s1e33的视频里9:37的时候明确说，变量被定义的时候，如果后面没有给出初始值的话，会被置0.
htt ...

学习就认真一点么
人家说的是静态局部变量，你可以再去听一遍
是加了static的局部变量才初始化成0
就是这样，少上两个字，意思就完全不一样了
少上一个字，其实意思就完全不一样了
例如 ‘不’ 字
局部变量和静态局部变量完全不一样

跳转到最佳答案楼层

lvk

应该是没有初始化的问题，初始化一下就行了

1. int count = 0;

复制代码

人造人

main.c:5:5: warning: ‘count’ is used uninitialized [-Wuninitialized]

因为堆栈上面全是0，而且没有其他代码使用count这个变量的地址位置，所以一直保持上一次的值
所以才会出现 你截图的效果，我这边也和你的截图一样

让这个代码输出不正常，也非常容易，只需要把堆栈弄得乱七八糟就可以了
只需要随便调用上一个函数就可以了，下面的代码调用的是printf函数

1. sh-5.1$ cat main.c
   
2. #include <stdio.h>
   
3. 
   
4. void func(void) {
   
5.     int count;
   
6.     printf("count=%d\n", count);
   
7.     count++;
   
8. }
   
9. 
   
10. int main(void) {
    
11.     int i;
    
12.     for(i = 0; i < 10; i++) {
    
13.         printf("i=%d\n", i);           // 这个函数没有其他意思，就是为了弄乱堆栈，让堆栈中的值不再是0，不再保持之前的值
    
14.         func();
    
15.     }
    
16.     return 0;
    
17. }
    
18. sh-5.1$ gcc -g -Wall -o main main.c
    
19. main.c: In function ‘func’:
    
20. main.c:5:5: warning: ‘count’ is used uninitialized [-Wuninitialized]
    
21.     5 |     printf("count=%d\n", count);
    
22.       |     ^~~~~~~~~~~~~~~~~~~~~~~~~~~
    
23. main.c:4:9: note: ‘count’ was declared here
    
24.     4 |     int count;
    
25.       |         ^~~~~
    
26. sh-5.1$ ./main
    
27. i=0
    
28. count=32538
    
29. i=1
    
30. count=32539
    
31. i=2
    
32. count=32540
    
33. i=3
    
34. count=32541
    
35. i=4
    
36. count=32542
    
37. i=5
    
38. count=32543
    
39. i=6
    
40. count=32544
    
41. i=7
    
42. count=32545
    
43. i=8
    
44. count=32546
    
45. i=9
    
46. count=32547
    
47. sh-5.1$
    

复制代码

FengYue20

你看看你的test.c是否保存修改了，不带静态是不可能会累加的！

人造人

FengYue20 发表于 2022-12-31 17:50
你看看你的test.c是否保存修改了，不带静态是不可能会累加的！

1. sh-5.1$ cat main.c
   
2. #include <stdio.h>
   
3. 
   
4. void func(void) {
   
5.     int count;
   
6.     printf("count=%d\n", count);
   
7.     count++;
   
8. }
   
9. 
   
10. int main(void) {
    
11.     int i;
    
12.     for(i = 0; i < 10; i++) {
    
13.         func();
    
14.     }
    
15.     return 0;
    
16. }
    
17. sh-5.1$ gcc --version
    
18. gcc (GCC) 12.2.0
    
19. Copyright (C) 2022 Free Software Foundation, Inc.
    
20. This is free software; see the source for copying conditions.  There is NO
    
21. warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
    
22. 
    
23. sh-5.1$ gcc -g -Wall -o main main.c
    
24. main.c: In function ‘func’:
    
25. main.c:5:5: warning: ‘count’ is used uninitialized [-Wuninitialized]
    
26.     5 |     printf("count=%d\n", count);
    
27.       |     ^~~~~~~~~~~~~~~~~~~~~~~~~~~
    
28. main.c:4:9: note: ‘count’ was declared here
    
29.     4 |     int count;
    
30.       |         ^~~~~
    
31. sh-5.1$ ./main
    
32. count=0
    
33. count=1
    
34. count=2
    
35. count=3
    
36. count=4
    
37. count=5
    
38. count=6
    
39. count=7
    
40. count=8
    
41. count=9
    
42. sh-5.1$
    

复制代码

FengYue20

人造人 发表于 2022-12-31 17:56

大佬，能否看一下我这道题：https://fishc.com.cn/forum.php?m ... p;page=1#pid6099234
为什么出了函数还能修改变量，不是应该弹栈了吗？

顶级太阳

人造人 发表于 2022-12-31 17:56

那么也就是说，你这把gcc纠错开到最大，也只是出现了一个警告，对于程序的实际运行结果没有影响。那么这是为什么呢？

顶级太阳

FengYue20 发表于 2022-12-31 17:50
你看看你的test.c是否保存修改了，不带静态是不可能会累加的！

反复确认过了，不带静态的时候发生了累加。所以才上来问的。刚刚学到这里，怕我哪里做的不对了。

人造人

顶级太阳 发表于 2023-1-1 08:03
那么也就是说，你这把gcc纠错开到最大，也只是出现了一个警告，对于程序的实际运行结果没有影响。那么这 ...

?
3楼你看了吗？

顶级太阳

人造人 发表于 2023-1-1 11:17
?
3楼你看了吗？

堆栈的事还不懂，以前没接触过这东西怎么弄。另外第3楼，每调用一次打印之外，输出的i值还是每调用一次增加1，没有出现调用后成为乱码呀。小甲鱼的例子很明显，每次调用函数的时候，count都会被重新置0，可是我的试验结果没有重置，你在第3楼的运行结果也显示了没有重新置0.

人造人

顶级太阳 发表于 2023-1-3 08:06
堆栈的事还不懂，以前没接触过这东西怎么弄。另外第3楼，每调用一次打印之外，输出的i值还是每调用一次增 ...

编译器有点聪明，他会故意避开count的地址
我试了好多种方法，这样可以修改到count

1. sh-5.1$ cat main.c
   
2. #include <stdio.h>
   
3. #include <stdlib.h>
   
4. 
   
5. void fs(void) {
   
6.     int s = rand();
   
7. }
   
8. 
   
9. void func(void) {
   
10.     int count;
    
11.     printf("count=%d\n", count);
    
12.     count++;
    
13. }
    
14. 
    
15. int main(void) {
    
16.     int i;
    
17.     for(i = 0; i < 10; i++) {
    
18.         fs();
    
19.         func();
    
20.     }
    
21.     return 0;
    
22. }
    
23. sh-5.1$ gcc -g -Wall -o main main.c
    
24. main.c: In function ‘fs’:
    
25. main.c:5:9: warning: unused variable ‘s’ [-Wunused-variable]
    
26.     5 |     int s = rand();
    
27.       |         ^
    
28. main.c: In function ‘func’:
    
29. main.c:10:5: warning: ‘count’ is used uninitialized [-Wuninitialized]
    
30.    10 |     printf("count=%d\n", count);
    
31.       |     ^~~~~~~~~~~~~~~~~~~~~~~~~~~
    
32. main.c:9:9: note: ‘count’ was declared here
    
33.     9 |     int count;
    
34.       |         ^~~~~
    
35. sh-5.1$ ./main
    
36. count=1804289383
    
37. count=846930886
    
38. count=1681692777
    
39. count=1714636915
    
40. count=1957747793
    
41. count=424238335
    
42. count=719885386
    
43. count=1649760492
    
44. count=596516649
    
45. count=1189641421
    
46. sh-5.1$
    

复制代码

顶级太阳

人造人 发表于 2023-1-3 12:08
编译器有点聪明，他会故意避开count的地址
我试了好多种方法，这样可以修改到count

对于你写的这一段代码，我很不理解，每一次重新调用func函数的时候count应该是作为一个局部变量重新定义，这个时候应该是被置0的呀。
另外在做动动手第一个题目的时候，上面这个奇怪的问题又出现了。

1. #include<stdio.h>
   
2. 
   
3. void func1(void);
   
4. void func2(void);
   
5. char string1,string2;
   
6. int var1,var2;
   
7. 
   
8. int main(void)
   
9. {
   
10.         printf("add of func1:%p\n",&func1);
    
11.         printf("add of func2:%p\n",&func2);
    
12.         printf("add of string1:%p\n",&string1);
    
13.         printf("add of string2:%p\n",&string2);
    
14.         printf("add of global_var1:%p\n",&var1);
    
15.         printf("add of golbal_var2:%p\n",&var2);
    
16.         func1();
    
17.         func2();
    
18. 
    
19. 
    
20. return 0;
    
21. }
    
22. 
    
23. void  func1(void)
    
24. {
    
25. 
    
26.         static int param1,param2;
    
27.         printf("add of func1_param1:%p\n",&param1);
    
28.         printf("add of func1_parma2:%p\n",&param2);
    
29.         static int var1,var2;
    
30.         printf("add of func1_static_var1:%p\n",&var1);
    
31.         printf("add of func1_static_var2:%p\n",&var2);
    
32. 
    
33. }
    
34. void  func2(void)
    
35. {
    
36.         const int param1,param2;
    
37.         printf("add of func2_const_param1:%p\n",&param1);
    
38.         printf("add of func2_const_param2:%p\n",&param2);
    
39.         printf("add of func2_var1:%p\n",&var1);
    
40.         printf("add of func2_var2:%p\n",&var2);
    
41. }
    
42. 
    

复制代码

小甲鱼的例子里，在func1里定义了两个参数param1和param2，查询了地址，在func2里将这两个参数const后，存储地址没有表。而我的代码两次调用后，存储地址改变了。我很纳闷。

人造人

count应该是作为一个局部变量重新定义，这个时候应该是被置0的呀。
局部变量如果你没有主动初始化的话，是不会初始化的

1. #include <stdio.h>
   
2. 
   
3. int main(void) {
   
4.     int a = 3;      // a 初始化成3
   
5.     printf("%d\n", a);
   
6.     int b;          // b 没有初始化，值是随机的，有可能是0，也有可能是其他
   
7.     printf("%d\n", b);
   
8.     return 0;
   
9. }
   

复制代码

顶级太阳

人造人 发表于 2023-1-3 16:38
count应该是作为一个局部变量重新定义，这个时候应该是被置0的呀。
局部变量如果你没有主动初始化的话，是 ...

小甲鱼在s1e33的视频里9:37的时候明确说，变量被定义的时候，如果后面没有给出初始值的话，会被置0.
https://www.bilibili.com/video/BV17s411N78s?p=33&vd_source=41936c8e78c2cb4425915e72a8f708cb

dolly_yos2

顶级太阳 发表于 2023-1-3 16:57
小甲鱼在s1e33的视频里9:37的时候明确说，变量被定义的时候，如果后面没有给出初始值的话，会被置0.
htt ...

我相信原文不是这么说的，或者有上下文。如果我猜错了，那小甲鱼就说错了。看看标准吧， http://www.open-std.org/jtc1/sc22/wg14/www/docs/n3047.pdf 的 6.7.10.11，看看是怎样规定的

人造人

顶级太阳 发表于 2023-1-3 16:57
小甲鱼在s1e33的视频里9:37的时候明确说，变量被定义的时候，如果后面没有给出初始值的话，会被置0.
htt ...

学习就认真一点么
人家说的是静态局部变量，你可以再去听一遍
是加了static的局部变量才初始化成0
就是这样，少上两个字，意思就完全不一样了
少上一个字，其实意思就完全不一样了
例如 ‘不’ 字
局部变量和静态局部变量完全不一样

basketmn

dolly_yos2 发表于 2023-1-3 17:09
我相信原文不是这么说的，或者有上下文。如果我猜错了，那小甲鱼就说错了。看看标准吧， http://www.open ...

大佬，你这些英文资料都是从哪找到？能不能分享下
谢谢

顶级太阳

人造人 发表于 2023-1-3 17:23
学习就认真一点么
人家说的是静态局部变量，你可以再去听一遍
是加了static的局部变量才初始化成0

谢谢，这两节，接触了太多的关键字，对于这些有点乱，我再自己捋一捋。

顶级太阳

dolly_yos2 发表于 2023-1-3 17:09
我相信原文不是这么说的，或者有上下文。如果我猜错了，那小甲鱼就说错了。看看标准吧， http://www.open ...

谢谢您的回复

dolly_yos2

basketmn 发表于 2023-1-3 17:31
大佬，你这些英文资料都是从哪找到？能不能分享下
谢谢

这个资料就是 C 语言的标准（的 working draft），因为 C 语言的特点这应该是（除了正式的标准之外）最权威的 C 语言资料，所以涉及到这种语言本身的细节辨析就应该来这里找答案
直接搜索 C standard 就能找到了，还是很容易的