初始化静态变量只能是固定表达式实际我验证用变量初始化也可以-CSDN论坛

⋅重复的生活的留言板 ⋅python - django 中使用原生mysql进行查询如何减少连接次数 ⋅python中的beautifulSoup 直接用 bs.title就可以调用函数 更多帖子 关注私信空间博客 重复的生活 本版专家分：2 版主 结帖率 57.89%: int y=20;
static int k1=y*20;

cout<<"k1 "<<k1<<endl;

居然可以输出400，求解
按照常理，静态变量在程序运行前已经开辟了空间，并存了值。初始化的时候y的值还不知道呢

0 2014-08-29 17:39:19

回复数 14 只看楼主引用举报楼主

⋅XXX公司的职级和薪资 ⋅【大宝】这么积极找存在感，怎么就没人开个砖厂呢 ⋅求日语高手帮翻译 更多帖子 关注私信空间博客 熊熊大叔 本版专家分：8180 蓝花 2014年9月 C/C++大版内专家分月排行榜第三: 你说的是c的初始化。 c++的初始化不一定是在编译时完成的，可以在运行中动态初始化。

0 2014-08-29 17:51:59

只看TA 引用举报 #1 得分 0

⋅上海不是实行垃圾分类了吗？ ⋅自动驾驶汽车上路之前，先完善对应的交通事故处理的法律法规再说。 ⋅VC/MFC和VB6拒绝我回帖了！ 更多帖子 关注私信空间博客 赵4老师 本版专家分：382267 状元 2017年总版技术专家分年内排行榜第一 榜眼 2014年总版技术专家分年内排行榜第二 探花 2013年总版技术专家分年内排行榜第三 进士 2018年总版新获得的技术专家分排名前十 2012年总版技术专家分年内排行榜第七: “变量赋值”和“变量初始化”不是一回事！
“变量赋值”发生在运行期，其写法遵循赋值语法规定。
“变量初始化”发生在编译期或运行期，其写法遵循初始化列表语法规定。

0 2014-08-29 18:05:05

只看TA 引用举报 #2 得分 0

⋅关于lib的全局变量. ⋅关于foreach的诡异问题。 ⋅关于编译lemur的问题，不知道在这里问是否合适。 更多帖子 关注私信空间博客 wanght99 本版专家分：734

看了一下你这个问题, 其实是编译器作了一个处理,
我在gcc下编译, 用nm查看符号看到

$nm a.out |c++filt|grep k1
00000000006013e0 b guard variable for func1()::k1
00000000006013e8 b func1()::k1

b表示k1在bss段, 也就是"未初始化变量", 也就是说, 最后可执行文件里这是一个未初始化变量.
上面那个guard variable是编译器生成的辅助变量.

再看反汇编的函数代码:



