無(wú)我

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

SEQUENCE

SEQUENCE是一個(gè)表示有序元素集合的數(shù)據(jù)類(lèi)型。集合可能為空，集合中的元素可以是任意ASN.1類(lèi)型，并且元素類(lèi)型可以不同。集合中的元素還可以被命名。這類(lèi)似于C/C++中的結(jié)構(gòu)體。

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

SEQUENCE OF

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

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

SET

SET 是一個(gè)表示無(wú)序元素集合的數(shù)據(jù)類(lèi)型，集合可以為空。集合中的元素可以是任意ASN.1類(lèi)型，并且元素類(lèi)型可以不同。集合中的元素可以被命名。這同樣類(lèi)似于C/C++中的結(jié)構(gòu)體。

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

SET OF

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

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

一眼看上去似乎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)順序來(lái)避免模糊。而SET 和SET OF就依賴(lài)數(shù)據(jù)類(lèi)型或者每個(gè)元素的標(biāo)簽來(lái)唯一區(qū)分每個(gè)元素。

OPTIONAL

 SEQUENCE 等集合中出現(xiàn)的關(guān)鍵字OPTIONAL表示集合中的那個(gè)元素不是必須的：也就是可以存在也可以省略。  例如：

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

這對(duì)SEQUENCE OF, SET 和SET OF都適用。

DEFAULT

在某些情況下，給指定類(lèi)型的某個(gè)元素設(shè)定一個(gè)默認(rèn)值在編碼時(shí)是非常有用的。

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

CHOICE

CHOICE類(lèi)型是一個(gè)定義一個(gè)或者多個(gè)類(lèi)型的聯(lián)合的數(shù)據(jù)類(lèi)型。這個(gè)聯(lián)合中的字段可以被命名。每一個(gè)CHOICE的實(shí)例，都必須指定為這個(gè)聯(lián)合中的一個(gè)類(lèi)型。例如： 

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

以上內(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)命名。名字依賴(lài)于該字段的類(lèi)型名。

二、對(duì)SEQUENCE (of)和SET (of)中用OPTIONAL指定的可選元素，大部分都以指針實(shí)現(xiàn)。當(dāng)指針不為NULL時(shí)那么就代表這個(gè)元素存在。不過(guò)當(dāng)元素是OCTET STRINGs, BIT STRINGs 和OBJECT IDENTIFIERs類(lèi)型時(shí)例外，因?yàn)檫@些類(lèi)型很小，而且底層實(shí)現(xiàn)還包含一個(gè)內(nèi)部的指針，利用那個(gè)指針就可以表明元素是否存在。具體請(qǐng)參加本系列前面的文章：對(duì)比特串、字節(jié)串、OBJECT IDENTIFIERs的編碼和解碼等。

三、總結(jié)：eSNACC對(duì)ASN.1 constructors->C類(lèi)型轉(zhuǎn)換規(guī)則：

SEQUENCE —> C struct
SET —> C struct

SEQUENCE OF —> 雙向鏈表AsnList
SET OF —> 雙向鏈表AsnList

ENUMERATED  —> C enum
CHOICE : 比較有意思，我們以后再專(zhuān)門(mén)討論。

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與我們一般寫(xiě)的鏈表可能不同的是：他專(zhuān)門(mén)設(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ù)大小（也就是為data分配內(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)心班門(mé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*類(lèi)型，這就不知道數(shù)據(jù)的原始類(lèi)型了呀？

是的，AsnList中確實(shí)只是存放了void*，這導(dǎo)致類(lèi)型丟失了。也就是你如果不小心存了不同類(lèi)型的數(shù)據(jù)，他也一言不發(fā)的縱容了你。這是類(lèi)型不安全的。BTW，在eSNACC的C++庫(kù)中，就不存在這個(gè)問(wèn)題了，這個(gè)留待以后對(duì)eSNACC的C++運(yùn)行時(shí)庫(kù)剖析時(shí)再說(shuō)。

好了，本篇就到此了。