For Gauche 0.9.15Search (procedure/syntax/module):

Next: , Previous: , Up: ライブラリモジュール - SRFI   [Contents][Index]

11.6 srfi.13 - 文字列ライブラリ

Module: srfi.13

文字列に関連する手続きの大きなセットを定義しています。

これは広く使われた初期のsrfiのひとつですが、いくつかの手続きは その後のSchemeの発展と相性が良くないということがわかってきました。 srfi.152 - 文字列ライブラリ(簡略版)srfi.130 - カーソルを使う文字列ライブラリでは このsrfiをより「現代的」なものにしようとしています。 新規に開発する場合はそれらのsrfiを見てみると良いでしょう。

このsrfiの多くの手続きは、文字列中の文字の位置を整数のインデックスで表します。 これはポータブルですが、マルチバイト文字列では効率が悪いです。 Gaucheは組み込みでより効率のよい文字列カーソルをサポートしており(文字列カーソル)、 SRFI-13の手続きは全て文字列インデックスを受け取るところに文字列カーソルも 渡せるようになっています。


11.6.1 一般規約

文字列ライブラリのAPIにはいくつか共通するものがありますが、 それぞれの関数の説明において繰り返しません。

引数の仕様

以下の引数名はその型を暗に表しています。

s, s1, s2

これらの引数は文字列でなければなりません。

char/char-set/pred

この引数は、文字、文字集合オブジェクト、あるいは1つの文字を引数に取り 真偽値を返す述語のいずれかです。“文字にchar/char-set/predを適用する” の意味はそれぞれ、char/char-set/predが文字ならば与えられた文字と比較される、 char/char-set/predが文字集合ならばその文字集合に与えられた文字が 含まれるかを検査する、char/char-set/predが述語ならばそれを与えられた 文字に適用する、となります。“ある文字がchar/char-set/predを満足する” とは、その文字への前述のような適用が真値を返すという意味になります。

start, end

SRFI-13の関数の多くは、その操作が実行される対象入力文字列の 範囲を限定する開始インデックスと終了インデックスをオプショナルな 引数として取ります。開始(start番目)の文字は含まれ、 終了(end番目)の文字は含まれません。 これらが指定されるとき、0 <= start <= end <= length of the stringが 満たされなければなりません。startendのデフォルト値は、 それぞれ0と文字列の長さです。

sharedバージョン

いくつかの関数は、その名前に“/shared”が付きます。 SRFI-13では、それらの関数はより良いパフォーマンスのために 入力文字列の一部を共有しても良いと定義しています。 Gaucheは、共有文字列という概念を持っていませんし、 それらの関数は単に共有でないバージョンの変名に過ぎません。 しかし、Gaucheは内部的には文字列の保存場所を共有しているので、 一般的には部分文字列をコピーするオーバヘッドについて心配する 必要はありません。

rightバージョン

ほとんどの関数は、入力文字列を左から右へと扱います。 いくつかの関数は、その名前に“-right”が付き、右から左へと 扱うものがあります。


11.6.2 文字列についての述語

Function: string-null? s

[SRFI-13]{srfi.13} sが空文字列、""なら、#tを返します。

Function: string-every char/char-set/pred s :optional start end

[SRFI-13]{srfi.13} sに含まれる全ての文字がchar/char-set/predを 満足するかを検査します。満足するならば、string-everyは 最後に適用されたchar/char-set/predが返した値を戻り値とします。 どの適用も#fを返した場合は、string-everyはすぐに #fを返します。

Function: string-any char/char-set/pred s :optional start end

[SRFI-13]{srfi.13} sに含まれるいずれかの文字がchar/char-set/pred を満足するかを検査します。いずれかの文字が満足するならば、 string-anyはその適用が返した値を戻り値とします。 どの文字もchar/char-set/predを満たさなければ、#fが返ります。


11.6.3 文字列の構築子

Function: string-tabulate proc len

