[問題] 區域變數是如何存在記憶體上的?
感覺C點比較弱,可能和ASM比較有關系,但這裡人多,就發在這了:p
如題
小弟最近在寫一個簡單的C編譯器,但對於區域變數是如何放在堆疊上的有些迷惑
例如
int main()
{
int a = 111;
if(a)
int b = 222;
int c = 333;
return 0;
}
一開始我是想說,編譯器是在要使用時才把變數push到堆疊上的
像是遇到a = 111,就在堆疊上push一個111,然後只有if成立時才把222 push到堆疊上,
反之則跳過
可是看了好幾個組合語言的範例(x86 Arm),好像會先計算在這函數中所有可能會用到變
數大小然後一次性push到堆疊上
例如剛剛的C程式,如果if成立會有a、b、c三個int,不成立會有a、c兩個int
而看到的實作則是不管有沒有b都先分配空間給他
但以C來說,在if內宣告的變數,他的生命週期應該就只在if內,但如果以這樣的實作,
在if內的變數,只要知道他的記憶體位置,就算在if外也能存取(因為有事先分配空間,
而且沒有回收),不太理解為什麼要這麼做
有沒有相關資料是講這方面細節的,謝謝
(寫完後發現C點真的好少.....會不會被刪阿orz....)
--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 125.224.234.183 (臺灣)
※ 文章網址: https://www.ptt.cc/bbs/C_and_CPP/M.1575795040.A.65E.html
推
12/08 17:16,
4年前
, 1F
12/08 17:16, 1F
→
12/08 17:16,
4年前
, 2F
12/08 17:16, 2F
推
12/08 17:19,
4年前
, 3F
12/08 17:19, 3F
推
12/08 17:20,
4年前
, 4F
12/08 17:20, 4F
→
12/08 17:20,
4年前
, 5F
12/08 17:20, 5F
→
12/08 17:20,
4年前
, 6F
12/08 17:20, 6F
→
12/08 17:20,
4年前
, 7F
12/08 17:20, 7F
→
12/08 17:20,
4年前
, 8F
12/08 17:20, 8F
我自己猜想也是為了效能,但很好奇相關細節
因為直覺來想,如果是用到時再分配空間,那只需要讀一次AST
如果是先分配,那就要讀兩次,一次確定空間,另一次產生組合語言
然後現在在想用哪種方式實作比較好,所以想知道來龍去脈
→
12/08 18:18,
4年前
, 9F
12/08 18:18, 9F
→
12/08 18:18,
4年前
, 10F
12/08 18:18, 10F
→
12/08 18:18,
4年前
, 11F
12/08 18:18, 11F
我一開始以為register archure的stack也承擔計算的功能,可是後來發現他只負責分配
空間和function call
推
12/08 19:31,
4年前
, 12F
12/08 19:31, 12F
→
12/08 19:31,
4年前
, 13F
12/08 19:31, 13F
→
12/08 19:32,
4年前
, 14F
12/08 19:32, 14F
→
12/08 19:33,
4年前
, 15F
12/08 19:33, 15F
推
12/08 19:35,
4年前
, 16F
12/08 19:35, 16F
我是用-O0測試的然後如果程式裡沒有call function,分配就比較隨意(有變數再加一個偏
移)
如果有call,就會在function的開頭先分配所有空間,然後不確定這是不是最佳化
※ 編輯: wei115 (125.224.234.183 臺灣), 12/08/2019 19:56:47
推
12/09 09:06,
4年前
, 17F
12/09 09:06, 17F
→
12/09 09:07,
4年前
, 18F
12/09 09:07, 18F
→
12/09 09:07,
4年前
, 19F
12/09 09:07, 19F
→
12/09 09:10,
4年前
, 20F
12/09 09:10, 20F
→
12/09 09:11,
4年前
, 21F
12/09 09:11, 21F
推
12/09 09:14,
4年前
, 22F
12/09 09:14, 22F
嗯嗯,了解
我知道這是未定義行為,編譯器隨時可能最佳化掉這些行為
但對具體是依據怎樣的標準去產生組合語言不太了解
我的理解是編譯器後端一邊遍歷AST一邊根據當下的語句去產生對應的組合語言
但遇到語句時要產生怎樣的組合語言並不清楚
目前是看gcc產生的組合語言學習
但不知道為什麼要這樣產生
→
12/09 10:13,
4年前
, 23F
12/09 10:13, 23F
→
12/09 12:06,
4年前
, 24F
12/09 12:06, 24F
是自修沒錯
但目前看到的書沒有很具體講一個編譯器要怎麼寫
目前是邊看資料,邊讀jserv的MazuCC的原始碼學習
※ 編輯: wei115 (120.109.130.64 臺灣), 12/09/2019 14:40:58
推
12/24 03:57,
4年前
, 25F
12/24 03:57, 25F
→
12/24 03:58,
4年前
, 26F
12/24 03:58, 26F
→
12/24 04:00,
4年前
, 27F
12/24 04:00, 27F