0000000000000000 <_Z5func1v>:

   0:	55                   	push   %rbp

   1:	48 89 e5             	mov    %rsp,%rbp

   4:	53                   	push   %rbx

   5:	48 83 ec 18          	sub    $0x18,%rsp

   9:	c7 45 ec 14 00 00 00 	movl   $0x14,-0x14(%rbp)

  10:	b8 00 00 00 00       	mov    $0x0,%eax

  15:	0f b6 00             	movzbl (%rax),%eax

  18:	84 c0                	test   %al,%al

  1a:	75 30                	jne    4c <_Z5func1v+0x4c>

  1c:	bf 00 00 00 00       	mov    $0x0,%edi

  21:	e8 00 00 00 00       	callq  26 <_Z5func1v+0x26>

  26:	85 c0                	test   %eax,%eax

  28:	0f 95 c0             	setne  %al

  2b:	84 c0                	test   %al,%al

  2d:	74 1d                	je     4c <_Z5func1v+0x4c>

  2f:	8b 55 ec             	mov    -0x14(%rbp),%edx

  32:	89 d0                	mov    %edx,%eax

  34:	c1 e0 02             	shl    $0x2,%eax

  37:	01 d0                	add    %edx,%eax

  39:	c1 e0 02             	shl    $0x2,%eax

  3c:	89 05 00 00 00 00    	mov    %eax,0x0(%rip)        # 42 <_Z5func1v+0x42>

  42:	bf 00 00 00 00       	mov    $0x0,%edi

  47:	e8 00 00 00 00       	callq  4c <_Z5func1v+0x4c>

  4c:	8b 1d 00 00 00 00    	mov    0x0(%rip),%ebx        # 52 <_Z5func1v+0x52>

  52:	be 00 00 00 00       	mov    $0x0,%esi

  57:	bf 00 00 00 00       	mov    $0x0,%edi

  5c:	e8 00 00 00 00       	callq  61 <_Z5func1v+0x61>

  61:	89 de                	mov    %ebx,%esi

  63:	48 89 c7             	mov    %rax,%rdi

  66:	e8 00 00 00 00       	callq  6b <_Z5func1v+0x6b>

  6b:	be 00 00 00 00       	mov    $0x0,%esi

  70:	48 89 c7             	mov    %rax,%rdi

  73:	e8 00 00 00 00       	callq  78 <_Z5func1v+0x78>

  78:	48 83 c4 18          	add    $0x18,%rsp

  7c:	5b                   	pop    %rbx

  7d:	5d                   	pop    %rbp

  7e:	c3                   	retq

注意2b那一行的test和后面的jne, 这是一个条件跳转,

它是通过一个辅助变量, 来指示是不是第一次进入这个函数, 如果是第一次, 就对k1变量进行赋值, 如果不是,就不管.

0 2014-08-29 19:01:56

只看TA 引用举报 #3 得分 0

⋅《C++程序设计原理与实践》书评 ⋅《C++程序设计原理与实践》已收到，散分。 ⋅散分：C++的学习 更多帖子 关注私信空间博客 taodm 本版专家分：77427 黄花 2007年4月 C/C++大版内专家分月排行榜第二 2007年3月 C/C++大版内专家分月排行榜第二 2007年2月 C/C++大版内专家分月排行榜第二 2007年1月 C/C++大版内专家分月排行榜第二 2006年12月 C/C++大版内专家分月排行榜第二 蓝花 2007年9月 C/C++大版内专家分月排行榜第三 2007年8月 C/C++大版内专家分月排行榜第三 2006年11月 C/C++大版内专家分月排行榜第三: 请多试几个编译器。

0 2014-08-29 20:20:03

只看TA 引用举报 #4 得分 0

⋅关于lib的全局变量. ⋅关于foreach的诡异问题。 ⋅关于编译lemur的问题，不知道在这里问是否合适。 更多帖子 关注私信空间博客 wanght99 本版专家分：734

引用 3 楼 wanght99 的回复:

看了一下你这个问题, 其实是编译器作了一个处理,
我在gcc下编译, 用nm查看符号看到

$nm a.out |c++filt|grep k1
00000000006013e0 b guard variable for func1()::k1
00000000006013e8 b func1()::k1

b表示k1在bss段, 也就是"未初始化变量", 也就是说, 最后可执行文件里这是一个未初始化变量.
上面那个guard variable是编译器生成的辅助变量.

再看反汇编的函数代码:



