編譯程序時在符號表中查找符號

⑴ C語言程序編譯後產生哪些類型的文件這些文件的作用是什麼

1、以GCC編譯器為例，可以分為四步。
第一步是預處理，包括語法檢查等工作。
gcc
-P
abc.c
第二步由源程序生產匯編語言代碼。
gcc
-S
abc.c
會生成abc.s文件，這個文件里就是匯編代碼。
第三步編譯器生成目標代碼，一個源文件生成一個目標代碼。
gcc
-c
abc.c
會生成abc.o
第四步連接器從目標代碼生成可執行文件。
gcc
abc.o
2、目標代碼包括機器碼和符號表（函數及變數名）。連接器的主要作用是通過符號表在庫文件和其他模塊中找到在目標代碼中引入或未定義的符號（函數及變數名），將幾個目標代碼合成可執行文件。

⑵ 什麼是符號表 符號表有哪些重要作用

符號表是一種用於語言翻譯器（例如編譯器和解釋器）中的數據結構。在符號表中，程序源代碼中的每個標識符都和它的聲明或使用信息綁定在一起，比如其數據類型、作用域以及內存地址。

符號表的作用：符號表在編譯程序工作的過程中需要不斷收集、記錄和使用源程序中一些語法符號的類型和特徵等相關信息。這些信息一般以表格形式存儲於系統中。

如常數表、變數名表、數組名表、過程名表、標號表等等，統稱為符號表。對於符號表組織、構造和管理方法的好壞會直接影響編譯系統的運行效率。

(2)編譯程序時在符號表中查找符號擴展閱讀

編譯程序按名字的不同種屬分別使用許多符號表，如常熟表。變數名表過程名表函數入口名表。符號表的關鍵字域（段）就是符號名稱等長關鍵字域（段）符號表。

不等長關鍵欄位符號表，採用關鍵字詞的索引結構。關鍵字在符號表的查找中相當重要hash函數構造方法就是以取關鍵字的值不同區分，如直接定址伐數字分析法折疊法。

⑶ 編譯原理對符號表進行操作有哪些

//----------------------------符號表---------------------------------------
//預定義
struct snode;
struct stable;
//符號表結點
struct snode
{
string text; //符號名稱
string type; //符號類型
union {int ival;double rval;}value; //值------------
int offset; //偏移量
snode *nextn; //指向下一個節點
stable *header; //指向下屬符號表的表頭
};
//符號表表頭
struct stable
{
stable *previous; //指向先前創建的符號表表頭
snode *firstnode; //指向第一個結點
stable *ifnoelements;//如果此表為空，則用它指向下一個表頭
};

//當前表頭
stable *currtab;
//建立新表，返回表頭指針
//參數：當前的節點的表頭
stable *mktable(stable *previous)
{
stable *newtable =new stable;
newtable->previous=previous;
newtable->ifnoelements=0;
newtable->firstnode=0;
if(previous->firstnode==0)
{
previous->ifnoelements=newtable;
}
else
{
snode* ininode=previous->firstnode;
while(ininode->nextn!=0)
{
ininode=ininode->nextn;
}
ininode->header=newtable;
}

currtab=newtable;
return newtable;
}
//在node指向的符號表中為text建立一個新表項，返回新建立的結點
//參數：node為當前的節點的表頭，text名稱，type類型，offset偏移
snode *enter(stable *table,string text,string type,int offset,double value)
{

//創建節點
snode *newnode = new snode;
newnode->text=text;
newnode->type=type;
newnode->offset=offset;
newnode->nextn=0;
newnode->header=0;
if(type=="int")
{
newnode->value.ival=value;
}
else if(type=="real")
{
newnode->value.rval=value;
}

//判斷此表是否無元素
if(currtab->firstnode==0)
{
currtab->firstnode=newnode;
currtab->ifnoelements=0;
}
else
{
snode* addnode=currtab->firstnode;
while(addnode->nextn!=0)
{
addnode=addnode->nextn;
}
addnode->nextn=newnode;
}

return newnode;
}
//初始化符號表，返回表頭節點
void inittab()
{
stable *initable = new stable;
initable->firstnode=0;
initable->previous=0;
initable->ifnoelements=0;
currtab=initable;
}
//查找指針，表示結果
snode *searchresult;
//查找變數，返回指向該變數的指針
//查找變數，返回指向該變數的指針
snode* search(string name)
{
//檢查表是否空
bool isempty=true;
stable* checktab=currtab;
if(checktab->firstnode!=0)
{isempty=false;}
while(checktab->previous!=0)
{
if(checktab->firstnode!=0)
{isempty=false;}
checktab=checktab->previous;
}
if(checktab->firstnode!=0)
{isempty=false;}
if(isempty)
{
return 0;
}
snode* lastnode;
if(currtab->firstnode==0)
{
//移到非空的表頭
stable* notnullhead=currtab;
while(notnullhead->firstnode==0)
{
notnullhead=notnullhead->previous;
}
snode* tmpnode=notnullhead->firstnode;
//移到最後的元素
while(tmpnode->nextn!=0)
{
tmpnode=tmpnode->nextn;
}
lastnode=tmpnode;
}
else
{
lastnode=currtab->firstnode;
while(lastnode->nextn!=0)
{
lastnode=lastnode->nextn;
}
}
//移到表頭
stable* fronttab=currtab;
while(fronttab->previous!=0)
{
fronttab=fronttab->previous;
}
snode* nownode=0;
while(nownode!=lastnode)
{
while(fronttab->ifnoelements!=0)
{
fronttab=fronttab->ifnoelements;
}
nownode=fronttab->firstnode;
while(nownode->nextn!=0)
{
if(nownode->text==name)
{
searchresult=nownode;
return searchresult;
}
nownode=nownode->nextn;
}
if(nownode->text==name)
{
searchresult=nownode;
return searchresult;
}
fronttab=nownode->header;
}
if(nownode->text==name)
{
searchresult=nownode;
return searchresult;
}
return 0;
}

