問題
前些天看一款數據庫語法解析器的代碼,其中的詞法分析語法解析階段,利用一個結構體存儲所解析的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);
- }