正規表現を使用してOcamlの正確な文字列に一致する

Question

Ocamlで正規表現を使用して完全一致を見つける方法は？

let contains s1 s2 = 
let re = Str.regexp_string s2 
in 
try ignore (Str.search_forward re s1 0); true 
with Not_found -> false 

s2は「_X_1」で、s1は、「A_1_X_1」、「A_1_X_2」のような文字列を供給....ので、関数への上に「含む」：例えば、私はこのようなコードを持っています。目的は、s1が「A_1_X_1」のときに完全一致を見つけることです。しかし、現在のコードでは、s1が "A_1_X_10"、 "A_1_X_11"、 "A_1_X_100"などであっても一致します。

"_X_1"、 "[_X_1] $"は "_X_1"ではなく[動作していないようです。誰かが間違っていることを示唆することはできますか？

Answer 1

あなたは、行の末尾に一致するように$メタ文字を使用することができます（これは文字列が複数の行を含んでいないと仮定した場合、文字列の終わりです）。しかし、あなたはそれをStr.regexp_stringに置くことはできません。メタキャラクターをエスケープするだけです。あなたは、まず、実際の部分文字列の部分を引用して、$を追加して、そこから正規表現を作成する必要があります。

文字通り渡された文字列にマッチする正規表現を生成しますが、 `Str.regexp_string`を使用

let endswith s1 s2 = 
    let re = Str.regexp (Str.quote s2^"$") 
    in 
    try ignore (Str.search_forward re s1 0); true 
    with Not_found -> false 

Answer 2

正規表現は入力のどこでも一致しますので、表示される動作は正常です。

正規表現をアンカーする必要があります。^_X_1$。

また、[_x_1]は助けにはなりません：[...]あなたがx、1または_ある文字にマッチする正規表現エンジンを尋ねるここで、文字クラスです。

Answer 3

Str.match_endは何が必要です：

この定義に

let ends_with patt str = 
    let open Str in 
    let re = regexp_string patt in 
    try 
    let len = String.length str in 
    ignore (search_backward re str len); 
    match_end() == len 
    with Not_found -> false 

、機能はあなたが必要として動作します。

# ends_with "_X_1" "A_1_X_10";; 
- : bool = false 
# ends_with "_X_1" "A_1_X_1";; 
- : bool = true 
# ends_with "_X_1" "_X_1";; 
- : bool = true 
# ends_with "_X_1" "";; 
- : bool = false