• SEQUENCE
• SEQUENCE OF
• SET
• SET OF
• CHOICE

SEQUENCE

SEQUENCE是一個表示有序元素集合的數據類型。集合可能為空，集合中的元素可以是任意ASN.1類型，并且元素類型可以不同。集合中的元素還可以被命名。這類似于C/C++中的結構體。

• ASequence ::= SEQUENCE {field1 INTEGER, field2 BOOLEAN}
• a-value ASequence ::= { field1 123, field2 TRUE }

SEQUENCE OF

SEQUENCE OF 是一個表示有序元素集合的數據類型，集合可以為空。集合中的元素可以是任意ASN.1類型，但是要求所有元素為同一類型。集合中的元素可以被命名。這很類似于C/C++中的有序數組/鏈表。

• ASequenceOf ::= SEQUENCE OF INTEGER { field1, field2 }

SET

SET 是一個表示無序元素集合的數據類型，集合可以為空。集合中的元素可以是任意ASN.1類型，并且元素類型可以不同。集合中的元素可以被命名。這同樣類似于C/C++中的結構體。

• ASet ::= SET { field1 INTEGER, field2 BOOLEAN }

SET OF

SET OF 是一個表示無序元素集合的數據類型，集合可以為空。集合中的元素可以是任意ASN.1類型，但是要求所有元素為同一類型。集合中的元素可以被命名。這很類似于C/C++中的無序數組/鏈表。 

• ASetOf ::= SET OF INTEGER { field1, field2 }

一眼看上去似乎SEQUENCE 和SET是一樣的。其實不同就在于SEQUENCE是有序的，而SET不是。比如，在上面的例子中，SET在編碼時，字段field2就可以比field1先發送，而對SEQUENCE，我們希望field1必須在field2之前先處理。

SEQUENCE OF 和SET OF的區別也就在這。

總而言之，SEQUENCE 和SEQUENCE OF依賴順序來避免模糊。而SET 和SET OF就依賴數據類型或者每個元素的標簽來唯一區分每個元素。

OPTIONAL

 SEQUENCE 等集合中出現的關鍵字OPTIONAL表示集合中的那個元素不是必須的：也就是可以存在也可以省略。  例如：

• ASequence ::= SEQUENCE { field1 INTEGER OPTIONAL, field2 BOOLEAN }
• a-value1 ASequence ::= { 123, TRUE }
• a-value2 ASequence ::= { TRUE }

這對SEQUENCE OF, SET 和SET OF都適用。

DEFAULT

在某些情況下，給指定類型的某個元素設定一個默認值在編碼時是非常有用的。

• ASequence ::= SEQUENCE { field1 INTEGER DEFAULT 0, field2 BOOLEAN }

CHOICE

CHOICE類型是一個定義一個或者多個類型的聯合的數據類型。這個聯合中的字段可以被命名。每一個CHOICE的實例，都必須指定為這個聯合中的一個類型。例如： 

• AllPDUs ::= CHOICE {pdu1 SEQUENCE { ..... }, pdu2 SEQUENCE { ..... }, pdu3 SEQUENCE { ..... } }
• a_pdu AllPDUs ::= pdu2

以上內容翻譯自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++運行時庫剖析時再說。

好了，本篇就到此了。