header :contains "from" "fool@example.edu") {
                discard;
             }

2.6.  參數(shù)
大多數(shù)命令都需要參數(shù)指明要執(zhí)行的操作，參數(shù)分為三類：位置參數(shù)，標(biāo)志參數(shù)和可選
參數(shù)。
2.6.1. 位置參數(shù)
位置參數(shù)的含義依賴于給出的順序，因此使用位置參數(shù)必須按照的規(guī)定的順序給出。
2.6.2. 標(biāo)志參數(shù)
本文檔規(guī)定的標(biāo)志參數(shù)以類似于Common LISP的風(fēng)格給出，大多數(shù)命令行系統(tǒng)也采用
相似的方式給命令傳遞標(biāo)志。標(biāo)志參數(shù)以冒號“:”開始，后面跟著參數(shù)的標(biāo)識名，比如
“:contains”。標(biāo)志參數(shù)的意思是后面的各個記號（可能沒有）根據(jù)前面的標(biāo)識名可能有特
殊的含義。標(biāo)志參數(shù)后面的記號可以是數(shù)字或者字符串，但不能是塊。標(biāo)志參數(shù)與位置參數(shù)
很相似，只不過其含義取決于標(biāo)志而不是命令本身。標(biāo)志參數(shù)必須出現(xiàn)在位置參數(shù)之前，但
是不同的標(biāo)志參數(shù)的順序可以是任意的。為了簡化規(guī)范，在命令的語法定義中并沒有作此規(guī)
定，但是只要保證出現(xiàn)在位置參數(shù)之前，標(biāo)志參數(shù)的位置可以互相交換。標(biāo)志參數(shù)和可選參
數(shù)可以混合使用。為了簡化，標(biāo)志參數(shù)不能再使用標(biāo)志參數(shù)作為參數(shù)。
2.6.3. 可選參數(shù)
可選參數(shù)與標(biāo)志參數(shù)非常相似，只不過調(diào)用命令時可以不提供可選參數(shù)而采用某個缺省
值。由于可選參數(shù)能夠有效地簡化描述程序，因此比標(biāo)志參數(shù)用的更廣泛。特別一提的是
“:comparator”參數(shù)，這個參數(shù)用于指定字符串比較所使用的[ACAP]比較運算子，因為UTF-8
定義的某些語言可能采用的不同的字符序。
2.6.4. 參數(shù)類型
簡單地講，參數(shù)可以是文字?jǐn)?shù)據(jù)、測試或者命令塊。從這意義上說，“if”控制結(jié)構(gòu)只
不過是以測試和命令塊作為參數(shù)而且能夠執(zhí)行那個代碼塊的一個命令。但是這種籠統(tǒng)的提法
從解析的觀點來看可能會產(chǎn)生混亂，第9.2節(jié)對此給出了更明確的定義：參數(shù)是字符串列表、
數(shù)字和標(biāo)志，后面可以帶有測試或測試列表，還可以帶有命令塊。但是測試或者測試列表以
及命令塊不能超過一個，以命令塊結(jié)束的命令后面不能有分號。
2.7.  字符串的比較
字符串的匹配方式有多種，可以分為三種類型：完全匹配、子串匹配或通配符塊方式的
匹配，分別描述如下。為了實現(xiàn)不同字符集和大小寫字符之間的匹配，濾網(wǎng)語言借用了ACAP
的比較運算子注冊。但是對于表示信息頭名稱的字符串之間的比較不能使用用戶指定的運算
子。信息頭的比較總是使用“i;ascii-casemap”運算子，就是說這種比較是大小寫敏感的，
因為IMAIL消息規(guī)范是如此規(guī)定的。
2.7.1. 匹配類型
本規(guī)范使用了三種匹配類型：“:is”、“:contains”和“:matches”，可以作為標(biāo)志參數(shù)傳
遞給適當(dāng)?shù)拿睢！?contains”類型描述的是子串匹配，只要后面的值參數(shù)中包含鍵參數(shù)，
匹配的結(jié)果即為真。比如，字符串“frobnitzm”包含“frob”和“nit”，但是不含“fbm”，
空鍵值（“”）是任何串值的子串。“:is”類型描述的是完全匹配，只有第一個字符串的內(nèi)容
與第二個字符串的內(nèi)容完全一致時才算匹配成功，字符串“frobnitzm”僅僅與其自身匹配，
空鍵值也僅僅是空鍵值?！?matches”則使用字符“*”和“?”規(guī)定通配符，“*”表示0或多
個字符，“?”表示單個字符。要與這兩個字符本身匹配時必須是用雙斜杠進(jìn)行轉(zhuǎn)義，即分別
使用“\\*”和“\\?”。前一個斜杠對第二個進(jìn)行轉(zhuǎn)義，兩者合在一起對后面的“*”轉(zhuǎn)義，
雖然有點羅嗦，不過在一些使用團(tuán)塊和正則表達(dá)式的程序語言中也很常見。
為了明確采用何種類型的匹配，可以使用標(biāo)志參數(shù)“:match”、“:is”和“:contains”，如
果沒有指定匹配方式，則缺省采用“:is”。要注意，這些修飾成分與比較運算子相互作用，
某些比較運算子無法與“:matches”和“:contains”一起工作，如果強制使用就會造成錯誤。
每個命令只能使用一個匹配參數(shù)，否則就是錯誤的。為了方便說明，我們把匹配類型語法成
分定義如下：
   ":is" / ":contains" / ":matches"