[SRFI-13]{srfi.13} procは整数を1つ引数として取り文字を返す手続きで なければなりません。string-tabulateは、そのi番目の 文字が(proc i)で計算されるような文字列を返します。

(string-tabulate
  (lambda (i) (integer->char (+ i #x30))) 10)
 ⇒ "0123456789"
Function: string-unfold p f g seed :optional base make-final

[SRFI-13]{srfi.13} 基本的な文字列構築手続きです。 pfgは手続きで、現在のシード値を受けとります。 停止述語pはいつ繰り返しを止めるかを判断します。それが真の値を返したら、 文字列構築は終了し、それまでに生成された文字が集められて文字列として返されます。 fはシード値から文字を生成する手続きです。gはシード値から次のシード値を 生成します。seed引数はシード値の初期値を指定します。

(string-unfold (^n (= n 10))
               (^n (integer->char (+ n 48)))
               (^n (+ n 1))
               0)
  ⇒ "0123456789"

省略可能引数baseは、与えられれば生成される文字列のプレフィクスとなります。 make-finalは手続きで、繰り返しが終了した後の最後のシード値を受け取り、 文字列のサフィックスを返します。

(string-unfold (^n (= n 10))
               (^n (integer->char (+ n 48)))
               (^n (+ n 1))
               0 "foo" x->string)
  ⇒ "foo012345678910"
Function: string-unfold-right p f g seed :optional base make-final

[SRFI-13]{srfi.13} もうひとつの基本的な文字列構築器です。引数の意味はstring-unfoldと 同じですが、fの返す文字が右から左へと並べられます。 また、章句可能なbase引数はサフィックスに、 make-finalが返す文字列はプレフィクスになります。

(string-unfold-right (^n (= n 10))
                     (^n (integer->char (+ n 48)))
                     (^n (+ n 1))
                     0 "foo" x->string)
  ⇒ "109876543210foo"
Function: reverse-list->string char-list

[SRFI-13]{srfi.13} ≡ (list->string (reverse char-list)).


11.6.4 文字列の選択

Function: substring/shared s start :optional end

[SRFI-13]{srfi.13} Gaucheでは、引数endがオプショナルであることを除いて、 substringと同じです。

(substring/shared "abcde" 2) ⇒ "cde"
Function: string-copy! target tstart s :optional start end

[SRFI-13]{srfi.13} 文字列sを、文字列targettstart番目以降へコピーします。 target文字列は変更可能でなければなりません。 オプションの引数startendは、sの範囲を制限します。 コピーされた文字列がtargetの終端を越えたらエラーが通知されます。

(define s (string-copy "abcde"))
(string-copy! s 2 "ZZ")
s ⇒ "abZZe"

targetsに同じ文字列を渡しても構いません。コピー元とコピー先の 領域が重なっていても、コピーは常に正しく行われます。

Gaucheでは、文字列を変更不可なオブジェクトとして扱うことを強く推奨しています。 内部的に、文字列オブジェクトは変更不可な文字列の実体へのポインタとなっています。 文字列を変更すると、新たな文字列実体がアロケートされそれが変更されるので、 破壊的手続きを使えばメモリアロケーションが節約できるということはありません。 どうしても文字列そのものを破壊的変更したい場合でない限りは、 非破壊版のstring-copyを使いましょう。文字列を扱うその他の手続き参照。

Function: string-take s nchars
Function: string-drop s nchars
Function: string-take-right s nchars
Function: string-drop-right s nchars

[SRFI-13]{srfi.13} string-takeは、sの最初のnchars文字からなる文字列を返します。 string-dropは、sから最初のnchars文字からなる文字列を 除いた残りを返します。*-rightバージョンは、文字列の最後から数えます。 返される文字列はいつもsのコピーであり、どの文字も削除されないことが 保証されています。

(string-take "abcde" 2) ⇒ "ab"
(string-drop "abcde" 2) ⇒ "cde"

(string-take-right "abcde" 2) ⇒ "de"
(string-drop-right "abcde" 2) ⇒ "abc"
Function: string-pad s len :optional char start end
Function: string-pad-right s len :optional char start end

[SRFI-13]{srfi.13} 文字列slenより短い場合は、charがそれぞれ左か 右にパディングされた長さlenの文字列を返します。 slenよりも長い場合は、len文字が右端か左端から 取り除かれます。Charのデフォルト値は#\spaceです。 startendが与えられると、sの部分文字列がソース 文字列として使われます。

(string-pad "abc" 10)    ⇒ "       abc"
(string-pad "abcdefg" 3) ⇒ "efg"

(string-pad-right "abc" 10) ⇒ "abc       "

(string-pad "abcdefg" 10 #\+ 2 5)
  ⇒ "+++++++cde"
Function: string-trim s :optional char/char-set/pred start end
Function: string-trim-right s :optional char/char-set/pred start end
Function: string-trim-both s :optional char/char-set/pred start end

[SRFI-13]{srfi.13} sからchar/char-set/predにマッチする文字を削除します。 String-trimsの左から文字を削除し、 string-trim-rightは右から、string-trim-bothは 両端から削除します。 Char/char-set/predのデフォルト値は#[\s]、つまり空白文字の 文字集合です。startendが与えられると、sの部分文字列が ソース文字列として使われます。

(string-trim "   abc  ")       ⇒ "abc  "
(string-trim-right "   abc  ") ⇒ "   abc"
(string-trim-both "   abc  ")  ⇒ "abc"

11.6.5 文字列の色々な比較

Function: string-compare s1 s2 proc< proc= proc> :optional start1 end1 start2 end2
Function: string-compare-ci s1 s2 proc< proc= proc> :optional start1 end1 start2 end2

[SRFI-13]{srfi.13} 文字列s1s2をコードポイント毎に左から比較します。 不一致がs1のインデックスkで見つかった場合、対応するs2の コードポイントよりs1のコードポイントの方が小さければ proc<kを引数にして呼び出し、逆に大きければ proc>kを引数にして呼び出します。 二つの文字列が等しければ、proc=が、s1の比較された最後のインデックスを 引数にして呼び出されます。

(string-compare "abcd" "abzd"
                (^i `(< ,i)) (^i `(= ,i)) (^i `(> ,i)))
  ⇒ (< 2)

(string-compare "abcd" "abcd"
                (^i `(< ,i)) (^i `(= ,i)) (^i `(> ,i)))
  ⇒ (= 3)

省略可能引数は入力の文字列の比較すべき範囲を制限します。 但し、proc<proc=proc>に渡されるインデックスは 常にs1の最初から数えたものになります。

(string-compare "zzabcdyy" "abcz"
   (^i `(< ,i)) (^i `(= ,i)) (^i `(> ,i)) 2 6 0 4)
 ⇒ (< 5)

(string-compare "zzabcdyy" "abcz"
   (^i `(< ,i)) (^i `(= ,i)) (^i `(> ,i)) 2 5 0 3)

 ⇒ (= 4)

string-compare-ciは大文字小文字を区別しない比較です。 文字毎の大文字小文字変換を行って比較するので、文字列の長さが変わる 大文字小文字変換のケース (ドイツ語のエスツェット等) は考慮されません。

Function: string= s1 s2 :optional start1 end1 start2 end2
Function: string<> s1 s2 :optional start1 end1 start2 end2
Function: string< s1 s2 :optional start1 end1 start2 end2
Function: string<= s1 s2 :optional start1 end1 start2 end2
Function: string> s1 s2 :optional start1 end1 start2 end2
Function: string>= s1 s2 :optional start1 end1 start2 end2

[SRFI-13]{srfi.13} 二つの文字列s1s2を比較します。省略可能引数で それぞれの文字列の一部のみを比較するように指定できます。 比較は文字ごとに行われます。

註: 組み込み手続きのstring=?等も文字毎の比較に使えますが、 引数の取り方が違います。文字列の色々な比較参照。

Function: string-ci= s1 s2 :optional start1 end1 start2 end2
Function: string-ci<> s1 s2 :optional start1 end1 start2 end2
Function: string-ci< s1 s2 :optional start1 end1 start2 end2
Function: string-ci<= s1 s2 :optional start1 end1 start2 end2
Function: string-ci> s1 s2 :optional start1 end1 start2 end2
Function: string-ci>= s1 s2 :optional start1 end1 start2 end2

[SRFI-13]{srfi.13} 二つの文字列s1s2を、大文字小文字を区別せずに比較します。 省略可能引数でそれぞれの文字列の一部のみを比較するように指定できます。 大文字小文字の畳み込みと比較は文字ごとに行われます。複数の文字に 影響を与えるような大文字小文字の畳み込みは考慮しません。

註: Gaucheには他に2種類の大文字小文字を区別しない文字列比較手続き群があります。 どちらもstring-ci=?等のようにクエスチョンマーク付きの名前を持っています。 Gauche組み込みのものは文字毎に大文字小文字を畳み込みます (文字列の色々な比較参照)。一方、gauche.unicodeにあるものは 文字列としての畳み込みを行います(フルセットの大文字小文字変換参照)。 R7RS版は後者です。

Function: string-hash s :optional bound start end
Function: string-hash-ci s :optional bound start end

[SRFI-13]{srfi.13} (註: Gaucheは、SRFI-128に準拠したstring-hashstring-ci-hashを 組み込みで持っています。詳しくはハッシュ参照。 SRFI-13のAPIはSRFI-128の上位互換になっています。内部で使っているハッシュ アルゴリズムは一緒なので、省略可能引数を全て省略したSRFI-13のstring-hashは、 組み込みのstring-hashと同じ値を返します。 一方、組み込みのstring-ci-hashは文字列として大文字小文字の畳み込みを 行います(ドイツ語のエスツェットとSSは等しく扱われます)が、SRFI-13の string-hash-ciは文字毎に大文字小文字を畳み込むように定められているので、 結果が異なる可能性があります。特に強い理由がなければ、新しいコードは 組み込みのSRFI-128版を使うことをおすすめします。)

文字列sのハッシュ値を計算して返します。string-hash-ciでは ハッシュ値を計算する前に各文字について大文字小文字を畳み込みを行います。

省略可能引数boundは、与えられたなら正の正確な整数でなければならず、 返される値は0から(- bound 1)までの値に制限されます。 startendは、与えられればs中の対象となる部分文字列を 指定します。


11.6.6 文字列のプリフィックスとサフィックス

Function: string-prefix-length s1 s2 :optional start1 end1 start2 end2
Function: string-suffix-length s1 s2 :optional start1 end1 start2 end2
Function: string-prefix-length-ci s1 s2 :optional start1 end1 start2 end2
Function: string-suffix-length-ci s1 s2 :optional start1 end1 start2 end2

[SRFI-13]{srfi.13} 二つの文字列s1s2の、共通するプレフィクスもしくはサフィックスの 長さを返します。省略可能引数はそれぞれの文字列の探索範囲を限定します。 *-ci版は文字ごとに、大文字小文字を区別しない比較を行います。

(string-prefix-length "abacus" "abalone")   ⇒ 3
(string-prefix-length "machine" "umbrella") ⇒ 0
(string-suffix-length "peeking" "poking")   ⇒ 4

(string-prefix-length "obvious" "oblivious" 2 7 4 9)
  ⇒ 5
Function: string-prefix? s1 s2 :optional start1 end1 start2 end2
Function: string-suffix? s1 s2 :optional start1 end1 start2 end2
Function: string-prefix-ci? s1 s2 :optional start1 end1 start2 end2
Function: string-suffix-ci? s1 s2 :optional start1 end1 start2 end2

[SRFI-13]{srfi.13} それぞれ、s1s2のプレフィクスまたはサフィックスになっていた場合に #tを、それ以外の場合に#fを返します。 省略可能引数はそれぞれの文字列の探索範囲を限定します。 *-ci版は文字ごとに、大文字小文字を区別しない比較を行います。

(string-prefix? "sch" "scheme")   ⇒ #t
(string-prefix? "lisp" "scheme")  ⇒ #f

(string-suffix? "eme" "scheme")   ⇒ #t
(string-suffix? "eme" "lisp")     ⇒ #f

(string-prefix? "mit-scheme" "scheme-family" 4) ⇒ #t

11.6.7 文字列の探索

Function: string-index s char/char-set/pred :optional start end
Function: string-index-right s char/char-set/pred :optional start end

[SRFI-13]{srfi.13} 文字列sの中で、char/char-set/predにマッチする 最初の要素を探し、そのインデックスを返します。 sの中にchar/char-set/predが見つからない場合は、#fを 返します。オプションのstartendは、sの中で検索対象と なる範囲を制限します。

(string-index "Aloha oe" #\a) ⇒ 4
(string-index "Aloha oe" #[Aa]) ⇒ 0
(string-index "Aloha oe" #[\s]) ⇒ 5
(string-index "Aloha oe" char-lower-case?) ⇒ 1
(string-index "Aloha oe" #\o 3) ⇒ 6

ポータビリティよりも速度を重視する場合は、Gaucheのビルトイン手続き string-scan(文字列を扱うその他の手続き)を参照して下さい。

Function: string-skip s char/char-set/pred :optional start end
Function: string-skip-right s char/char-set/pred :optional start end

[SRFI-13]{srfi.13} char/char-set/predにマッチしない最初の要素を探し、 そのインデックスを返します。そのような要素が見つからない場合、#fを 返します。オプションのstartendは、sの中で検索対象と なる範囲を制限します。

Function: string-count s char/char-set/pred :optional start end

[SRFI-13]{srfi.13} sの中で、char/char-set/predにマッチする要素の数を カウントします。オプションのstartendは、sの中で検索対象と なる範囲を制限します。

Function: string-contains s1 s2 :optional start1 end1 start2 end2
Function: string-contains-ci s1 s2 :optional start1 end1 start2 end2

[SRFI-13]{srfi.13} s1の中で、文字列s2を探します。見つかった場合は、 s1でマッチした文字列が始まるインデックスを返します。そうでなければ、 #fを返します。 オプションのstart1end1start2end2は、 s1s2の範囲を制限します。

ポータビリティよりも速度を重視する場合は、Gaucheのビルトイン手続き string-scan(文字列を扱うその他の手続き)を参照して下さい。


11.6.8 文字列のケース(大文字小文字)マッピング

Function: string-titlecase s :optional start end
Function: string-titlecase! s :optional start end
Function: string-upcase s :optional start end
Function: string-upcase! s :optional start end
Function: string-downcase s :optional start end
Function: string-downcase! s :optional start end

[SRFI-13]{srfi.13} 文字列sをタイトルケース、大文字、小文字にそれぞれ変換します。 これらの手続きは、文字ごとにchar-upcase等を使った変換を行います。 すなわち、string-upcasestring-downcaseは以下の操作と 考えることができます。

(string-upcase s)
  ≡ (string-map char-upcase s)
(string-downcase s)
  ≡ (string-map char-downcase s)

一文字がケース変換によって複数文字になるような場合も考慮したい場合は、 gauche.unicodeモジュールに定義されている同名の手続きを使ってください (フルセットの大文字小文字変換参照)。

string-titlecase!string-upcase!string-downcase!はその場で更新するバージョンで、sを破壊的に 変更します。ただし、Gaucheでは文字列の変更は新たな文字列を作るのと効率的に 何ら変わりがありません。これらの手続きは互換性のためだけに用意されています。


11.6.9 文字列の反転と追加

Function: string-reverse s :optional start end
Function: string-reverse! s :optional start end

[SRFI-13]{srfi.13} sの文字の位置を逆順にした文字列を返します。 string-reverse!sそのものを変更します。

(string-reverse "mahalo") ⇒ "olaham"
(string-reverse "mahalo" 3) ⇒ "ola"
(string-reverse "mahalo" 1 4) ⇒ "aha"

(let ((s (string-copy "mahalo")))
  (string-reverse! s 1 5)
  s)
  ⇒ "mlahao"
Function: string-concatenate string-list

[SRFI-13]{srfi.13} 文字列のリストを連結します。

(string-concatenate '("humuhumu" "nukunuku" "apua" "`a"))
  ⇒ "humuhumunukunukuapua`a"
Function: string-concatenate/shared string-list
Function: string-append/shared s …

[SRFI-13]{srfi.13} string-concatenatestring-appendの“共有” バージョンです。Gaucheでは、これらは単に別名です。

Function: string-concatenate-reverse string-list
Function: string-concatenate-reverse/shared string-list

[SRFI-13]{srfi.13} string-listを連結する前に逆順にします。 Gaucheでは、“共有”バージョンは全く同じ動作をします。


11.6.10 文字列のマッピング

Function: string-map! proc s :optional start end

[SRFI-13]{srfi.13} string-map!は、sの全ての文字に対してprocを 適用し、その結果をsに格納します。 procは文字を返さねばなりません。

(let ((s (string-copy "wikiwiki")))
  (string-map! char-upcase s 4)
  s)
  ⇒ "wikiWIKI"
Function: string-fold kons knil s :optional start end
Function: string-fold-right kons knil s :optional start end

[SRFI-13]{srfi.13} 文字列に対して動作するfoldfold-right (リストをたどる手続き参照) です。

(string-fold cons '() "abcde")
  ⇒ (#\e #\d #\c #\b #\a)
(string-fold-right cons '() "abcde")
  ⇒ (#\a #\b #\c #\d #\e)
Function: string-for-each-index proc s :optional start end

[SRFI-13]{srfi.13} procsの各文字について、左から右の順に呼びます。procの結果は 捨てられます。 省略可能なstartend引数は整数の文字インデックスか 文字列カーソルで、対象となる文字列の範囲を制限します。


11.6.11 文字列のローテーション

Function: xsubstring s from :optional to start end

[SRFI-13]{srfi.13} sが左右に無限に繰り替えされているとみなし、その整数インデックス のfromからtoまでを切り出して返します。 toが省略された場合はsの長さが使われます。

例えば、sabcdeの場合、まずそれを無限の 文字列...abcdeabcdeabcde...とみなします。 つまり整数nに対して5n番目の文字は常に#\aです。 これはnが負の領域にも拡張されます。

(xsubstring "abcde" 2 10)
  ⇒ "cdeabcde"
(xsubstring "abcde" -9 -2)
  ⇒ "bcdeabc"

省略可能なstartend引数は整数の文字インデックスか 文字列カーソルで、与えられた場合、 (xsubstring (substring s start end) from to)と同じ動作となります。

Function: string-xcopy! target tstart s sfrom :optional sto start end

[SRFI-13]{srfi.13} (string-copy! target tstart (xsubstring s sfrom sto start end)) と同じ動作をします。


11.6.12 他の文字列操作

Function: string-replace s1 s2 start1 end1 :optional start2 end2

[SRFI-13]{srfi.13} 文字列s1start1文字目(inclusive)からend1文字目(exclusive) までを文字列s2に置き換えた文字列を新たに作って返します。s1, s2は 変更されません。 オプショナルな引数start2end2が与えられた場合は、 s2がまずそれらによって切り取られて置換文字列として使われます。 置き換える隙間の大きさ、つまり(- end1 start1)s2と同じ長さである必要はありません。 実質的に、この手続きは次のコードと等価です。

(string-append (substring s1 0 start1)
               (substring s2 start2 end2)
               (substring s1 end1 (string-length s1)))
Function: string-tokenize s :optional token-set start end

[SRFI-13]{srfi.13} 文字列 s を、token-set で指定される文字集合で 構成される、空でない最大限連続した文字のシーケンスのそれぞれを 要素とするリストを返します。 token-set のデフォルト値は char-set:graphic (定義済み文字集合参照)。

同様の機能を提供する、しかし異なる基準を持つ、Gauche の組み込み手続き string-split (文字列を扱うその他の手続き 参照) も見て下さい。


11.6.13 文字列のフィルタリング

Function: string-filter char/char-set/pred s :optional start end
Function: string-delete char/char-set/pred s :optional start end

[SRFI-13]{srfi.13} それぞれ、文字列s中の文字のうちchar/char-set/predで示される テストを通る、または通らない文字からなる文字列を返します。

(string-filter char-upper-case? "Hello, World!")
  ⇒ "HW"

(string-delete char-upper-case? "Hello, World!")
  ⇒ "ello, orld!"

(string-delete #\l "Hello, World!")
  ⇒ "Heo, Word!"

(string-filter #[\w] "Hello, World!")
  ⇒ "HelloWorld"

註: SRFI-13は制定後に改訂され、引数char/char-set/predsの 順序が逆になりました。制定時点では引数順は (string-filter s pred)で、Gaucheもそれに従って実装していました。 しかし既存の実装のほとんどは(string-filter pred s)という順序に なっています。SRFI-13の参照実装がそうだったからです。

0.9.4からGaucheも現在のSRFI-13の実装に合わせましたが、 以前の仕様で書かれたコードとの互換性を保つため、 引数順を逆にしても動作するようになっています。 新しく書かれるコードは、現在のSRFI-13の引数順を使うのが良いでしょう。


11.6.14 低レベルな文字列に関する手続き

SRFI-13に似せた他の文字列処理ユーティリティを書くのに便利なヘルパー関数です。

Function: string-parse-start+end proc s args
Function: string-parse-final-start+end proc s args

[SRFI-13]{srfi.13} 多くのSRFI-13の手続きは、省略可能引数としてstartとend引数を取ります。 この手続きは、残余引数リストargsにstartとendが指定されているかを調べ、 指定されていればそれらを、されていなければ適切なデフォルト値を返します。

procはエラー通知に使われる手続きの名前 (シンボル)、 sは処理すべき文字列です。

どちらの手続きも、argsの最初にstart引数があり、その次にend引数が あることを期待します。end引数が省略されていた場合はsの長さが、 start引数も省略されていた場合は0が使われます。 引数が与えられた場合は、それらは正確な整数で 0 <= start <= end <= (string-length s) を満たしていなければなりません。そうでなければエラーが投げられます。

argsに二つ以上の引数が含まれていた場合、 string-parse-final-start+endはエラーを通知します (つまり、最長でも引数リストがend引数で終わる場合に使えます)。 一方、string-parse-start+endは、余分な引数を許し、それを start/endの値とともに返します。

どちらの関数も3つの値を返します。余分な引数のリスト、startの値、endの値です。

Macro: let-string-start+end (start end [rest]) proc-exp s-exp args-exp body …

[SRFI-13]{srfi.13}

Function: check-substring-spec proc s start end
Function: substring-spec-ok? s start end

[SRFI-13]{srfi.13}

Function: make-kmp-restart-vector s :optional c= start end

[SRFI-13]{srfi.13}

Function: kmp-step pat rv c i c= p-start

[SRFI-13]{srfi.13}

Function: string-kmp-partial-search pat rv s i :optional c= p-start s-start s-end

[SRFI-13]{srfi.13}


Next: , Previous: , Up: ライブラリモジュール - SRFI   [Contents][Index]


For Gauche 0.9.15Search (procedure/syntax/module):