找回密碼
 立即注冊

QQ登錄

只需一步,快速開始

搜索
查看: 9056|回復(fù): 1
打印 上一主題 下一主題
收起左側(cè)

局部變量內(nèi)存分配解疑

[復(fù)制鏈接]
跳轉(zhuǎn)到指定樓層
樓主
ID:3721 發(fā)表于 2015-1-5 14:23 | 只看該作者 回帖獎勵 |倒序瀏覽 |閱讀模式
     最近在做一個疲勞試驗系統(tǒng),一直在程序執(zhí)行效率上做功夫。也記不清最早是從哪聽說的:定義變量,能定義在函數(shù)內(nèi)絕不定義成全局,能定義在循環(huán)內(nèi)絕不定義成函數(shù)范圍……深以為意!曾經(jīng)犯過一個錯誤,在函數(shù)體內(nèi)定義了一個和全局變量同名的變量,但在修改注釋的時候不小心將這個局部變量的生命給//掉了……編譯無錯,執(zhí)行總是不對,弄了很久才發(fā)現(xiàn)錯誤所在,F(xiàn)在寫程序慎之又慎,盡量不使用全局變量,要使用也用規(guī)范的變量命名方式將全局與局部區(qū)分開。今天讀了篇文章,摘錄如下:

一個由C/C++編譯的程序占用的內(nèi)存分為以下幾個部分
1、棧區(qū)(stack)— 由編譯器自動分配釋放 ,存放函數(shù)的參數(shù)值,局部變量的值等。其操作方式類似于數(shù)據(jù)結(jié)構(gòu)中的棧。
2、堆區(qū)(heap) — 一般由程序員分配釋放, 若程序員不釋放,程序結(jié)束時可能由OS回收 。注意它與數(shù)據(jù)結(jié)構(gòu)中的堆是兩回事,分配方式倒是類似于鏈表,呵呵。
3、全局區(qū)(靜態(tài)區(qū))(static)—,全局變量和靜態(tài)變量的存儲是放在一塊的,初始化的全局變量和靜態(tài)變量在一塊區(qū)域, 未初始化的全局變量和未初始化的靜態(tài)變量在相鄰的另一塊區(qū)域。 - 程序結(jié)束后有系統(tǒng)釋放
4、文字常量區(qū) —常量字符串就是放在這里的。 程序結(jié)束后由系統(tǒng)釋放
5、程序代碼區(qū)—存放函數(shù)體的二進(jìn)制代碼。
一個正常的程序在內(nèi)存中通常分為程序段,數(shù)據(jù)端和堆棧三部分。程序段里放著程序的機器碼和只讀數(shù)據(jù),這個段通常是只讀,對它的寫操作是非法的。數(shù)據(jù)段放的是程序中的靜態(tài)數(shù)據(jù)。動態(tài)數(shù)據(jù)則通過堆棧來存放。在內(nèi)存中,它們的位置如下:
+------------------+ 內(nèi)存低端
| 程序段 |
|------------------|
| 數(shù)據(jù)段 |
|------------------|
| 堆  棧  |
+------------------+ 內(nèi)存高端
堆棧是內(nèi)存中的一個連續(xù)的塊。一個叫堆棧指針的寄存器(SP)指向堆棧的棧頂。堆棧的底部是一個固定地址。堆棧有一個特點就是,后進(jìn)先出。也就是說,后放入的數(shù)據(jù)第一個取出。它支持兩個操作,PUSH和POP。PUSH是將數(shù)據(jù)放到棧的頂端,POP是將棧頂?shù)臄?shù)據(jù)取出。
在高級語言中,程序函數(shù)調(diào)用和函數(shù)中的臨時變量都用到堆棧。為什么呢?因為在調(diào)用一個函數(shù)時,我們需要對當(dāng)前的操作進(jìn)行保護(hù),也為了函數(shù)執(zhí)行后,程序可以正確的找到地方繼續(xù)執(zhí)行,所以參數(shù)的傳遞和返回值也用到了堆棧。通常對局部變量的引用是通過給出它們對SP的偏移量來實現(xiàn)的。另外還有一個基址指針(FP,在Intel芯片中是BP),許多編譯器實際上是用它來引用本地變量和參數(shù)的。通常,參數(shù)的相對FP的偏移是正的,局部變量是負(fù)的。
當(dāng)程序中發(fā)生函數(shù)調(diào)用時,計算機做如下操作:首先把參數(shù)壓入堆棧;然后保存指令寄存器(IP)中的內(nèi)容,做為返回地址(RET);第三個放入堆棧的是基址寄存器(FP);然后把當(dāng)前的棧指針(SP)拷貝到FP,做為新的基地址;最后為本地變量留出一定空間,把SP減去適當(dāng)?shù)臄?shù)值。
在函數(shù)體中定義的變量通常是在棧上,用malloc, calloc, realloc等分配內(nèi)存的函數(shù)分配得到的就是在堆上。在所有函數(shù)體外定義的是全局量,加了static修飾符后不管在哪里都存放在全局區(qū)(靜態(tài)區(qū)),在所有函數(shù)體外定義的static變量表示在該文件中有效,不能extern到別的文件用,在函數(shù)體內(nèi)定義的static表示只在該函數(shù)體內(nèi)有效。另外,函數(shù)中的"adgfdf"這樣的字符串存放在常量區(qū)。
……
    寫得我是心里癢癢啊……太好了!以前我有一個錯誤認(rèn)識,示例:
void    aaa()
{
    int i;
    for ( i = 0; i < 100; ++ i )
    {
        int j;
        j = i;
    }
}

我總以為調(diào)用函數(shù)時 i 聲明并分配內(nèi)存一次,而 j 每循環(huán)一次分配一次內(nèi)存?峙率呛妥兞孔饔糜蚧煜。以前寫程序不用太過關(guān)心效率,聲明在循環(huán)里還是循環(huán)外都不以為意,執(zhí)行起來也無甚差別?涩F(xiàn)在,循環(huán)次數(shù)更加巨大,還要求在極短時間內(nèi)執(zhí)行完畢……我有點慌咯,我的局部變量假如還不是系統(tǒng)變量類型而是我自己聲明的類……那光構(gòu)造和析構(gòu)都要人老命了……我到底是不是庸人自擾呢?
寫程序試試吧……
.h
class TForm1
{
public:  
    void    aaa();
};

.cpp
void    TForm1::aaa()
{
    int i = 0;
    for ( i; i < 100; ++ i )
    {
        int j;
        j = i;
    }
}

主函數(shù)省略,也就是調(diào)用aaa()。然后第一次主動打開CPU觀察器……居然是第一次,寫了快4年程序的第一次!我想被人知道我得被鄙視個半死……幸好以前8086匯編學(xué)得還行,單片機也一直堅持用匯編編程,有這些基礎(chǔ),看起來也不是很難:


感謝上面說的那篇“神作”!可愛的 add esp,-0x08 原來一早就分配好區(qū)域了……[ ebp-0x04 ]就是i,[ ebp-0x08 ]就是j。感謝偉大的編譯器幫我們干完這些……看來我是杞人憂天了。

以前一直以為變量的內(nèi)存分配就是“new”一塊內(nèi)存……大錯特錯啊……棧區(qū)就擺在那,局部變量若直接聲明,分配個P內(nèi)存。但也由于棧區(qū)大小有限制,所以終于明白了一句話:優(yōu)先用vector管理數(shù)組,堆是不限制咱的,vector本身就是幾個指針而已。于是又明白了一點……以前在函數(shù)內(nèi)建一個超大數(shù)組編譯出錯,不是內(nèi)存不夠,是棧區(qū)限制,以前還以為這是數(shù)組本身的特性所致。
    以前夜郎自大了……還是虛心學(xué)習(xí)吧……

分享到:  QQ好友和群QQ好友和群 QQ空間QQ空間 騰訊微博騰訊微博 騰訊朋友騰訊朋友
收藏收藏1 分享淘帖 頂 踩
回復(fù)

使用道具 舉報

沙發(fā)
ID:79197 發(fā)表于 2015-5-8 11:02 | 只看該作者
好貼,mark一下,以后繼續(xù)學(xué)習(xí)
回復(fù)

使用道具 舉報

您需要登錄后才可以回帖 登錄 | 立即注冊

本版積分規(guī)則

手機版|小黑屋|51黑電子論壇 |51黑電子論壇6群 QQ 管理員QQ:125739409;技術(shù)交流QQ群281945664

Powered by 單片機教程網(wǎng)

快速回復(fù) 返回頂部 返回列表