2.7.2.  跨字符集的比較
濾網(wǎng)描述語言用UTF-8表示，但是消息中可能使用多個字符集，因此實現(xiàn)時應(yīng)該完成
跨字符集的比較運算。實現(xiàn)必須把消息頭使用的字符集轉(zhuǎn)換成UTF-8編碼，只要兩個字符
串的UTF-8編碼相等，就認(rèn)為兩個字符串時相同的。另外，無論是消息頭還是消息體，只
要采用[MIME]規(guī)定的形式，都應(yīng)能夠?qū)ζ浣獯a，包括ISO-8859-*字符集UTF-8的ASCII子
集、US-ASCII、ISO-8859-1。如果實現(xiàn)上有困難，則至少要保證只要兩個字符串有一個包含
大于127的字節(jié)則兩者不等。
2.7.3.  比較運算子
匹配類型還可以帶有一個比較運算子，以實現(xiàn)語言無關(guān)、大小寫無關(guān)的串匹配。比較運
算子在[ACAP]中描述，ACAP定義注冊項，本規(guī)范則引用那些注冊項。ACAP定義了許多
比較類型，單本規(guī)范僅僅是用相等比較。本語言的任何實現(xiàn)都必須支持“i;octet”運算子（簡
單的字節(jié)比較）和“i;ascii-casemap”運算子（把UTF-8的ASCII子集的大寫字符和小寫字
符視作同一個字符）。如果沒有明確規(guī)定，缺省使用“i;ascii-casemap”。某些比較運算子不
適用于子串匹配，就是說只能用于“:is”匹配。如果試圖對“:contains”和“:matches”使
用不合適的運算子會造成錯誤。
比較運算子用可選參數(shù)“:comparator”指定，語法如下：
  ":comparator" <comparator-name: string>
因此在下面的例子中，所有主題類似于“You can MAKEMONEY FAST”的消息都被丟
棄，但是由于采用的比較運算子對大小寫敏感，以“You can Make Money Fast”為主題的消
息就會保留下來。
 if header :contains :comparator "i;octet" "Subject"
                "MAKE MONEY FAST" {
                   discard;
             }
其他的比較運算子屬于擴展類型，必須聲明之后才能使用，未知的運算子會導(dǎo)致操作失
敗?！?matches”和“:contains”匹配類型都支持“i;octet”和“i;ascii-casemap”比較運算子。
運算子參數(shù)在一條命令中只能給出一次。
2.7.4.  地址之間的比較
地址是最常使用的字符串。這種字符串是結(jié)構(gòu)化的，經(jīng)常需要與某個地址的本地部分和
域地址部分進(jìn)行比較，因此專門處理地址的某些測試允許帶有一個額外的可選參數(shù)。這個可
選參數(shù)可以是“:localprat”、“:domain”或“:all”，分別對地址的本地部分、域地址部分和整
個地址進(jìn)行測試。至于比較的方式，比如是否區(qū)分大小寫由測試的運算子參數(shù)指定。省略的
情況下默認(rèn)使用“:all”。地址參數(shù)的語法如下：
  ":localpart" / ":domain" / ":all"
