条件.NET正则表达式

Question

我想写一个名为F＃.NET布尔函数IsStrValid使用决定是否给定的字符串正则表达式s确认以下规则与否：

• s长4个字符
• 第1和第3个字符是A，B或C.
• 第二个字符是1,2或3
• 第4个字符是1,2或3，除了第1个和第3个字符相同时 - 第4个字符不能与第2个字符相同。

例如：

IsStrValid "A3B3" //true
IsStrValid "A3A3" //false

这是我走了多远; 卡在条件部分（ ??? ）：

let IsStrValid (s : string) =   
    Regex.IsMatch(s, @"^([ABC])([123])([ABC])(?(???)[123]|[???])$")

Answer 1

虽然正则表达式支持反向引用 ，但尝试执行复杂的逻辑，如“如果X然后Y”则相当困难。 您可以使用负前瞻断言执行类似的操作：

let IsStrValid (s : string) = 
    Regex.IsMatch(s, @"^([ABC][123])(?!\1)[ABC][123]$")

然而，正如Mathew 所说 ，如果它变得比这更复杂，那么直接测试条件可能更容易，如下所示：

let IsStrValid (s : string) =
    let isLet i = Seq.exists ((=)s.[i]) ['A'; 'B'; 'C']
    let isNum i = Seq.exists ((=)s.[i]) ['1'; '2'; '3']
    (s.Length = 4) && (isLet 0) && (isNum 1) && (isLet 2) && (isNum 3) &&
    (s.[0] <> s.[2]) || (s.[1] <> s.[3]) 

Answer 2

这听起来像条件​​的完美应用，但它们实际上使这项工作更加困难，而不是更少。 以老式的方式做到这一点要容易得多。

^
([ABC])
([123])
(?:
   (?!\1)[ABC][123]
 |
   \1(?!\2)[123]
)
$

这几乎逐字地实现了您的描述。 如果第三个字符是允许的字母之一，但与第一个字符不同，请抓取它和任何允许的数字。 如果第三个字符与第一个字符相同，则抓住它后跟一个允许的数字，除非它与第一个数字相同。

但我认为即使这比它需要的更复杂。 在我看来，您的要求可以重新设置为与正则表达式[ABC][123]匹配的两对连续字符，但不能相互匹配

^([ABC])([123])(?!\1\2)[ABC][123]$

Answer 3

我同意Matthew的说法，没有理由使用正则表达式。 然而，即使没有反向引用，它当然也是可能的。 首先，有一组有限的字符串，所以你可以把它们全部列出来（或者写一个简单的函数来生成这个字符串）：

A1A2|A1A3|A1B1|A1B2|...

但是，提出一种略显荒谬的方法也很容易。 您需要第一个和第三个字符不同，或者第二个和第四个字符不同（或两个），因此您可以明确地写出它（使用RegexOptions.IgnorePatternWhitespace ）：

[A-C]1[A-C](2|3) |
[A-C]2[A-C](1|3) |
[A-C]3[A-C](2|3) |
A[1-3](B|C)[1-3] |
B[1-3](A|C)[1-3] |
C[1-3](A|B)[1-3]

或者您可以对此进行不同的分组以分解一些重复：

[A-C](1[A-C](2|3)|
      2[A-C](1|3)|
      3[A-C](1|2))|
(A[1-3](B|C)|
 B[1-3](A|C)|
 C[1-3](A|B))[1-3]