//消毀符號表
void delNode()
{
//more codes here......
}

⑷ 編程常見的符號表和結構查找方法

<code>weeds@weeds-ThinkPad-T440p:~/Documents/encrypchip$ objmp -t main.o

main.o: file format elf32-little

SYMBOL TABLE:
00000000 l df *ABS* 00000000 main.c
00000000 l d .text 00000000 .text
00000000 l d .data 00000000 .data
00000000 l d .bss 00000000 .bss
00000000 l d .mdebug.abi32 00000000 .mdebug.abi32
00000000 l d .rodata 00000000 .rodata
00000000 l d .reginfo 00000000 .reginfo
00000000 l d .pdr 00000000 .pdr
00000000 l d .comment 00000000 .comment
00000000 l d .gnu.attributes 00000000 .gnu.attributes
00000000 g F .text 000000dc demo1
00000000 *UND* 00000000 GetIdChipSerialNo
00000000 *UND* 00000000 printf
00000000 *UND* 00000000 putchar
000000dc g F .text 0000027c demo2
00000000 *UND* 00000000 _alpu_rand
00000000 *UND* 00000000 gettimeofday
00000000 *UND* 00000000 alpuc_process
00000000 *UND* 00000000 puts
00000358 g F .text 0000003c main
</code>

readelf -h xxx.o

<code>weeds@weeds-ThinkPad-T440p:~/Documents/encrypchip$ readelf -h main.o
ELF Header:
Magic: 7f 45 4c 46 01 01 01 00 00 00 00 00 00 00 00 00
Class: ELF32
Data: 2's complement, little endian
Version: 1 (current)
OS/ABI: UNIX - System V
ABI Version: 0
Type: REL (Relocatable file)
Machine: MIPS R3000
Version: 0x1
Entry point address: 0x0
Start of program headers: 0 (bytes into file)
Start of section headers: 1624 (bytes into file)
Flags: 0x1005, noreorder, cpic, o32, mips1
Size of this header: 52 (bytes)
Size of program headers: 0 (bytes)
Number of program headers: 0
Size of section headers: 40 (bytes)
Number of section headers: 15
Section header string table index: 12
</code>

readelf -s main.o

<code>weeds@weeds-ThinkPad-T440p:~/Documents/encrypchip$ readelf -s main.o