2.8.   塊
塊是放在花括號之間的一組命令，引入塊是為了使用控制結(jié)構(gòu)?？刂平Y(jié)構(gòu)是一種命令，
其參數(shù)包括測試和塊兩部分，根據(jù)測試的結(jié)果決定塊中的代碼執(zhí)行多少次。本規(guī)范中提供的
命令不包含循環(huán)結(jié)構(gòu)，提供的控制結(jié)構(gòu)（if、elseif和else）要么對塊執(zhí)行一次，要么一次也
不執(zhí)行。因此只涉及到兩個參數(shù)：測試和塊。
2.9.   命令
濾網(wǎng)描述程序由命令組成。命令可以使用上述任何符號作為參數(shù)，參數(shù)既可以是位置參
數(shù)，也可以是標(biāo)志參數(shù)，有些命令沒有參數(shù)。命令分為三類：測試命令、動作命令和控制命
令。最簡單的是動作命令，動作命令是一個標(biāo)識符，后面可以沒有參數(shù)也可以有多個參數(shù)，
動作命令以分號結(jié)束，不能以測試或者塊作為參數(shù)?？刂泼钆c此類似，但是測試命令的參
數(shù)是一個測試，而且只能以塊而不是分號結(jié)束。測試命令作為控制命令的一部分，用于確定
是否要執(zhí)行后面的塊。
2.10.  求值
2.10.1. 動作之間的影響
某些動作不能與其它的動作一起使用，否則結(jié)果很荒謬，本文后面還會提到。擴展的動
作命令必須說明與本文規(guī)定的動作之間的相互作用。
2.10.2.  隱含留存
以前的經(jīng)驗表明過濾系統(tǒng)最好避免對大小寫的區(qū)分，濾網(wǎng)語言采用“隱含留存”的方法
防止誤刪郵件。隱含留存就是說只要某個動作沒有禁止則自動把郵件保存下來。只要沒有把
郵件寫入信箱、轉(zhuǎn)存到其他地址或者明確地刪除就執(zhí)行隱含留存操作。某些動作可能需要保
留隱含留存的操作，這些動作不會直接影響郵件的傳遞，但可能有這方面的副作用。本規(guī)范
所定義的動作沒有涉及這個問題，但是以后擴展中肯能要遇到。比方說，對于上面提到的短
消息，下面的描述語句不會產(chǎn)生任何影響，就是說隱含留存在發(fā)揮作用。
  if size :over 500K { discard; }
