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