第七章 变量的位置

本文介绍C/C++中变量存储的位置:包括 全局变量,静态局部变量,堆变量

#include<stdio.h>
int g_variable1 = 12345;
int g_variable2 = 45678;

int main()
{
	int one =1,two =2;
	scanf("%d,%d",&one,&two);
	printf("%d,%d\n",one,two);
	scanf("%d,%d",&g_variable1,&g_variable2);
	printf("%d,%d\n",g_variable1,g_variable2);
	return 0;
}

编译后的汇编代码

_DATA	SEGMENT
_g_variable1 DD	03039H
_g_variable2 DD	0b26eH
_DATA	ENDS

由上一部分可知 全局变量在data段中


CONST	SEGMENT
??_C@_05BBIB@?$CFd?0?$CFd?$AA@ DB '%d,%d', 00H		; `string'
CONST	ENDS
;	COMDAT ??_C@_06JDIH@?$CFd?0?$CFd?6?$AA@
CONST	SEGMENT
??_C@_06JDIH@?$CFd?0?$CFd?6?$AA@ DB '%d,%d', 0aH, 00H	; `string'
CONST	ENDS
;	COMDAT _main
_TEXT	SEGMENT
_one$ = -4
_two$ = -8
_main	PROC NEAR					; COMDAT

; 6    : {

	push	ebp
	mov	ebp, esp
	sub	esp, 72					; 00000048H
	push	ebx
	push	esi
	push	edi
	lea	edi, DWORD PTR [ebp-72]
	mov	ecx, 18					; 00000012H
	mov	eax, -858993460				; ccccccccH
	rep stosd

; 7    : 	int one =1,two =2;

	mov	DWORD PTR _one$[ebp], 1         ;这里存one
	mov	DWORD PTR _two$[ebp], 2         ;这里存two
; 8    : 	scanf("%d,%d",&one,&two);

	lea	eax, DWORD PTR _two$[ebp]
	push	eax
	lea	ecx, DWORD PTR _one$[ebp]
	push	ecx
	push	OFFSET FLAT:??_C@_05BBIB@?$CFd?0?$CFd?$AA@ ; `string'
	call	_scanf
	add	esp, 12					; 0000000cH

; 9    : 	printf("%d,%d\n",one,two);

	mov	edx, DWORD PTR _two$[ebp]
	push	edx
	mov	eax, DWORD PTR _one$[ebp]
	push	eax
	push	OFFSET FLAT:??_C@_06JDIH@?$CFd?0?$CFd?6?$AA@ ; `string'
	call	_printf
	add	esp, 12					; 0000000cH

; 10   : 	scanf("%d,%d",&g_variable1,&g_variable2);

	push	OFFSET FLAT:_g_variable2
	push	OFFSET FLAT:_g_variable1
	push	OFFSET FLAT:??_C@_05BBIB@?$CFd?0?$CFd?$AA@ ; `string'
	call	_scanf
	add	esp, 12					; 0000000cH

; 11   : 	printf("%d,%d\n",g_variable1,g_variable2);

	mov	ecx, DWORD PTR _g_variable2
	push	ecx
	mov	edx, DWORD PTR _g_variable1
	push	edx
	push	OFFSET FLAT:??_C@_06JDIH@?$CFd?0?$CFd?6?$AA@ ; `string'
	call	_printf
	add	esp, 12					; 0000000cH

由上代码发现:全局变量在数据区,生命周期与模块一致,使用立即数访问;

局部变量在栈区,使用ebp或esp访问(优化后会使用esp访问)


问题:关于局部静态变量:存储位置?初始化方式?

C语言中是不允许对局部静态变量用非常量赋初值的,C++中允许使用


#include<iostream>
void func(int a)
{
        static int b = a;
}
int main()
{
        int a;
        func(a);
        return 0;
}


以下是func中对应的汇编实现


; 4    :         static int b = a;

	xor	eax, eax
	mov	al, BYTE PTR _?$S25@?1??func@@YAXH@Z@4EA
	and	eax, 1	 //eax 与1 做位与运算,
	test	eax, eax
	jne	SHORT $L7353	//测试,不等跳转
	mov	cl, BYTE PTR _?$S25@?1??func@@YAXH@Z@4EA
	or	cl, 1
	mov	BYTE PTR _?$S25@?1??func@@YAXH@Z@4EA, cl   //将 那个地址赋1
	mov	edx, DWORD PTR _a$[ebp]			
	mov	DWORD PTR _?b@?1??func@@YAXH@Z@4HA, edx    //对 b 赋值
$L7353:
; 5    : }




由上可知,比较的标志位是用来让static变量初始化一次的,如果该位为1 ,则说明已经初始化,不需要再初始化。


关于堆变量:数据在new或malloc时,返回数据在堆中的地址,具体读者请自行实验。


评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值