2.10.3. 郵箱中的消息的唯一性
實現(xiàn)不應(yīng)把同一個消息重復(fù)投送到一個信箱，既是描述程序明確要求把一個消息兩次寫
入同一個信箱。至于如何檢查兩個郵件是否相同取決于具體實現(xiàn)的定義。如果描述程序要求
再次把某個郵件寫入同一個信箱不能認(rèn)為是錯誤。
2.10.4. 動作數(shù)量的限制
基于站點的管理策略，可能要對所執(zhí)行操作的數(shù)量或者同時執(zhí)行的操作進(jìn)行限制。如果
描述程序違反了站點對特定郵件的處理次數(shù)限制就要發(fā)生錯誤。實現(xiàn)必須避免再次發(fā)生同樣
的錯誤。實現(xiàn)至少要允許一次留存或者轉(zhuǎn)存（fileinto）操作，如果不能轉(zhuǎn)存，至少要能夠留
存。其它的動作要避免被拒絕。
2.10.5. 擴展特性與可選特性
考慮到不同郵件系統(tǒng)的不同性能，本規(guī)范定義了幾種可選特性。在執(zhí)行這類擴展操作之
前，必須使用“require”聲明。如果某種擴展不能夠“require”，則必須被視作完全不支持
該操作。如果描述程序無法識別“require”聲明的某種擴展操作，則不執(zhí)行該描述程序。
注意：這樣規(guī)定是因為像LISP和TCL之類語言的經(jīng)驗表明，提示一下某個描述程序使
用了擴展成分是一種有效的方法。PostScript的實踐經(jīng)驗則建議，最好不要采用這樣的機制
——讓描述程序的工作依賴于不存在的擴展。
定義新的動作命令的擴展必須說明與本文所定義的動作之間的交互作用。
2.10.6. 錯誤
任何程序語言都會發(fā)生變異錯誤和運行錯誤。編譯錯誤是指進(jìn)行語法檢查時可以檢查出
的錯誤，運行錯誤是只有在程序運行時才能發(fā)現(xiàn)的錯誤，其中包括磁盤寫滿之類的臨時錯誤，
也包括非法的操作組合之類的問題。濾網(wǎng)描述語言在發(fā)生錯誤時體制所有的操作。在實現(xiàn)時
可以采用完整解析的策略，先測試所有的描述語句然后再執(zhí)行所有的操作，甚至可以采用原
子執(zhí)行 策略（要末全部執(zhí)行要一個也不執(zhí)行）?；蛘卟捎眠吔忉屵厛?zhí)行的策略，這樣實現(xiàn)起
來簡單，但是存在部分操作出錯的問題（某些動作出錯，其他的則正常執(zhí)行）。實現(xiàn)也可以
在執(zhí)行之前先排除不合法的操作集合（比如，reject + fileinto），但是這樣可能會帶來所謂的
“當(dāng)機問題”。上述各種方法都是允許的，當(dāng)機問題不在本規(guī)范的討論之列。如果發(fā)生了錯
誤，實現(xiàn)必須通知用戶在執(zhí)行哪個操作時發(fā)生了錯誤，并執(zhí)行隱含留存操作。
2.10.7. 執(zhí)行上的限制
具體的實現(xiàn)可能要多某些結(jié)構(gòu)進(jìn)行限制，不過本規(guī)范對此沒有過多的要求：至少要支持
15級的塊嵌套和15級的測試列表嵌套。
3.  控制命令
多重操作和條件操作必須是用控制命令。
3.1.  控制結(jié)構(gòu)if
if控制結(jié)構(gòu)包括三部分：“if”、“elsif”和“else”，從語法上講每一部分都是單獨的一個
命令，但是“elseif”只能跟在“if”之后使用，“else”只能用在“if”或“elseif”后面，否
則就是錯誤的。
    語法：  if <test1: test> <block1: block>
	語法：  elsif <test2: test> <block2: block>
	語法：  else <block>
這些控制命令的含義與在其它語言中的含義類似，解釋器遇到“if”時首先計算相關(guān)的
測試，如果結(jié)果為真則執(zhí)行接下來的命令塊。否則計算后面的第一個“elseif”相關(guān)的測試
（如果有的話），如果結(jié)果為真，則執(zhí)行其后的命令塊。Elseif后面可能還有其它的elsif，
如果這樣的話就反復(fù)進(jìn)行同樣的測試。如果所有的“elsif”都不成立而且出現(xiàn)了“else”，則
執(zhí)行“else”后的命令塊。這樣在多個命令塊組成的鏈中，只選擇執(zhí)行其中的一個。
下面的例子中，郵件A和B都被下載到信箱中：
   Example:  require "fileinto";
             if header :contains "from" "coyote" {
                discard;
             } elsif header :contains ["subject"] ["$$$"] {
                discard;
             } else {
                fileinto "INBOX";
             }
如果執(zhí)行下面的程序，則郵件A被轉(zhuǎn)存到acm@example.edu，而郵件B則轉(zhuǎn)存到 
postmaster@example.edu中，其他的郵件都被轉(zhuǎn)存到field@example.edu。
   Example:  if header :contains ["From"] ["coyote"] {
                redirect "acm@example.edu";
             } elsif header :contains "Subject" "$$$" {
                redirect "postmaster@example.edu";
             } else {
                redirect "field@example.edu";
             }