0000000000000000 <_Z5func1v>:

   0:	55                   	push   %rbp

   1:	48 89 e5             	mov    %rsp,%rbp

   4:	53                   	push   %rbx

   5:	48 83 ec 18          	sub    $0x18,%rsp

   9:	c7 45 ec 14 00 00 00 	movl   $0x14,-0x14(%rbp)

  10:	b8 00 00 00 00       	mov    $0x0,%eax

  15:	0f b6 00             	movzbl (%rax),%eax

  18:	84 c0                	test   %al,%al

  1a:	75 30                	jne    4c <_Z5func1v+0x4c>

  1c:	bf 00 00 00 00       	mov    $0x0,%edi

  21:	e8 00 00 00 00       	callq  26 <_Z5func1v+0x26>

  26:	85 c0                	test   %eax,%eax

  28:	0f 95 c0             	setne  %al

  2b:	84 c0                	test   %al,%al

  2d:	74 1d                	je     4c <_Z5func1v+0x4c>

  2f:	8b 55 ec             	mov    -0x14(%rbp),%edx

  32:	89 d0                	mov    %edx,%eax

  34:	c1 e0 02             	shl    $0x2,%eax

  37:	01 d0                	add    %edx,%eax

  39:	c1 e0 02             	shl    $0x2,%eax

  3c:	89 05 00 00 00 00    	mov    %eax,0x0(%rip)        # 42 <_Z5func1v+0x42>

  42:	bf 00 00 00 00       	mov    $0x0,%edi

  47:	e8 00 00 00 00       	callq  4c <_Z5func1v+0x4c>

  4c:	8b 1d 00 00 00 00    	mov    0x0(%rip),%ebx        # 52 <_Z5func1v+0x52>

  52:	be 00 00 00 00       	mov    $0x0,%esi

  57:	bf 00 00 00 00       	mov    $0x0,%edi

  5c:	e8 00 00 00 00       	callq  61 <_Z5func1v+0x61>

  61:	89 de                	mov    %ebx,%esi

  63:	48 89 c7             	mov    %rax,%rdi

  66:	e8 00 00 00 00       	callq  6b <_Z5func1v+0x6b>

  6b:	be 00 00 00 00       	mov    $0x0,%esi

  70:	48 89 c7             	mov    %rax,%rdi

  73:	e8 00 00 00 00       	callq  78 <_Z5func1v+0x78>

  78:	48 83 c4 18          	add    $0x18,%rsp

  7c:	5b                   	pop    %rbx

  7d:	5d                   	pop    %rbp

  7e:	c3                   	retq

注意2b那一行的test和后面的jne, 这是一个条件跳转,

它是通过一个辅助变量, 来指示是不是第一次进入这个函数, 如果是第一次, 就对k1变量进行赋值, 如果不是,就不管.

sorry, 应该是18行的, 总之就是另分了一个变量来记录是不是第一次调用该函数, 这样实际上是模拟出了一个静态变量初始化.

0 2014-08-30 00:09:07

只看TA 引用举报 #5 得分 0

⋅xml解析的问题 ⋅请问我的是win10系统，安装了个mssql数据库，用的系统帐号是Test,后来我删除了，用Administrator进去，数据库就死活进不去了 ⋅排列，冒泡，全组合 更多帖子 关注私信空间博客 Wesley88888 本版专家分：4571 版主: 静态变量一次定义的地方，执行一次，下一次执行的时候直接跳过，因为已经在内存中了
你这里感觉是有编译优化了
int y=20
下一句就是static
编译的时候看到y没变化，那么就直接算出400变成一个立即数

0 2014-08-30 07:33:10

只看TA 引用举报 #6 得分 0

⋅重复的生活的留言板 ⋅python - django 中使用原生mysql进行查询如何减少连接次数 ⋅python中的beautifulSoup 直接用 bs.title就可以调用函数 更多帖子 关注私信空间博客 重复的生活 本版专家分：2 版主

引用 5 楼 wanght99 的回复:

Quote: 引用 3 楼 wanght99 的回复:

看了一下你这个问题, 其实是编译器作了一个处理,
我在gcc下编译, 用nm查看符号看到

$nm a.out |c++filt|grep k1
00000000006013e0 b guard variable for func1()::k1
00000000006013e8 b func1()::k1

b表示k1在bss段, 也就是"未初始化变量", 也就是说, 最后可执行文件里这是一个未初始化变量.
上面那个guard variable是编译器生成的辅助变量.

再看反汇编的函数代码:



