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