首先讓我們來(lái)學(xué)習(xí)一下ASN.1的Constructors類型 。
ASN.1 constructors 類型可以將簡(jiǎn)單的預(yù)定義類型封裝成復(fù)雜的數(shù)據(jù)類型。而且，這種操作可以是嵌套的，比如，constructors中還可以包含其他的constructors類型。ASN.1的constructors類型有：
SEQUENCE是一個(gè)表示有序元素集合的數(shù)據(jù)類型。集合可能為空，集合中的元素可以是任意ASN.1類型，并且元素類型可以不同。集合中的元素還可以被命名。這類似于C/C++中的結(jié)構(gòu)體。
SEQUENCE OF 是一個(gè)表示有序元素集合的數(shù)據(jù)類型，集合可以為空。集合中的元素可以是任意ASN.1類型，但是要求所有元素為同一類型。集合中的元素可以被命名。這很類似于C/C++中的有序數(shù)組/鏈表。
SET 是一個(gè)表示無(wú)序元素集合的數(shù)據(jù)類型，集合可以為空。集合中的元素可以是任意ASN.1類型，并且元素類型可以不同。集合中的元素可以被命名。這同樣類似于C/C++中的結(jié)構(gòu)體。
SET OF 是一個(gè)表示無(wú)序元素集合的數(shù)據(jù)類型，集合可以為空。集合中的元素可以是任意ASN.1類型，但是要求所有元素為同一類型。集合中的元素可以被命名。這很類似于C/C++中的無(wú)序數(shù)組/鏈表。
一眼看上去似乎SEQUENCE 和SET是一樣的。其實(shí)不同就在于SEQUENCE是有序的，而SET不是。比如，在上面的例子中，SET在編碼時(shí)，字段field2就可以比f(wàn)ield1先發(fā)送，而對(duì)SEQUENCE，我們希望field1必須在field2之前先處理。
SEQUENCE OF 和SET OF的區(qū)別也就在這。
總而言之，SEQUENCE 和SEQUENCE OF依賴順序來(lái)避免模糊。而SET 和SET OF就依賴數(shù)據(jù)類型或者每個(gè)元素的標(biāo)簽來(lái)唯一區(qū)分每個(gè)元素。
SEQUENCE 等集合中出現(xiàn)的關(guān)鍵字OPTIONAL表示集合中的那個(gè)元素不是必須的：也就是可以存在也可以省略。 例如：
這對(duì)SEQUENCE OF, SET 和SET OF都適用。
在某些情況下，給指定類型的某個(gè)元素設(shè)定一個(gè)默認(rèn)值在編碼時(shí)是非常有用的。
CHOICE類型是一個(gè)定義一個(gè)或者多個(gè)類型的聯(lián)合的數(shù)據(jù)類型。這個(gè)聯(lián)合中的字段可以被命名。每一個(gè)CHOICE的實(shí)例，都必須指定為這個(gè)聯(lián)合中的一個(gè)類型。例如：
以上內(nèi)容翻譯自http://www.lkn.ei.tum.de/arbeiten/faq/man/tau42_help/ttcncase8.html。
/*******************************************休息一下***************************************
下面我們來(lái)研究eSNACC的C代碼生成和C運(yùn)行時(shí)庫(kù)對(duì)ASN.1 constructors的處理辦法：
一、因?yàn)锳SN.1允許不命名集合中的字段，但是C語(yǔ)言要求變量必須有名字，所以eSNACC對(duì)SETs, SEQUENCEs, 和CHOICEs中的空字段都會(huì)自動(dòng)命名。名字依賴于該字段的類型名。
二、對(duì)SEQUENCE (of)和SET (of)中用OPTIONAL指定的可選元素，大部分都以指針實(shí)現(xiàn)。當(dāng)指針不為NULL時(shí)那么就代表這個(gè)元素存在。不過(guò)當(dāng)元素是OCTET STRINGs, BIT STRINGs 和OBJECT IDENTIFIERs類型時(shí)例外，因?yàn)檫@些類型很小，而且底層實(shí)現(xiàn)還包含一個(gè)內(nèi)部的指針，利用那個(gè)指針就可以表明元素是否存在。具體請(qǐng)參加本系列前面的文章：對(duì)比特串、字節(jié)串、OBJECT IDENTIFIERs的編碼和解碼等。
三、總結(jié)：eSNACC對(duì)ASN.1 constructors->C類型轉(zhuǎn)換規(guī)則：
SEQUENCE —> C struct
SET —> C struct
SEQUENCE OF —> 雙向鏈表AsnList
SET OF —> 雙向鏈表AsnList
ENUMERATED —> C enum
CHOICE : 比較有意思，我們以后再專門討論。
ASN.1到C struct和enum就是直接的對(duì)應(yīng)關(guān)系，很簡(jiǎn)單。這里我們主要看看eSNACC的雙向鏈表AsnList。
看一下AsnList的定義：
typedef struct AsnListNode
{
struct AsnListNode *prev;
struct AsnListNode *next;
void *data; /**//* this must be the last field of this structure */
} AsnListNode;
typedef struct AsnList
{
AsnListNode *first;
AsnListNode *last;
AsnListNode *curr;
int count; /**//* number of elements in list */
int dataSize; /**//* space required in each node for the data */
} AsnList;要注意AsnList與我們一般寫的鏈表可能不同的是：他專門設(shè)計(jì)了一個(gè)頭AsnList，而真正存放節(jié)點(diǎn)內(nèi)容的是AsnListNode。AsnList中包含了頭結(jié)點(diǎn)、尾節(jié)點(diǎn)、當(dāng)前節(jié)點(diǎn)指針，節(jié)點(diǎn)元素的數(shù)目和每一個(gè)節(jié)點(diǎn)元素的數(shù)據(jù)大?。ㄒ簿褪菫閐ata分配內(nèi)存時(shí)的值）。
利用AsnList，我們就能很方便的得知包括鏈表頭尾指針、總數(shù)等的信息了。也能很方便的對(duì)整個(gè)鏈表進(jìn)行遍歷訪問(wèn)等操作了。
要說(shuō)明的是：first節(jié)點(diǎn)的prev指針和last的next指針總是NULL。而且AsnList的dataSize字段必須在生成鏈表或者使用前初始化時(shí)就必須賦予明確的值，因?yàn)橹皇敲縿?chuàng)建一個(gè)AsnListNode時(shí)對(duì)data分配的內(nèi)存大小數(shù)。
對(duì)AsnList的分析，我準(zhǔn)備就只講這些了。之所以不展開(kāi)函數(shù)實(shí)現(xiàn)，是因?yàn)槔锩婢褪菙?shù)據(jù)結(jié)構(gòu)中的鏈表操作算法，想必大家都相當(dāng)熟悉，所以不怕老生常談，也擔(dān)心班門弄斧，就算了吧。
不過(guò)，你可能發(fā)現(xiàn)有些問(wèn)題：
1、上文中提到過(guò)：SEQUENCE OF是有序的，而SET OF無(wú)序的。那我們?cè)诰幾g成C語(yǔ)言時(shí)要怎么對(duì)應(yīng)呢？我們看看eSNACC：他絲毫沒(méi)有提這個(gè)，壓根就無(wú)視這個(gè)性質(zhì)！這有問(wèn)題嗎？
從ASN.1語(yǔ)義上來(lái)說(shuō)，確實(shí)是沒(méi)有體現(xiàn)，但是其實(shí)是沒(méi)有問(wèn)題的。因?yàn)锳SN.1中所要求的有序無(wú)序，是說(shuō)明數(shù)據(jù)編碼和傳輸?shù)膯?wèn)題：有序就是要保證數(shù)據(jù)定義的順序。而我們轉(zhuǎn)為C語(yǔ)言，本來(lái)就是按數(shù)據(jù)定義的順序而轉(zhuǎn)的，而編碼解碼自然就只能是C定義的順序了，也就是說(shuō)最后無(wú)論是對(duì)SEQUENCE OF還是SET OF，我們都保證了他是有序的，這當(dāng)然沒(méi)有問(wèn)題了。
2、AsnList中存放數(shù)據(jù)的都是void*類型，這就不知道數(shù)據(jù)的原始類型了呀？
是的，AsnList中確實(shí)只是存放了void*，這導(dǎo)致類型丟失了。也就是你如果不小心存了不同類型的數(shù)據(jù)，他也一言不發(fā)的縱容了你。這是類型不安全的。BTW，在eSNACC的C++庫(kù)中，就不存在這個(gè)問(wèn)題了，這個(gè)留待以后對(duì)eSNACC的C++運(yùn)行時(shí)庫(kù)剖析時(shí)再說(shuō)。
好了，本篇就到此了。