問題
前些天看一款資料庫文法解析器的代碼,其中的詞法分析文法解析階段,利用一個結構體儲存所解析的SQL語句的類型,然後根據這個類型將改結構體強制轉換為對應的另一結構體並賦值給他,以便做進一步的執行工作。舉個簡單的例子:儲存文法解析後資料的結構體(注意,其只有一個元素)為:struct analyse{int type;};我們約定的不同的type代表不同的SQL操作,假如type=1時表示alter table操作,type=2時表示select操作,type等於3時表示create table操作等等。那麼我們對不同的操作有不同的結構體來儲存資訊,例如:struct alter{int type;int number;char subtype;............};
struct select{int type;char relnum;long tablenum;............};注意到,結構體analyse,alter與select中第一個元素的類型都是一樣的,表示的意思也相同,都是代表不同的操作號。現在若判斷analyse中的type為1時,就將其強制轉換為struct
alter並賦值給struct alter類型的變數;若判斷analyse中的type為2時,就將其強制轉換為struct select並賦值給struct select類型的變數。可能有人會問了,為什麼程式裡要對類型不同的結構體之間強制轉換並賦值呢?
問題解析
問題的關鍵在於,結構體struct analyse中的type儲存不同的值時,在緊挨著結構體的記憶體中按照要強制轉換的結構體的元素類型儲存了相對應的資料。
例如,當結構體struct analyse中的type為1時,需要在緊挨著結構體struct analyse的高地址地區按照結構體struct
alter的資料類型儲存對應的資料,包括int,char等等。當結構體struct analyse中的type為2時,需要在緊挨著結構體struct
analyse的高地址地區按照結構體struct select的資料類型儲存對應的資料,包括char,long等。
這樣,在進行強制轉換時,結構體struct
analyse與結構體struct analyse中除了int type以外的那些元素就可以得到相對應的值了。
簡單的小例子
下面是一個簡單的小例子,說明了該強制轉換的問題:
struct A{int num;};struct B{int num;char type;int age;};int main(){struct A a;a.num=1;char* tmp1=(char *)(&(a.num));tmp1=tmp1+4;*tmp1='a';int *tmp2=(int *)(&(a.num));tmp2=tmp2+2;*tmp2=100;struct B *b=(struct B *)(&a);printf(" b->num=%d b->type=%c b->age=%d \n",b->num,b->type,b->age);}