解讀C#中的Regex1

作者：劉彥青　　

    多少年來，許多的程式設計語言和工具都包含對Regex的支援，.NET基礎類庫中包含有一個名字空間和一系列可以充分發揮規則運算式威力的類，而且它們也都與未來的Perl 5中的規則運算式相容。
  
　　此外，regexp類還能夠完成一些其他的功能，例如從右至左的結合模式和運算式的編輯等。
  
　　在這篇文章中，我將簡要地介紹System.Text.RegularExpression中的類和方法、一些字串匹配和替換的例子以及組結構的詳細情況，最後，還會介紹一些你可能會用到的常見的運算式。
  
應該掌握的基礎知識

　　規則運算式的知識可能是不少編程人員“常學常忘”的知識之一。在這篇文章中，我們將假定你已經掌握了規則運算式的用法，尤其是Perl 5中運算式的用法。.NET的regexp類是Perl 5中運算式的一個超集，因此，從理論上說它將作為一個很好的起點。我們還假設你具有了C#的文法和.NET架構的基本知識。
  
　　如果你沒有規則運算式方面的知識，我建議你從Perl 5的文法著手開始學習。在規則運算式方面的權威書籍是由傑弗裡·弗雷德爾編寫的《掌握運算式》一書，對於希望深刻理解運算式的讀者，我們強烈建議閱讀這本書。
  
RegularExpression組合體

　　regexp規則類包含在System.Text.RegularExpressions.dll檔案中，在對應用軟體進行編譯時間你必須引用這個檔案，例如：

csc r:System.Text.RegularExpressions.dll foo.cs

命令將建立foo.exe檔案，它就引用了System.Text.RegularExpressions檔案。
  
名字空間簡介

　　在名字空間中僅僅包含著6個類和一個定義，它們是：
  
　　Capture: 包含一次匹配的結果；
　　CaptureCollection: Capture的序列；
　　Group: 一次組記錄的結果，由Capture繼承而來；
　　Match: 一次運算式的匹配結果，由Group繼承而來；
　　MatchCollection: Match的一個序列；
　　MatchEvaluator: 執行替換操作時使用的代理；
　　Regex: 編譯後的運算式的執行個體。

　　Regex類中還包含一些靜態方法：

　　Escape: 對字串中的regex中的轉義符進行轉義；
　　IsMatch: 如果運算式在字串中匹配，該方法返回一個布爾值；
　　Match: 返回Match的執行個體；
　　Matches: 返回一系列的Match的方法；
　　Replace: 用替換字串替換匹配的運算式；
　　Split: 返回一系列由運算式決定的字串；
　　Unescape:不對字串中的逸出字元轉義。
  
簡單匹配

　　我們首先從使用Regex、Match類的簡單運算式開始學習。
  
Match m = Regex.Match("abracadabra", "(a|b|r)+");
  
我們現在有了一個可以用於測試的Match類的執行個體，例如：if (m.Success)...
如果想使用匹配的字串，可以把它轉換成一個字串：
  
Console.WriteLine("Match="+m.ToString());
  
這個例子可以得到如下的輸出: Match=abra。這就是匹配的字串了。
  
字串的替換

　　簡單字串的替換非常直觀。例如下面的語句：
  
string s = Regex.Replace("abracadabra", "abra", "zzzz");
  
它返回字串zzzzcadzzzz，所有匹配的字串都被替換成了zzzzz。

　　現在我們來看一個比較複雜的字串替換的例子：
  
string s = Regex.Replace(" abra ", @"^\s*(.*?)\s*$", "$1");
  
這個語句返回字串abra，其前置和尾碼的空格都去掉了。
  
　　上面的模式對於刪除任一字元串中的前置和後續空格都非常有用。在C#中，我們還經常使用字母字串，在一個字母字串中，編譯器不把字元“ \” 作為逸出字元處理。在使用字元“\”指定逸出字元時，@"..."是非常有用的。另外值得一提的是$1在字串替換方面的使用，它表明替換字串只能包含被替換的字串。
  
匹配引擎的細節

　　現在，我們通過一個組結構來理解一個稍微複雜的例子。看下面的例子：
  
string text = "abracadabra1abracadabra2abracadabra3";
  
  　　string pat = @"
  
  　　　　( # 第一個組的開始
  
  　　　　 abra # 匹配字串abra
  
  　　　　 ( # 第二個組的開始
  
  　　　　 cad # 匹配字串cad
  
  　　　　 )? # 第二個組結束（可選）
  
  　　　　) # 第一個組結束
  
  　　　　+ # 匹配一次或多次
  
  　　　　";
  
  　　//利用x修飾符忽略注釋
  
  　　Regex r = new Regex(pat, "x");
  
  　　//獲得組號碼的清單
  
  　　int[] gnums = r.GetGroupNumbers();
  
  　　//最初相符
  
  　　Match m = r.Match(text);
  
  　　while (m.Success)
  
  　　 {
  
  　　//從組1開始
  
  　　 for (int i = 1; i < gnums.Length; i++)
  
  　　　　{
  
  　　　　Group g = m.Group(gnums[i]);
  
  　　//獲得這次匹配的組
  
  　　　　Console.WriteLine("Group"+gnums[i]+"=["+g.ToString()+"]");
  
  　　//計算這個組的起始位置和長度
  
  　　　　CaptureCollection cc = g.Captures;
  
  　　　　for (int j = 0; j < cc.Count; j++)
  
  　　　　 {
  
  　　　　 Capture c = cc[j];
  
  　　　　 Console.WriteLine(" Capture" + j + "=["+c.ToString()
  
  　　　　　　 + "] Index=" + c.Index + " Length=" + c.Length);
  
  　　　　 }
  
  　　　　}
  
  　　//下一個匹配
  
  　　 m = m.NextMatch();
  
  　　 }
  
 這個例子的輸出如下所示：
　　　　　
  　　Group1=[abra]
  
  　　　　　　Capture0=[abracad] Index=0 Length=7
  
  　　　　　　Capture1=[abra] Index=7 Length=4
  
  　　Group2=[cad]
  
  　　　　　　Capture0=[cad] Index=4 Length=3
  
  　　Group1=[abra]
  
  　　　　　　Capture0=[abracad] Index=12 Length=7
  
  　　　　　　Capture1=[abra] Index=19 Length=4
  
  　　Group2=[cad]
  
  　　　　　　Capture0=[cad] Index=16 Length=3
  
  　　Group1=[abra]
  
  　　　　　　Capture0=[abracad] Index=24 Length=7
  
  　　　　　　Capture1=[abra] Index=31 Length=4
  
  　　Group2=[cad]
  
  　　　　　　Capture0=[cad] Index=28 Length=3

　　我們首先從考查字串pat開始，pat中包含有運算式。第一個capture是從第一個圓括弧開始的，然後運算式將匹配到一個abra。第二個capture組從第二個圓括弧開始，但第一個capture組還沒有結束，這意味著第一個組匹配的結果是abracad ，而第二個組的匹配結果僅僅是cad。因此如果通過使用？符號而使cad成為一項可選的匹配，匹配的結果就