0000000000000000 <_Z5func1v>:

   0:	55                   	push   %rbp

   1:	48 89 e5             	mov    %rsp,%rbp

   4:	53                   	push   %rbx

   5:	48 83 ec 18          	sub    $0x18,%rsp

   9:	c7 45 ec 14 00 00 00 	movl   $0x14,-0x14(%rbp)

  10:	b8 00 00 00 00       	mov    $0x0,%eax

  15:	0f b6 00             	movzbl (%rax),%eax

  18:	84 c0                	test   %al,%al

  1a:	75 30                	jne    4c <_Z5func1v+0x4c>

  1c:	bf 00 00 00 00       	mov    $0x0,%edi

  21:	e8 00 00 00 00       	callq  26 <_Z5func1v+0x26>

  26:	85 c0                	test   %eax,%eax

  28:	0f 95 c0             	setne  %al

  2b:	84 c0                	test   %al,%al

  2d:	74 1d                	je     4c <_Z5func1v+0x4c>

  2f:	8b 55 ec             	mov    -0x14(%rbp),%edx

  32:	89 d0                	mov    %edx,%eax

  34:	c1 e0 02             	shl    $0x2,%eax

  37:	01 d0                	add    %edx,%eax

  39:	c1 e0 02             	shl    $0x2,%eax

  3c:	89 05 00 00 00 00    	mov    %eax,0x0(%rip)        # 42 <_Z5func1v+0x42>

  42:	bf 00 00 00 00       	mov    $0x0,%edi

  47:	e8 00 00 00 00       	callq  4c <_Z5func1v+0x4c>

  4c:	8b 1d 00 00 00 00    	mov    0x0(%rip),%ebx        # 52 <_Z5func1v+0x52>

  52:	be 00 00 00 00       	mov    $0x0,%esi

  57:	bf 00 00 00 00       	mov    $0x0,%edi

  5c:	e8 00 00 00 00       	callq  61 <_Z5func1v+0x61>

  61:	89 de                	mov    %ebx,%esi

  63:	48 89 c7             	mov    %rax,%rdi

  66:	e8 00 00 00 00       	callq  6b <_Z5func1v+0x6b>

  6b:	be 00 00 00 00       	mov    $0x0,%esi

  70:	48 89 c7             	mov    %rax,%rdi

  73:	e8 00 00 00 00       	callq  78 <_Z5func1v+0x78>

  78:	48 83 c4 18          	add    $0x18,%rsp

  7c:	5b                   	pop    %rbx

  7d:	5d                   	pop    %rbp

  7e:	c3                   	retq

注意2b那一行的test和后面的jne, 这是一个条件跳转,

它是通过一个辅助变量, 来指示是不是第一次进入这个函数, 如果是第一次, 就对k1变量进行赋值, 如果不是,就不管.

sorry, 应该是18行的, 总之就是另分了一个变量来记录是不是第一次调用该函数, 这样实际上是模拟出了一个静态变量初始化.

我等要膜拜吃大神

0 2014-08-31 00:04:46

只看TA 引用举报 #7 得分 0

⋅求适用于linux boost下多线程的代码覆盖率测试工具 ⋅追加分数，小当家进！ ⋅事务型的表和非事务型的表区别在哪？ 更多帖子 关注私信空间博客 derekrose 本版专家分：9703 蓝花 2014年1月 C/C++大版内专家分月排行榜第三: 请多试试几个编译器

0 2014-08-31 00:30:51

只看TA 引用举报 #8 得分 0

⋅xml解析的问题 ⋅请问我的是win10系统，安装了个mssql数据库，用的系统帐号是Test,后来我删除了，用Administrator进去，数据库就死活进不去了 ⋅排列，冒泡，全组合 更多帖子 关注私信空间博客 Wesley88888 本版专家分：4571 版主

代码稍加修改,便可看本质



#include "iostream"

using namespace std;