Symbol table '.symtab' contains 21 entries:
Num: Value Size Type Bind Vis Ndx Name
0: 00000000 0 NOTYPE LOCAL DEFAULT UND
1: 00000000 0 FILE LOCAL DEFAULT ABS main.c
2: 00000000 0 SECTION LOCAL DEFAULT 1
3: 00000000 0 SECTION LOCAL DEFAULT 3
4: 00000000 0 SECTION LOCAL DEFAULT 4
5: 00000000 0 SECTION LOCAL DEFAULT 8
6: 00000000 0 SECTION LOCAL DEFAULT 9
7: 00000000 0 SECTION LOCAL DEFAULT 5
8: 00000000 0 SECTION LOCAL DEFAULT 6
9: 00000000 0 SECTION LOCAL DEFAULT 10
10: 00000000 0 SECTION LOCAL DEFAULT 11
11: 00000000 220 FUNC GLOBAL DEFAULT 1 demo1
12: 00000000 0 NOTYPE GLOBAL DEFAULT UND GetIdChipSerialNo
13: 00000000 0 NOTYPE GLOBAL DEFAULT UND printf
14: 00000000 0 NOTYPE GLOBAL DEFAULT UND putchar
15: 000000dc 636 FUNC GLOBAL DEFAULT 1 demo2
16: 00000000 0 NOTYPE GLOBAL DEFAULT UND _alpu_rand
17: 00000000 0 NOTYPE GLOBAL DEFAULT UND gettimeofday
18: 00000000 0 NOTYPE GLOBAL DEFAULT UND alpuc_process
19: 00000000 0 NOTYPE GLOBAL DEFAULT UND puts
20: 00000358 60 FUNC GLOBAL DEFAULT 1 main
</code>

nm xxx.o 對比g++編譯程序生成的符號表與gcc生成的不同點。
?

⑸ 關於C語言指針,打破砂鍋問到底

程序編譯階段，編譯器會生成一個符號表，裡面記錄的是每一個變數的相關信息，比如，類型，分配的地址等等。
編譯的時候會查詢符號表來編譯，舉個例子：
int *p；
假如符號表中記錄的 p 所在的地址是1234；
p=&a;
當遇到這句的時候，編譯器會查找符號表，找到符號a的信息，把它的地址記錄下來（假設為4567），接著找到p的地址為1234，然後把上面那句話翻譯為：*(int *)(1234)=4567;(意在說明問題，實際的產生的並非這樣的代碼，但原理是類似的)
,(int *)&&p,(int *)&&&p這些語句都是無效的。
想要深入了解，可以看看編譯原理的符號表內容
希望對你有幫助

⑹ 編譯器的組成及各部分的功能及作用

1. 詞法分析 詞法分析器根據詞法規則識別出源程序中的各個記號（token），每個記號代表一類單詞（lexeme）。源程序中常見的記號可以歸為幾大類：關鍵字、標識符、字面量和特殊符號。詞法分析器的輸入是源程序，輸出是識別的記號流。詞法分析器的任務是把源文件的字元流轉換成記號流。本質上它查看連續的字元然後把它們識別為「單詞」。 2. 語法分析 語法分析器根據語法規則識別出記號流中的結構（短語、句子），並構造一棵能夠正確反映該結構的語法樹。 3. 語義分析 語義分析器根據語義規則對語法樹中的語法單元進行靜態語義檢查，如果類型檢查和轉換等，其目的在於保證語法正確的結構在語義上也是合法的。 4. 中間代碼生成 中間代碼生成器根據語義分析器的輸出生成中間代碼。中間代碼可以有若干種形式，它們的共同特徵是與具體機器無關。最常用的一種中間代碼是三地址碼，它的一種實現方式是四元式。三地址碼的優點是便於閱讀、便於優化。 5. 中間代碼優化 優化是編譯器的一個重要組成部分，由於編譯器將源程序翻譯成中間代碼的工作是機械的、按固定模式進行的，因此，生成的中間代碼往往在時間和空間上有很大浪費。當需要生成高效目標代碼時，就必須進行優化。 6. 目標代碼生成 目標代碼生成是編譯器的最後一個階段。在生成目標代碼時要考慮以下幾個問題：計算機的系統結構、指令系統、寄存器的分配以及內存的組織等。編譯器生成的目標程序代碼可以有多種形式：匯編語言、可重定位二進制代碼、內存形式。 7 符號表管理 符號表的作用是記錄源程序中符號的必要信息，並加以合理組織，從而在編譯器的各個階段能對它們進行快速、准確的查找和操作。符號表中的某些內容甚至要保留到程序的運行階段。 8 出錯處理用戶編寫的源程序中往往會有一些錯誤，可分為靜態錯誤和動態錯誤兩類。所謂動態錯誤，是指源程序中的邏輯錯誤，它們發生在程序運行的時候，也被稱作動態語義錯誤，如變數取值為零時作為除數，數組元素引用時下標出界等。靜態錯誤又可分為語法錯誤和靜態語義錯誤。語法錯誤是指有關語言結構上的錯誤，如單詞拼寫錯、表達式中缺少操作數、begin和end不匹配等。靜態語義錯誤是指分析源程序時可以發現的語言意義上的錯誤，如加法的兩個操作數中一個是整型變數名，而另一個是數組名等。

