FORMAT與PRINTF的用法

REBOL 3.0提供format與printf函數，這兩個函數的參數完全一樣。Format函數會傳出格式化的字串，而printf則會印出格式化的字串。事實上，printf內部直接呼叫format。

>> source printf
printf: make function! [[
    "Formatted print."
    fmt "Format"
    val "Value or block of values"
][
    print format :fmt :val
]]
>>

下面是它們的使用範例：

>> format [ 20 #"/" -10 ] [ %my-rebol-file.r 31023 ]
== "my-rebol-file.r     /     31023"

>> printf [ 20 #"/" -10 ] [ %my-rebol-file.r 31023 ]
my-rebol-file.r     /     31023
>>

printf與format都需要兩個參數，第一個是格式規則，第二個是代換內容的區塊（block）。格式規則區塊內可以出現四種元素：

• 正整數：指定內容長度，如果內容超過指定長度，則自動放寬。如果內容不滿指定長度，則「補上空白」，且內容「向左對齊」。
• 負整數：指定內容長度，如果內容超過指定長度，則自動放寬。如果內容不滿指定長度，則「補上空白」，且內容「向右對齊」。
• 字元：直接放置一個字元
• 字串：直接放置此字串

使用format時，還可以透過/pad，指定補上某字元（或字串），而不是補上空白。例如：

>> format/pad [ 20 #"/" -10 ] [ %my-rebol-file.r 31023 ] #"."
== "my-rebol-file.r...../.....31023"

Format函數與寬字元

REBOL 3.0有提供一個函數名為format，用來進行輸出文字的格式化。許多函數都會用到format，例如what、ls。

format一遇到中文就會失靈，輸出格式亂掉，這是因為中文字是寬字元（Wide Character）。為了要修正format的此錯誤，我剛剛把Unicode Standard Annex #11 (East Asian Width) 所附的檔案整理過，找出其中屬於Full-Width與Wide的字元。接下來，就等我（或任何人）有空去修正format函數的定義了。

full-wide-width-charset: charset [
 #"^(1100)" - #"^(1159)"
 #"^(115F)"
 #"^(2329)" - #"^(232A)"
 #"^(2E80)" - #"^(2E99)"
 #"^(2E9B)" - #"^(2EF3)"
 #"^(2F00)" - #"^(2FD5)"
 #"^(2FF0)" - #"^(2FFB)"
 #"^(3000)" - #"^(303E)"
 #"^(3041)" - #"^(3096)"
 #"^(3099)" - #"^(30FF)"
 #"^(3105)" - #"^(312D)"
 #"^(3131)" - #"^(318E)"
 #"^(3190)" - #"^(31B7)"
 #"^(31C0)" - #"^(31E3)"
 #"^(31F0)" - #"^(321E)"
 #"^(3220)" - #"^(3243)"
 #"^(3250)" - #"^(32FE)"
 #"^(3300)" - #"^(33FF)"
 #"^(3400)" - #"^(4DB5)"
 #"^(4E00)" - #"^(9FC3)"
 #"^(A000)" - #"^(A48C)"
 #"^(A490)" - #"^(A4C6)"
 #"^(AC00)" - #"^(D7A3)"
 #"^(F900)" - #"^(FA2D)"
 #"^(FA30)" - #"^(FA6A)"
 #"^(FA70)" - #"^(FAD9)"
 #"^(FE10)" - #"^(FE19)"
 #"^(FE30)" - #"^(FE52)"
 #"^(FE54)" - #"^(FE66)"
 #"^(FE68)"
 #"^(FF01)" - #"^(FF60)"
 #"^(FFE0)" - #"^(FFE6)"
]

關於集合的基本運算

REBOL有一個unique函數，可以將一個集合內重複出現的元素移除，例如：

>> unique [1 2 1 2 3]
== [1 2 3]

REBOL有四個函數，可以進行兩個集合的計算，這四個函數分別是union、intersect、exclude、difference，其作用如圖所示。 使用union、intersect、exclude、difference所得到的結果，一定不會有重複的元素，感覺就像是使用unique處理過一樣。這是因為，一旦使用這四個函數，就等於是將引數視為「集合」，而數學上對集合的定義，本來就是不可以有重複的元素。例如：

>> union [1 2 1] [1 3 1]
== [1 2 3]

上述五個函數都具有/skip和/case兩個修飾（refinement）。/case表示區分大小寫（不加上此refinement則不會區分大小寫）。/skip需要一個整數引數n，表示每n個元素被視為一筆記錄。

這裡所謂的集合，包括了string!、block!、以及bitset!。

bitset本來就是不會重複的字元集合，所以對bitset使用unique函數並不會產生任何作用。這五個集合函數作用在bitset上的時候，不可以搭配/case或/skip。這五個集合函數用在string時，不可以搭配/skip。

請注意，unique會造成原本集合的改變，但union、intersect、exclude、difference則不會破壞原來的集合。

另外，complement函數可以用來為bitset進行反相，但是目前alpha版尚未定義實際的作法。