void main()

{

	int y=20;



	for (int i=0;i<2;i++)

	{

		static int k1=y*20;

		k1++;

		cout<<"k1 "<<k1<<endl;



	}

	

	system("pause");

}



#include "iostream"

using namespace std;

void main()

{

0041C220  push        ebp  

0041C221  mov         ebp,esp 

0041C223  sub         esp,0D8h 

0041C229  push        ebx  

0041C22A  push        esi  

0041C22B  push        edi  

0041C22C  lea         edi,[ebp-0D8h] 

0041C232  mov         ecx,36h 

0041C237  mov         eax,0CCCCCCCCh 

0041C23C  rep stos    dword ptr [edi] 

	int y=20;

0041C23E  mov         dword ptr [y],14h 



	for (int i=0;i<2;i++)

0041C245  mov         dword ptr [i],0 

0041C24C  jmp         main+37h (41C257h) 

0041C24E  mov         eax,dword ptr [i] 

0041C251  add         eax,1 

0041C254  mov         dword ptr [i],eax 

0041C257  cmp         dword ptr [i],2 

0041C25B  jge         main+99h (41C2B9h) 

	{

		static int k1=y*20;

0041C25D  mov         eax,dword ptr [$S1 (459604h)] 

0041C262  and         eax,1 

0041C265  jne         main+5Fh (41C27Fh) 

0041C267  mov         eax,dword ptr [$S1 (459604h)] 

0041C26C  or          eax,1 

0041C26F  mov         dword ptr [$S1 (459604h)],eax 

0041C274  mov         eax,dword ptr [y] 

0041C277  imul        eax,eax,14h 

0041C27A  mov         dword ptr [k1 (459600h)],eax 

		k1++;

0041C27F  mov         eax,dword ptr [k1 (459600h)] 

0041C284  add         eax,1 

0041C287  mov         dword ptr [k1 (459600h)],eax 

		cout<<"k1 "<<k1<<endl;

0041C28C  push        offset std::endl (41A4D3h) 

0041C291  mov         eax,dword ptr [k1 (459600h)] 

0041C296  push        eax  

0041C297  push        offset string "k1 " (4500D0h) 

0041C29C  push        offset std::cout (459690h) 

0041C2A1  call        std::operator<<<std::char_traits<char> > (41AAB9h) 

0041C2A6  add         esp,8 

0041C2A9  mov         ecx,eax 

0041C2AB  call        std::basic_ostream<char,std::char_traits<char> >::operator<< (41A5F5h) 

0041C2B0  mov         ecx,eax 

0041C2B2  call        std::basic_ostream<char,std::char_traits<char> >::operator<< (41AAE6h) 



	}

0041C2B7  jmp         main+2Eh (41C24Eh) 

	

	system("pause");

0041C2B9  push        offset string "pause" (4500C8h) 

0041C2BE  call        @ILT+1780(_system) (41A6F9h) 

0041C2C3  add         esp,4 

}



关键看这三句汇编

0041C262  and         eax,1 

0041C265  jne         main+5Fh (41C27Fh) 

0041C267  mov         eax,dword ptr [$S1 (459604h)] 



第一次执行，ZF=1  即标志位的第七位，所以不跳转

EFL = 00000246 

1001000110

ZF=1



第二次执行，ZF=0  直接挑战执行 k1++

EFL = 00000202 

1000000010

ZF=0



459600h是K1的地址

0 2014-08-31 07:05:49

只看TA 引用举报 #9 得分 0

⋅Activex 插件注册成功但IE加载项中没有 ⋅调用update或者repaint后没有paintEvent事件产生 ⋅QT编写的ActiveX控件设置鼠标光标IE10中无效 更多帖子 关注私信空间博客 xiaohuh421 本版专家分：14663: int y=20;
static int k1=y*20;

cout<<"k1 "<<k1<<endl;

你这段代码是写在main里面的吧.
静态变量是要看放在什么地方的.