⑺ 簡述一下編譯器和鏈接器的作用

1、編譯器：
編譯器對源文件進行編譯，就是把源文件中的文本形式存在的源代碼翻譯成機器語言形式的目標文件的過程，在這個過程中，編譯器會進行一系列的語法檢查。如果編譯通過，就會把對應的CPP轉換成OBJ文件。
2、鏈接器：
當鏈接器進行鏈接的時候，首先決定各個目標文件在最終可執行文件里的位置。然後訪問所有目標文件的地址重定義表，對其中記錄的地址進行重定向（加上一個偏移量，即該編譯單元在可執行文件上的起始地址）。
然後遍歷所有目標文件的未解決符號表，並且在所有的導出符號表裡查找匹配的符號，並在未解決符號表中所記錄的位置上填寫實現地址。最後把所有的目標文件的內容寫在各自的位置上，再作一些另的工作，就生成一個可執行文件。

⑻ 怎麼查 西門子PLC step7 中的符號表中的符號在程序的什麼地方使用。

1、在西門子PLC step7中，直接按照選項→參考數據→顯示的順序進行點擊。

⑼ 如何建立符號表

Symbol Tables

為了維持靜態作用域的程序里各個名字的軌跡，編譯器需要依靠一種稱為符號表的數據結構。從最基本的層次上看，符號表就是一個字典：它把名字映射到編譯器已知的有關信息。這里最基本的操作是把一個新映射關系（名字對象約束）放入表裡，以及（非破壞性的）用一個給定名字去提取映射下的信息，以後我們把

這兩個操作分別稱為insert和lookup。大部分語言里的靜態作用域規則還提出了另外的復雜性，它們要求在程序里的不同部分有不同的引用環境。為了處理作用域規則，我們可能希望簡單增加一個remove操作。由於編譯器在語義分析階段要從頭到尾掃描代碼，這樣它就可以在某個作用域開始時插入新約束，在作用域最後撤銷它們。但是，存在一些因素使這種直接做法並不實際。

¨ 在許多有著嵌套作用域的語言里，內層聲明的效果可以遮蔽外層聲明，這就意味著符號表必須有能力為一個給定名字保存任意數目的映射。lookup操作必須返回最內層的映射，到作用域結束時還必須使外層映射重新變成可見的。

¨ 類Algol語言里的記錄（結構）具有某種作用域性質，但卻又不享有作用域那樣的良好嵌套結構。當語義分析器看到一個記錄聲明時，它就必須記下各個記錄域的名字（它們也是遞歸的，因為記錄可以嵌套）。在這種聲明結束時，各個域的名字又必須變成不可見的。然而，在此之後，一旦這一記錄類型的某個變數出現在程序的正文里（例如在my_rec.field_name），在引用中位於圓點之後的部分，這些域名又必須立即重新變成可見的。在Pascal和另一些有with語句的語言里，記錄域的名字還應該在多個語句的上下文里變成可見的。

¨ 某些時候一些名字有可能在它們被聲明之前使用，即使在類Algol語言里情況也如此。舉例說，Algol 60和Algol 68都允許標號的向前引用。Pascal避免了這種情況，它要求標號必須在作用域開始處聲明，但還是允許指針聲明的向前引用：

type

company = record

CEO : ^person; (* forward reference *)

...

end;

person = record

employer : ^company;

...

end;

¨ Pascal和其他語言都允許子程序的向前聲明，以便支持相互遞歸：

procere Q (A, B : integer); forward;

procere P (A, B : integer);

begin

...

Q (3, 4);

...

end;

procere Q; (* parameters are not repeated in Pascal *)

begin

...

P (4, 5);

...

end;

在看到這段代碼里的向前聲明時，語義分析器必須記住Q的參數，以便後面可以在Q的體里使它們重新變成可見的，但在此期間又必須使它們成為不可見的。這種操作類似於記住記錄域的名字。