注意這里與C語言不同，“else”和“if”之間沒有空格，這樣做是為了避免引起混淆。
3.2.  控制結(jié)構(gòu)Require
   語法： require <capabilities: string-list>
該動作說明描述程序要使用的特定擴展，如前所述在需要規(guī)范的擴展部分時必須使用
require進(jìn)行聲明，如果需要多個擴展成分可以在一條require語句中聲明。如果出現(xiàn)require
命令，它必須放在所有其他命令之前，否則會出現(xiàn)錯誤。
   例1：  require ["fileinto", "reject"];
   例2：  require "fileinto";
           require "vacation";

3.3.  控制結(jié)構(gòu)Stop
   語法：   stop
該動作結(jié)束所有的操作，如果沒有任何操作執(zhí)行，則執(zhí)行保存。
4.   動作命令
本文定義了5個用于處理郵件的動作：keep、fileinto、redirect、reject和discard。本語
言的具體實現(xiàn)必須支持“keep”、“discard”和“redirect”三個動作，應(yīng)該提供“reject”和“fileinto”
命令，還可以對特定操作的次數(shù)予以限制。
4.1.    拒收（reject）
   語法：   reject <reason: string>
“拒收”操作是可選的命令，拒絕接收郵件并反饋給發(fā)送方一個[MDN]。這個命令把消
息返回給發(fā)送方，并說明接收方拒絕收取。在下面的程序中，消息A被拒收并返回給接收
方。
   例1：  if header :contains "from" "coyote@desert.example.org" {
                reject "I am not taking mail from you, and I don't want
                your birdseed, either!";
             }
退回郵件按照[MDN]規(guī)范必須采用MDN錯誤的格式，其中的可讀部分（MDN的第一
個成分）說明錯誤的原因，同時應(yīng)通知發(fā)送方該郵件被過濾程序拒絕了。比方說內(nèi)容可以是：
   ------------------------------------------------------------
   接收方的郵件過濾程序拒收該郵件，原因如下：
   我不接受你的郵件，也不上你的當(dāng)！
   ------------------------------------------------------------
按照MDN規(guī)范MDN操作值字段必須是“deleted”，可以采用MDN自動發(fā)送和自動操
作模式集。某些實現(xiàn)可能不支持這個可選命令，使用前必須使用require命令聲明“reject”。
4.2.  轉(zhuǎn)存（fileinto）
   語法：   fileinto <folder: string>
“轉(zhuǎn)存”操作把消息保存到指定的文件夾，實現(xiàn)應(yīng)該支持該命令，但在某些環(huán)境中也許
不能執(zhí)行這樣的操作。在使用之前應(yīng)在require命令中聲明“fileinto”。 例如下面的語句將
把消息A保存到“INBOX.harassment”文件夾中：
   Example:  require "fileinto";
             if header :contains ["from"] "coyote" {
                fileinto "INBOX.harassment";
             }

4.3.  轉(zhuǎn)發(fā)（redirect）
   語法：   redirect <address: string>
“轉(zhuǎn)發(fā)”命令用于把消息發(fā)給指定地址的另外一個用戶，它不改變消息體和消息頭，但
可以增加一個新的消息頭，這個命令修改了郵件的接收方。該命令執(zhí)行MTA類型的“重發(fā)”
操作（UNIX采用的風(fēng)格），SMTP信封上的地址被轉(zhuǎn)發(fā)命令中的新地址代替并在后臺發(fā)出。
（注意這里與MUA類型的重發(fā)不同，MUA要創(chuàng)建一個發(fā)送方和消息ID都不同的新郵件，
在新郵件內(nèi)裝上原來的郵件。）只要一條簡單的語句就可以轉(zhuǎn)發(fā)所有的郵件，例如：
   redirect "bart@example.edu";
實現(xiàn)應(yīng)該設(shè)法通過循環(huán)控制為消息加上消息頭或者計數(shù)收到的消息頭，如果實現(xiàn)檢測到
某個循環(huán)，就會導(dǎo)致錯誤。
4.4.  保存（keep）
   語法：   keep