你说的运行前开劈空间, 那是全局的静态变量.在所有函数体外定义的static变量.
而你在main函数中的, 则是第一次使用才分配空间并初始化,也就是运行时的. 所以输出400并不奇怪.

0 2014-08-31 09:37:57

只看TA 引用举报 #10 得分 0

⋅ios的fopen,fwrite,fclose三个函数太慢 ⋅追了几年的妹子，现在牵手了，发觉不是那么喜欢这种类型的 ⋅为什么推送每日一课给我？ 更多帖子 关注私信空间博客 勤奋的小游侠 本版专家分：15547 黄花 2014年11月 C/C++大版内专家分月排行榜第二 2014年10月 C/C++大版内专家分月排行榜第二 2014年8月 C/C++大版内专家分月排行榜第二: 既然是变量，自然是可以变的。
又不是常量。

0 2014-08-31 09:46:23

只看TA 引用举报 #11 得分 0

⋅ios的fopen,fwrite,fclose三个函数太慢 ⋅追了几年的妹子，现在牵手了，发觉不是那么喜欢这种类型的 ⋅为什么推送每日一课给我？ 更多帖子 关注私信空间博客 勤奋的小游侠 本版专家分：15547 黄花 2014年11月 C/C++大版内专家分月排行榜第二 2014年10月 C/C++大版内专家分月排行榜第二 2014年8月 C/C++大版内专家分月排行榜第二: 楼主是不是没有搞清楚const和static的中文翻译意思？

0 2014-08-31 09:51:36

只看TA 引用举报 #12 得分 0

⋅重复的生活的留言板 ⋅python - django 中使用原生mysql进行查询如何减少连接次数 ⋅python中的beautifulSoup 直接用 bs.title就可以调用函数 更多帖子 关注私信空间博客 重复的生活 本版专家分：2 版主: 引用 11 楼 lovesmiles 的回复:
既然是变量，自然是可以变的。
又不是常量。

我是说可以改变，只是纠结于static应该先于y就开辟空间了。现在大概也懂了。

即使刚开始k的值不明，后来y有了值之后，就重新修改了k的值。

0 2015-11-22 10:07:36

只看TA 引用举报 #13 得分 0

⋅此用户还没有发表过任何帖子 关注私信空间博客 fefe82 本版专家分：15030 黄花 2015年10月 C/C++大版内专家分月排行榜第二 蓝花 2015年12月 C/C++大版内专家分月排行榜第三 2015年11月 C/C++大版内专家分月排行榜第三: c++14 draft n4296

6.7 Declaration statement
4 The zero-initialization (8.5) of all block-scope variables with static storage duration (3.7.1) or thread storage
duration (3.7.2) is performed before any other initialization takes place. Constant initialization (3.6.2) of a
block-scope entity with static storage duration, if applicable, is performed before its block is first entered.
An implementation is permitted to perform early initialization of other block-scope variables with static or
thread storage duration under the same conditions that an implementation is permitted to statically initialize
a variable with static or thread storage duration in namespace scope (3.6.2). Otherwise such a variable is
initialized the first time control passes through its declaration; such a variable is considered initialized upon
the completion of its initialization. If the initialization exits by throwing an exception, the initialization
is not complete, so it will be tried again the next time control enters the declaration. If control enters
the declaration concurrently while the variable is being initialized, the concurrent execution shall wait for
completion of the initialization.92 If control re-enters the declaration recursively while the variable is being
initialized, the behavior is undefined.

局部静态变量的初始化可以发生在程序运行第一次经过变量定义的时候。
可以使用常量或者表达式等。

0 2015-11-22 10:34:13

只看TA 引用举报 #14 得分 0

初始化静态变量只能是固定表达式 实际我验证用变量初始化也可以 [问题点数：40分]

初始化静态变量只能是固定表达式实际我验证用变量初始化也可以 [问题点数：40分]