¨ 雖然我們有可能希望在作用域結束時忘記有關的名字，甚至回收這些名字在符號表裡占據的空間，但有關它們的信息仍需要保存起來，以便符號糾錯系統（symbolic debugger）使用。這種糾錯系統是非常有用的工具，用戶可以藉助它方便地操縱程序，如啟動程序，停住它，讀出或者修改程序里的數據等等。為了分析來自用戶的高級名字（例如，要求列印出my_firm^.revenues[1999] 的值），符號糾錯程序必須能訪問編譯器的符號表。為了使符號表在運行時也可以用，編譯器通常會把這個表保存到最後的機器語言程序里的某個隱蔽的部分。

靜態作用域的大部分變化都可以通過擴充基本符號表的方式處理，通過增加一對enter_scope和leave_scope操作維持可見性的軌跡。任何東西都不會從符號表裡刪除，在整個編譯階段所有的結構都保留著，最後還要為糾錯系統使用而保存起來。帶有可見性處理的符號表可以以多種不同方式實現，下面描述的方式歸功於LeBlanc和Cook [CL83]。

在遇到每個作用域時賦給它一個序列號。給定最外層的作用域（其中包含著預定義的標識符）編號0，包含用戶定義全局名字的作用域給以編號1。其他作用域按遇到它們的順序進行編號。所有的編號互不相同，它們並不表示詞法嵌套的層次，但也有一點，嵌套於內部的子程序的編號自然會大於它們的外圍作用域的編號。

所有的名字都被放入一個大的散列表裡，以名字作為關鍵碼，無論其作用域如何。表裡的每項都包含一個符號名，其類屬（變數、常量、類型、過程、域名字、參數等等），作用域編號，類型（一個指向另一符號表項的指針），以及另一些特定類屬所擁有的信息。

除了這一散列表之外，符號表還包含一個作用域堆棧，它按順序指明組成當前引用環境的所有作用域。在語義分析器掃描程序的過程中，在進入或退出程序時分別壓入或者彈出這個堆棧。作用域堆棧的項里包含著作用域編號，指明這一作用域是否為閉的，有些情況下還可以有另外一些信息。

圖3.13 LeBlanc-Cook符號表的lookup演算法。

當需要到表裡查找名字時，我們會順著某個適當的散列表鏈向下找，這樣就會找到要找的名字所對應的一些項。對於每個匹配項，我們都向下掃描作用域堆棧，看看這個項所在的作用域是否可見。這種堆棧查看的深度不應超過最上面的閉作用域。要把導入項和導出項變為在它們的作用域之外可見的，方法就是在表裡建立另外的項，讓這些項里包含著指向實際項的指針。對於所有帶有作用域編號0的項，我們都不需要去檢查作用域堆棧，因為它們是滲透性的。圖3.13里是lookup演算法的偽代碼。

圖3.14的右下角是一個Mola-2程序的梗概，圖中其餘部分展現的是在過程P2里with語句處的引用環境的符號表配置情況。作用域堆棧里包含4個項，分別表示那個with語句，過程P2，模塊M和全局作用域。with語句的作用域指明了在這一特定作用域里的（域）名字屬於哪個記錄變數。最外面的滲透性作用域沒有顯式表示。

圖3.14 一個Mola-2例子程序的LeBlanc-Cook符號表。作用域堆棧表示在過程P2里with語句的引用環境。為清楚起見，許多指向符號表裡對應於integer和real的項都用帶括弧的 (1) 和 (2) 表示，沒有畫出箭頭。

因為這里的散列表以名字作為關鍵碼，特定名字的所有項都出現在同一個散列鏈里。在這個例子里，散列沖突導致A2、F2和T出現在同一個鏈里。變數V和I（M的I）有另外的項，使它們跨過閉作用域M的邊界後仍為可見的。當我們處於P2里時，對於I的查找操作將找到P2的I，M的I里的兩個項都不可見。類型T的項指明了在with語句期間放入作用域堆棧的作用域編號。每個子程序的項里包含了一個頭指針，指向子程序參數的鏈接表，以便做調用分析時使用（圖中沒有給出這些鏈的一些鏈接）。在代碼生成過程中，許多符號表項還可能包含另外的域，表示例如對象大小和運行時地址等等信息。

圖片信息，看參考資料。。。