﻿<?xml version="1.0" encoding="utf-8" standalone="yes"?><rss version="2.0" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:trackback="http://madskills.com/public/xml/rss/module/trackback/" xmlns:wfw="http://wellformedweb.org/CommentAPI/" xmlns:slash="http://purl.org/rss/1.0/modules/slash/"><channel><title>C++博客-eXile 的专栏-随笔分类-编程与设计</title><link>http://www.cppblog.com/eXile/category/7020.html</link><description /><language>zh-cn</language><lastBuildDate>Thu, 28 Jan 2010 22:25:12 GMT</lastBuildDate><pubDate>Thu, 28 Jan 2010 22:25:12 GMT</pubDate><ttl>60</ttl><item><title>说说C++智能指针(2): 标准库中的智能指针</title><link>http://www.cppblog.com/eXile/archive/2009/11/16/101062.html</link><dc:creator>eXile</dc:creator><author>eXile</author><pubDate>Mon, 16 Nov 2009 05:57:00 GMT</pubDate><guid>http://www.cppblog.com/eXile/archive/2009/11/16/101062.html</guid><wfw:comment>http://www.cppblog.com/eXile/comments/101062.html</wfw:comment><comments>http://www.cppblog.com/eXile/archive/2009/11/16/101062.html#Feedback</comments><slash:comments>1</slash:comments><wfw:commentRss>http://www.cppblog.com/eXile/comments/commentRss/101062.html</wfw:commentRss><trackback:ping>http://www.cppblog.com/eXile/services/trackbacks/101062.html</trackback:ping><description><![CDATA[

<p><span style="FONT-FAMILY: courier new; FONT-SIZE: 12pt">&nbsp; <span style="FONT-FAMILY: Courier">使用智能指针是C++中常用的管理内存的方式。关于智能指针的设计，各路C++高手也是各展神通。<br><br>&nbsp; 在1994年. Greg Colvin向C++标准委员会提出了自己设计的智能指针：auto_ptr和counted_ptr。auto_ptr实现基本的RAII管理，不可复制；counted_ptr采用引用计数实现了一个可复制的智能指针。两者用于不同的场合。<br>&nbsp; 但是标准委员会最终只通过了auto_ptr，并且对auto_ptr加入了一个古怪的&#8220;所有权转移&#8221;语义。后来auto_ptr和counted_ptr进入了Boost C++ 库，改名为scoped_ptr和shared_ptr。<br>&nbsp;&nbsp;<br>&nbsp; std::auto_ptr只所以设计为可拷贝的，也许是出于以下考虑，比如下例函数：</span></span></p>
<font size="4">
<div style="border-left-color: rgb(204, 204, 204); padding-bottom: 4px; background-color: rgb(238, 238, 238); padding-left: 4px; width: 98%; padding-right: 5px; font-size: 13px; word-break: break-all; padding-top: 4px; "><span style="COLOR: #0000ff">void</span><span style="COLOR: #000000">&nbsp;f1(</span><span style="COLOR: #0000ff">object</span><span style="COLOR: #000000">*</span><span style="COLOR: #000000">&nbsp;ptr);<br></span><span style="COLOR: #0000ff">object</span><span style="COLOR: #000000">*</span><span style="COLOR: #000000">&nbsp;f2();</span></div>
</font><p><font size="4">&nbsp; </font><span style="FONT-SIZE: 12pt">&nbsp;f1中的参数所指向的对象应该由谁来删除呢？调用者还是被调用者？如果不看程序文档的话，无法知道这一点。f2函数也存在同样的问题。<br><br>&nbsp;&nbsp; 用auto_ptr可以消除这种歧义性：</span></p>
<font size="4">
<div style="border-left-color: rgb(204, 204, 204); padding-bottom: 4px; background-color: rgb(238, 238, 238); padding-left: 4px; width: 98%; padding-right: 5px; font-size: 13px; word-break: break-all; padding-top: 4px; "><span style="COLOR: #0000ff">void</span><span style="COLOR: #000000">&nbsp;f1(auto_ptr</span><span style="COLOR: #000000">&lt;</span><span style="COLOR: #0000ff">object</span><span style="COLOR: #000000">&gt;</span><span style="COLOR: #000000">&nbsp;ptr);<br>auto_ptr</span><span style="COLOR: #000000">&lt;</span><span style="COLOR: #0000ff">object</span><span style="COLOR: #000000">&gt;</span><span style="COLOR: #000000">&nbsp;f2();</span></div>
</font><p><font size="4">&nbsp;&nbsp;<br></font>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; <span style="FONT-FAMILY: courier new">尽管如此，auto_ptr的&#8220;所有权转移&#8221;语义还是会带来副作用，因为会修改原值的常量拷贝违背了一般的设计原则，它也许会在你意想不到的情况下就把对象转移了。它也不能用于标准容器中。<br>&nbsp;&nbsp; 所以auto_ptr在新的标准库已经不再推荐使用。取而代之的是unique_ptr。unique_ptr与auto_ptr类似，但限制了auto_ptr的拷贝行为。同时，像上面举的例子一样，unique_ptr可以作为函数的参数和返回值使用。这是因为C++增加了一个新的特征：右值引用。<br><br>&nbsp;&nbsp; shared_ptr也进入了标准库。对于引用计数的智能指针而言，循环引用是一个大问题。标准库为此把shared_ptr定义为强引用指针，它还实现了一个弱引用指针weak_ptr。显然，标准库并没有从根本上解决循环引用的问题，它把这个问题交给了程序员。在一个简单的系统中，你可以区分使用shared_ptr和weak_ptr，以此来避免出现循环引用。但是在一个大的对象系统中，有时还是容易出错。循环引用的问题，严重减弱了shared_ptr的可用性。<br><br>&nbsp;&nbsp; 那么能不能自动检测是否出现循环引用呢？事实上，对于shared_ptr这种使用非侵入式策略实现的智能指针，是很难实现自动检测的。但是如果采用侵入式设计，我们可以引入一些接口，来解决这个问题。循环引用的检测，实际上是图论中的回路检测问题。<br></span><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 本文由<a style="FONT-SIZE: 12pt" title="eXile" href="http://www.cppblog.com/eXile/">eXile</a><span style="FONT-SIZE: 12pt">&nbsp;原创，转载请表明原贴地址。&nbsp;</span><a href="http://www.cppblog.com/eXile/">http://www.cppblog.com/eXile/</a>。</p><img src ="http://www.cppblog.com/eXile/aggbug/101062.html" width = "1" height = "1" /><br><br><div align=right><a style="text-decoration:none;" href="http://www.cppblog.com/eXile/" target="_blank">eXile</a> 2009-11-16 13:57 <a href="http://www.cppblog.com/eXile/archive/2009/11/16/101062.html#Feedback" target="_blank" style="text-decoration:none;">发表评论</a></div>]]></description></item><item><title>说说C++智能指针(1): 关于shared_ptr</title><link>http://www.cppblog.com/eXile/archive/2009/11/02/99995.html</link><dc:creator>eXile</dc:creator><author>eXile</author><pubDate>Mon, 02 Nov 2009 09:38:00 GMT</pubDate><guid>http://www.cppblog.com/eXile/archive/2009/11/02/99995.html</guid><wfw:comment>http://www.cppblog.com/eXile/comments/99995.html</wfw:comment><comments>http://www.cppblog.com/eXile/archive/2009/11/02/99995.html#Feedback</comments><slash:comments>2</slash:comments><wfw:commentRss>http://www.cppblog.com/eXile/comments/commentRss/99995.html</wfw:commentRss><trackback:ping>http://www.cppblog.com/eXile/services/trackbacks/99995.html</trackback:ping><description><![CDATA[<span style="WIDOWS: 2; TEXT-TRANSFORM: none; TEXT-INDENT: 0px; BORDER-COLLAPSE: separate; FONT: medium Simsun; WHITE-SPACE: normal; ORPHANS: 2; LETTER-SPACING: normal; COLOR: #000000; WORD-SPACING: 0px" class=Apple-style-span>&nbsp;&nbsp; shared_ptr是新的标准库的一个主要成员，作为一个非嵌入式的智能指针，其设计可谓已经是绞尽脑汁。当然，还有很多人对它提出了不满。没有完美的设计，只有合适的设计。<br><br>1. </span><span style="WIDOWS: 2; TEXT-TRANSFORM: none; TEXT-INDENT: 0px; BORDER-COLLAPSE: separate; FONT: medium Simsun; WHITE-SPACE: normal; ORPHANS: 2; LETTER-SPACING: normal; COLOR: #000000; WORD-SPACING: 0px" class=Apple-style-span>shared_ptr最大的特点是接口的简单性与实现的灵活性。<br>&nbsp;&nbsp;&nbsp; 对于shared_ptr&lt;Object&gt;,object的内存管理是可定制的，甚至可以定制引用计数结点的内存分配，以满足对内存有特殊要求的情况。而这一切，都被</span><span style="WIDOWS: 2; TEXT-TRANSFORM: none; TEXT-INDENT: 0px; BORDER-COLLAPSE: separate; FONT: medium Simsun; WHITE-SPACE: normal; ORPHANS: 2; LETTER-SPACING: normal; COLOR: #000000; WORD-SPACING: 0px" class=Apple-style-span>Object的实现者隐藏起来，</span><span style="WIDOWS: 2; TEXT-TRANSFORM: none; TEXT-INDENT: 0px; BORDER-COLLAPSE: separate; FONT: medium Simsun; WHITE-SPACE: normal; ORPHANS: 2; LETTER-SPACING: normal; COLOR: #000000; WORD-SPACING: 0px" class=Apple-style-span></span><span style="WIDOWS: 2; TEXT-TRANSFORM: none; TEXT-INDENT: 0px; BORDER-COLLAPSE: separate; FONT: medium Simsun; WHITE-SPACE: normal; ORPHANS: 2; LETTER-SPACING: normal; COLOR: #000000; WORD-SPACING: 0px" class=Apple-style-span>使用Object的客户类是不用关心的。这和以前标准库的组件实现策略有些不同。比如说, vector&lt;int, A1&gt;和vector&lt;int, A2&gt;，由于内存分配策略的不同，而变成类型的不同，造成接口的改变。</span><span style="WIDOWS: 2; TEXT-TRANSFORM: none; TEXT-INDENT: 0px; BORDER-COLLAPSE: separate; FONT: medium Simsun; WHITE-SPACE: normal; ORPHANS: 2; LETTER-SPACING: normal; COLOR: #000000; WORD-SPACING: 0px" class=Apple-style-span>这一点在shared_ptr的设计时被避免了，当然以一定的性能代价。shared_ptr作为C++面向对象设计的一个重要组件，</span><span style="WIDOWS: 2; TEXT-TRANSFORM: none; TEXT-INDENT: 0px; BORDER-COLLAPSE: separate; FONT: medium Simsun; WHITE-SPACE: normal; ORPHANS: 2; LETTER-SPACING: normal; COLOR: #000000; WORD-SPACING: 0px" class=Apple-style-span>接口的简单性是很重要的，必须要有</span><span style="WIDOWS: 2; TEXT-TRANSFORM: none; TEXT-INDENT: 0px; BORDER-COLLAPSE: separate; FONT: medium Simsun; WHITE-SPACE: normal; ORPHANS: 2; LETTER-SPACING: normal; COLOR: #000000; WORD-SPACING: 0px" class=Apple-style-span></span><span style="WIDOWS: 2; TEXT-TRANSFORM: none; TEXT-INDENT: 0px; BORDER-COLLAPSE: separate; FONT: medium Simsun; WHITE-SPACE: normal; ORPHANS: 2; LETTER-SPACING: normal; COLOR: #000000; WORD-SPACING: 0px" class=Apple-style-span>接口和实现的分离。与此相似的还有tr1::function的设计。<br><br>2.在同一体系中，各种类型的智能指针可以互相转换。<br><br>&nbsp;&nbsp; 如下例：<br><br>
<div style="BORDER-BOTTOM: #cccccc 1px solid; BORDER-LEFT: #cccccc 1px solid; PADDING-BOTTOM: 4px; BACKGROUND-COLOR: #eeeeee; PADDING-LEFT: 4px; WIDTH: 98%; PADDING-RIGHT: 5px; FONT-SIZE: 13px; BORDER-TOP: #cccccc 1px solid; BORDER-RIGHT: #cccccc 1px solid; PADDING-TOP: 4px"><!--<br><br>Code highlighting produced by Actipro CodeHighlighter (freeware)<br>http://www.CodeHighlighter.com/<br><br>--><span style="COLOR: #0000ff">struct</span><span style="COLOR: #000000">&nbsp;Object&nbsp;:&nbsp;InterfaceA,&nbsp;InterfaceB&nbsp;{<br>&nbsp;&nbsp;&nbsp;&nbsp;MemberA&nbsp;memberA;<br>};<br><br><br>shared_ptr</span><span style="COLOR: #000000">&lt;</span><span style="COLOR: #000000">Object</span><span style="COLOR: #000000">&gt;</span><span style="COLOR: #000000">&nbsp;obj(</span><span style="COLOR: #0000ff">new</span><span style="COLOR: #000000">&nbsp;Object);<br>shared_ptr</span><span style="COLOR: #000000">&lt;</span><span style="COLOR: #000000">InterfaceA</span><span style="COLOR: #000000">&gt;</span><span style="COLOR: #000000">&nbsp;a&nbsp;</span><span style="COLOR: #000000">=</span><span style="COLOR: #000000">&nbsp;obj;<br>shared_ptr</span><span style="COLOR: #000000">&lt;</span><span style="COLOR: #000000">InterfaceB</span><span style="COLOR: #000000">&gt;</span><span style="COLOR: #000000">&nbsp;b&nbsp;</span><span style="COLOR: #000000">=</span><span style="COLOR: #000000">&nbsp;obj;<br></span><span style="WIDOWS: 2; TEXT-TRANSFORM: none; TEXT-INDENT: 0px; BORDER-COLLAPSE: separate; FONT: medium Simsun; WHITE-SPACE: normal; ORPHANS: 2; LETTER-SPACING: normal; COLOR: #000000; WORD-SPACING: 0px" class=Apple-style-span><span style="COLOR: #000000">shared_ptr</span><span style="COLOR: #000000">&lt;</span><span style="COLOR: #000000">Object</span><span style="COLOR: #000000">&gt;</span><span style="COLOR: #000000">&nbsp;p&nbsp;</span><span style="COLOR: #000000">=</span><span style="COLOR: #000000">&nbsp;static_pointer_cast</span><span style="COLOR: #000000">&lt;</span><span style="COLOR: #000000">Object</span><span style="COLOR: #000000">&gt;</span><span style="COLOR: #000000">(b);<br></span></span><span style="WIDOWS: 2; TEXT-TRANSFORM: none; TEXT-INDENT: 0px; BORDER-COLLAPSE: separate; FONT: medium Simsun; WHITE-SPACE: normal; ORPHANS: 2; LETTER-SPACING: normal; COLOR: #000000; WORD-SPACING: 0px" class=Apple-style-span><span style="COLOR: #000000">shared_ptr</span><span style="COLOR: #000000">&lt;void</span><span style="COLOR: #000000">&gt;</span><span style="COLOR: #000000">&nbsp;p2 </span><span style="COLOR: #000000">=</span><span style="COLOR: #000000"> obj;</span></span><span style="COLOR: #000000"><br><br></span></div>
<br>&nbsp; 甚至还可以取得数据成员的智能指针：<br><br>
<div style="BORDER-BOTTOM: #cccccc 1px solid; BORDER-LEFT: #cccccc 1px solid; PADDING-BOTTOM: 4px; BACKGROUND-COLOR: #eeeeee; PADDING-LEFT: 4px; WIDTH: 98%; PADDING-RIGHT: 5px; FONT-SIZE: 13px; BORDER-TOP: #cccccc 1px solid; BORDER-RIGHT: #cccccc 1px solid; PADDING-TOP: 4px"><!--<br><br>Code highlighting produced by Actipro CodeHighlighter (freeware)<br>http://www.CodeHighlighter.com/<br><br>--><span style="COLOR: #000000">shared_ptr</span><span style="COLOR: #000000">&lt;</span><span style="COLOR: #000000">Object</span><span style="COLOR: #000000">&gt;</span><span style="COLOR: #000000">&nbsp;obj(</span><span style="COLOR: #0000ff">new</span><span style="COLOR: #000000">&nbsp;Object);<br>shared_ptr</span><span style="COLOR: #000000">&lt;</span><span style="COLOR: #000000">MemberA</span><span style="COLOR: #000000">&gt;</span><span style="COLOR: #000000">&nbsp;memberA(obj,&nbsp;</span><span style="COLOR: #000000">&amp;</span><span style="COLOR: #000000">obj</span><span style="COLOR: #000000">-&gt;</span><span style="COLOR: #000000">memberA);</span></div>
<br><br>&nbsp; 再来说说shared_ptr的缺点。<br></span><span style="WIDOWS: 2; TEXT-TRANSFORM: none; TEXT-INDENT: 0px; BORDER-COLLAPSE: separate; FONT: medium Simsun; WHITE-SPACE: normal; ORPHANS: 2; LETTER-SPACING: normal; COLOR: #000000; WORD-SPACING: 0px" class=Apple-style-span><br>1.对于使用引用计数的智能指针来说，必须要小心出现循环引用。<br>&nbsp;&nbsp;&nbsp;&nbsp; 在重度使用</span><span style="WIDOWS: 2; TEXT-TRANSFORM: none; TEXT-INDENT: 0px; BORDER-COLLAPSE: separate; FONT: medium Simsun; WHITE-SPACE: normal; ORPHANS: 2; LETTER-SPACING: normal; COLOR: #000000; WORD-SPACING: 0px" class=Apple-style-span>shared_ptr的系统中，你必须一开始就明确类与类的关系，以决定哪里使用</span><span style="WIDOWS: 2; TEXT-TRANSFORM: none; TEXT-INDENT: 0px; BORDER-COLLAPSE: separate; FONT: medium Simsun; WHITE-SPACE: normal; ORPHANS: 2; LETTER-SPACING: normal; COLOR: #000000; WORD-SPACING: 0px" class=Apple-style-span>shared_ptr，哪里使用</span>weak_ptr，否则就会出现内存泄露。而<span style="WIDOWS: 2; TEXT-TRANSFORM: none; TEXT-INDENT: 0px; BORDER-COLLAPSE: separate; FONT: medium Simsun; WHITE-SPACE: normal; ORPHANS: 2; LETTER-SPACING: normal; COLOR: #000000; WORD-SPACING: 0px" class=Apple-style-span>shared_ptr的接口</span><span style="WIDOWS: 2; TEXT-TRANSFORM: none; TEXT-INDENT: 0px; BORDER-COLLAPSE: separate; FONT: medium Simsun; WHITE-SPACE: normal; ORPHANS: 2; LETTER-SPACING: normal; COLOR: #000000; WORD-SPACING: 0px" class=Apple-style-span>转换</span><span style="WIDOWS: 2; TEXT-TRANSFORM: none; TEXT-INDENT: 0px; BORDER-COLLAPSE: separate; FONT: medium Simsun; WHITE-SPACE: normal; ORPHANS: 2; LETTER-SPACING: normal; COLOR: #000000; WORD-SPACING: 0px" class=Apple-style-span>的灵活性，也很容易导致</span><span style="WIDOWS: 2; TEXT-TRANSFORM: none; TEXT-INDENT: 0px; BORDER-COLLAPSE: separate; FONT: medium Simsun; WHITE-SPACE: normal; ORPHANS: 2; LETTER-SPACING: normal; COLOR: #000000; WORD-SPACING: 0px" class=Apple-style-span>智能指针被滥用。</span>内存自动管理的问题并没有得到解决，它只是被转移了。<br><br><span style="WIDOWS: 2; TEXT-TRANSFORM: none; TEXT-INDENT: 0px; BORDER-COLLAPSE: separate; FONT: medium Simsun; WHITE-SPACE: normal; ORPHANS: 2; LETTER-SPACING: normal; COLOR: #000000; WORD-SPACING: 0px" class=Apple-style-span>2.shared_ptr使用非嵌入式设计，这样可以使用于基本类型，比如 shared_ptr&lt;int&gt;。但是根据个人经验，这种情况在很少使用。大部分情况还是使用自己设计的类。这有一个问题，就是没有很方便的办法实现this指针和</span><span style="WIDOWS: 2; TEXT-TRANSFORM: none; TEXT-INDENT: 0px; BORDER-COLLAPSE: separate; FONT: medium Simsun; WHITE-SPACE: normal; ORPHANS: 2; LETTER-SPACING: normal; COLOR: #000000; WORD-SPACING: 0px" class=Apple-style-span>智能指针的转换。标准库中提供了enable_shared_from_this类来解决这个问题。但这</span>已经使所谓的<span style="WIDOWS: 2; TEXT-TRANSFORM: none; TEXT-INDENT: 0px; BORDER-COLLAPSE: separate; FONT: medium Simsun; WHITE-SPACE: normal; ORPHANS: 2; LETTER-SPACING: normal; COLOR: #000000; WORD-SPACING: 0px" class=Apple-style-span>非嵌入式设计徒有虚名</span><span style="WIDOWS: 2; TEXT-TRANSFORM: none; TEXT-INDENT: 0px; BORDER-COLLAPSE: separate; FONT: medium Simsun; WHITE-SPACE: normal; ORPHANS: 2; LETTER-SPACING: normal; COLOR: #000000; WORD-SPACING: 0px" class=Apple-style-span></span>。而假如一开始采用<span style="WIDOWS: 2; TEXT-TRANSFORM: none; TEXT-INDENT: 0px; BORDER-COLLAPSE: separate; FONT: medium Simsun; WHITE-SPACE: normal; ORPHANS: 2; LETTER-SPACING: normal; COLOR: #000000; WORD-SPACING: 0px" class=Apple-style-span>嵌入式设计的话，则在性能代价和多线程设计方面具有更大的灵活性。</span><br><span style="WIDOWS: 2; TEXT-TRANSFORM: none; TEXT-INDENT: 0px; BORDER-COLLAPSE: separate; FONT: medium Simsun; WHITE-SPACE: normal; ORPHANS: 2; LETTER-SPACING: normal; COLOR: #000000; WORD-SPACING: 0px" class=Apple-style-span><br></span>
<img src ="http://www.cppblog.com/eXile/aggbug/99995.html" width = "1" height = "1" /><br><br><div align=right><a style="text-decoration:none;" href="http://www.cppblog.com/eXile/" target="_blank">eXile</a> 2009-11-02 17:38 <a href="http://www.cppblog.com/eXile/archive/2009/11/02/99995.html#Feedback" target="_blank" style="text-decoration:none;">发表评论</a></div>]]></description></item><item><title>TDD for GUI</title><link>http://www.cppblog.com/eXile/archive/2009/06/22/88271.html</link><dc:creator>eXile</dc:creator><author>eXile</author><pubDate>Mon, 22 Jun 2009 05:15:00 GMT</pubDate><guid>http://www.cppblog.com/eXile/archive/2009/06/22/88271.html</guid><wfw:comment>http://www.cppblog.com/eXile/comments/88271.html</wfw:comment><comments>http://www.cppblog.com/eXile/archive/2009/06/22/88271.html#Feedback</comments><slash:comments>0</slash:comments><wfw:commentRss>http://www.cppblog.com/eXile/comments/commentRss/88271.html</wfw:commentRss><trackback:ping>http://www.cppblog.com/eXile/services/trackbacks/88271.html</trackback:ping><description><![CDATA[&nbsp;&nbsp;&nbsp;&nbsp; 摘要: 如何对GUI应用进行单元测试和TDD。&nbsp;&nbsp;<a href='http://www.cppblog.com/eXile/archive/2009/06/22/88271.html'>阅读全文</a><img src ="http://www.cppblog.com/eXile/aggbug/88271.html" width = "1" height = "1" /><br><br><div align=right><a style="text-decoration:none;" href="http://www.cppblog.com/eXile/" target="_blank">eXile</a> 2009-06-22 13:15 <a href="http://www.cppblog.com/eXile/archive/2009/06/22/88271.html#Feedback" target="_blank" style="text-decoration:none;">发表评论</a></div>]]></description></item><item><title>(Z)正则表达式30分钟入门教程</title><link>http://www.cppblog.com/eXile/archive/2009/01/15/72092.html</link><dc:creator>eXile</dc:creator><author>eXile</author><pubDate>Thu, 15 Jan 2009 06:58:00 GMT</pubDate><guid>http://www.cppblog.com/eXile/archive/2009/01/15/72092.html</guid><wfw:comment>http://www.cppblog.com/eXile/comments/72092.html</wfw:comment><comments>http://www.cppblog.com/eXile/archive/2009/01/15/72092.html#Feedback</comments><slash:comments>0</slash:comments><wfw:commentRss>http://www.cppblog.com/eXile/comments/commentRss/72092.html</wfw:commentRss><trackback:ping>http://www.cppblog.com/eXile/services/trackbacks/72092.html</trackback:ping><description><![CDATA[<div class="postbody">
<h1>正则表达式30分钟入门教程</h1>
<p id="meta">版本：v2.3 (2008-4-13) 作者：<a  href="http://www.unibetter.com/members/deerchao.aspx"><u><font color="#0000ff">deerchao</font></u></a> 转载请注明<a  href="http://unibetter.com/deerchao/zhengzhe-biaodashi-jiaocheng-se.htm"><u><font color="#0000ff">来源</font></u></a></p>
<h2 id="contents">目录</h2>
<p class="note" id="skipContents"><a  href="http://unibetter.com/deerchao/zhengzhe-biaodashi-jiaocheng-se.htm#mission" title="转到正文内容"><u><font color="#0000ff">跳过目录</font></u></a></p>
<ol>
    <li><a  href="http://unibetter.com/deerchao/zhengzhe-biaodashi-jiaocheng-se.htm#mission"><u><font color="#0000ff">本文目标</font></u></a>
    </li>
    <li><a  href="http://unibetter.com/deerchao/zhengzhe-biaodashi-jiaocheng-se.htm#howtouse"><u><font color="#0000ff">如何使用本教程</font></u></a>
    </li>
    <li><a  href="http://unibetter.com/deerchao/zhengzhe-biaodashi-jiaocheng-se.htm#introduction"><u><font color="#0000ff">正则表达式到底是什么东西？</font></u></a>
    </li>
    <li><a  href="http://unibetter.com/deerchao/zhengzhe-biaodashi-jiaocheng-se.htm#getstarted"><u><font color="#0000ff">入门</font></u></a>
    </li>
    <li><a  href="http://unibetter.com/deerchao/zhengzhe-biaodashi-jiaocheng-se.htm#testing"><u><font color="#0000ff">测试正则表达式</font></u></a>
    </li>
    <li><a  href="http://unibetter.com/deerchao/zhengzhe-biaodashi-jiaocheng-se.htm#metacode"><u><font color="#0000ff">元字符</font></u></a>
    </li>
    <li><a  href="http://unibetter.com/deerchao/zhengzhe-biaodashi-jiaocheng-se.htm#escape"><u><font color="#0000ff">字符转义</font></u></a>
    </li>
    <li><a  href="http://unibetter.com/deerchao/zhengzhe-biaodashi-jiaocheng-se.htm#repeat"><u><font color="#0000ff">重复</font></u></a>
    </li>
    <li><a  href="http://unibetter.com/deerchao/zhengzhe-biaodashi-jiaocheng-se.htm#charclass"><u><font color="#0000ff">字符类</font></u></a>
    </li>
    <li><a  href="http://unibetter.com/deerchao/zhengzhe-biaodashi-jiaocheng-se.htm#alternative"><u><font color="#0000ff">分枝条件</font></u></a>
    </li>
    <li><a  href="http://unibetter.com/deerchao/zhengzhe-biaodashi-jiaocheng-se.htm#negation"><u><font color="#0000ff">反义</font></u></a>
    </li>
    <li><a  href="http://unibetter.com/deerchao/zhengzhe-biaodashi-jiaocheng-se.htm#grouping"><u><font color="#0000ff">分组</font></u></a>
    </li>
    <li><a  href="http://unibetter.com/deerchao/zhengzhe-biaodashi-jiaocheng-se.htm#backreference"><u><font color="#0000ff">后向引用</font></u></a>
    </li>
    <li><a  href="http://unibetter.com/deerchao/zhengzhe-biaodashi-jiaocheng-se.htm#lookaround"><u><font color="#0000ff">零宽断言</font></u></a>
    </li>
    <li><a  href="http://unibetter.com/deerchao/zhengzhe-biaodashi-jiaocheng-se.htm#negativelookaround"><u><font color="#0000ff">负向零宽断言</font></u></a>
    </li>
    <li><a  href="http://unibetter.com/deerchao/zhengzhe-biaodashi-jiaocheng-se.htm#commenting"><u><font color="#0000ff">注释</font></u></a>
    </li>
    <li><a  href="http://unibetter.com/deerchao/zhengzhe-biaodashi-jiaocheng-se.htm#greedyandlazy"><u><font color="#0000ff">贪婪与懒惰</font></u></a>
    </li>
    <li><a  href="http://unibetter.com/deerchao/zhengzhe-biaodashi-jiaocheng-se.htm#regexoptions"><u><font color="#0000ff">处理选项</font></u></a>
    </li>
    <li><a  href="http://unibetter.com/deerchao/zhengzhe-biaodashi-jiaocheng-se.htm#balancedgroup"><u><font color="#0000ff">平衡组/递归匹配</font></u></a>
    </li>
    <li><a  href="http://unibetter.com/deerchao/zhengzhe-biaodashi-jiaocheng-se.htm#more"><u><font color="#0000ff">还有些什么东西没提到</font></u></a>
    </li>
    <li><a  href="http://unibetter.com/deerchao/zhengzhe-biaodashi-jiaocheng-se.htm#contact"><u><font color="#0000ff">联系作者</font></u></a>
    </li>
    <li><a  href="http://unibetter.com/deerchao/zhengzhe-biaodashi-jiaocheng-se.htm#ad"><u><font color="#0000ff">最后,来点广告...</font></u></a>
    </li>
    <li><a  href="http://unibetter.com/deerchao/zhengzhe-biaodashi-jiaocheng-se.htm#resources"><u><font color="#0000ff">网上的资源及本文参考文献</font></u></a>
    </li>
    <li><a  href="http://unibetter.com/deerchao/zhengzhe-biaodashi-jiaocheng-se.htm#updatelog"><u><font color="#0000ff">更新说明</font></u></a></li>
</ol>
<h2 id="mission">本文目标</h2>
<p>30分钟内让你明白正则表达式是什么，并对它有一些基本的了解，让你可以在自己的程序或网页里使用它。</p>
<h2 id="howtouse">如何使用本教程</h2>
<p class="important note" id="giveMe30Minutes">最重要的是——请给我<em>30分钟</em>，如果你没有使用正则表达式的经验，请不要试图在30<em>秒</em>内入门——除非你是超人 :)</p>
<p>别被下面那些复杂的表达式吓倒，只要跟着我一步一步来，你会发现正则表达式其实并<span lang="zh-cn">没有</span>你想像
中的那么困难。当然，如果你看完了这篇教程之后，发现自己明白了很多，却又几乎什么都记不得，那也是很正常的——我认为，没接触过正则表达式的人在看完这
篇教程后，能把提到过的语法记住80%以上的可能性为零。这里只是让你明白基本的原理，以后你还需要多练习，多使用，才能熟练掌握正则表达式。</p>
<p>除了作为入门教程之外，本文还试图成为可以在日常工作中使用的正则表达式语法参考手册。就作者本人的经历来说，这个目标还是完成得不错的——你看，我自己也没能把所有的东西记下来，不是吗？</p>
<p><a  href="http://www.unibetter.com/deerchao/zhengzhe-biaodashi-jiaocheng-se.htm" id="clearButton" onclick="return clearFormats();"><u><font color="#0000ff">清除格式</font></u></a>&nbsp;文本格式约定：<span class="name">专业术语</span>&nbsp;<span class="code">元字符/语法格式</span>&nbsp;<span class="regex">正则表达式</span>&nbsp;<span class="part">正则表达式中的一部分(用于分析)</span>&nbsp;<span class="string">对其进行匹配的源字符串</span>&nbsp;<span class="desc">对正则表达式或其中一部分的说明</span></p>
<p><a  href="http://www.unibetter.com/deerchao/zhengzhe-biaodashi-jiaocheng-se.htm" id="hideButton" onclick="return hideNotes();"><u><font color="#0000ff">隐藏边注</font></u></a>&nbsp;本文右边有一些注释，主要是用来提供一些相关信息，或者给没有程序员背景的读者解释一些基本概念，通常可以忽略。</p>
<h2 id="introduction">正则表达式到底是什么东西？</h2>
<p class="note"><span class="name">字符</span>是计算机软件处理文字时最基本的单位，可能是字母，数字，标点符号，空格，换行符，汉字等等。<span class="name">字符串</span>是0个或更多个字符的序列。<span class="name">文本</span>也就是文字，字符串。说某个字符串<span class="name">匹配</span>某个正则表达式，通常是指这个字符串里有一部分（或几部分分别）能满足表达式给出的条件。</p>
<p>在编写处理字符串的程序或网页时，经常会有查找符合某些复杂规则的字符串的需要。<span class="name">正则表达式</span>就是用于描述这些规则的工具。换句话说，正则表达式就是记录文本规则的代码。</p>
<p>很可能你使用过Windows/Dos下用于文件查找的<span class="name">通配符(wildcard)</span>，也就是<span class="code">*</span>和<span class="code">?</span>。如果你想查找某个目录下的所有的Word文档的话，你会搜索<span style="color: red;">*.doc</span>。在这里，<span class="code">*</span>会被解释成任意的字符串。和通配符类似，正则表达式也是用来进行文本匹配的工具，只不过比起通配符，它能更精确地描述你的需求——当然，代价就是更复杂——比如你可以编写一个正则表达式，用来查找<span class="desc">所有以0开头，后面跟着2-3个数字，然后是一个连字号&#8220;-&#8221;，最后是7或8位数字的字符串</span>(像<span class="string">010-12345678</span>或<span class="string">0376-7654321</span>)。</p>
<h2 id="getstarted">入门</h2>
<p>学习正则表达式的最好方法是从例子开始，理解例子之后再自己对例子进行修改，实验。下面给出了不少简单的例子，并对它们作了详细的说明。</p>
<p>假设你在一篇英文小说里查找<span class="desc">hi</span>，你可以使用正则表达式<span class="regex">hi</span>。</p>
<p>这几乎是最简单的正则表达式了，它可以精确匹配这样的字符串：<span class="desc">由两个字符组成，前一个字符是h,后一个是i</span>。通常，处理正则表达式的工具会提供一个忽略大小写的选项，如果选中了这个选项，它可以匹配<span class="string">hi</span>,<span class="string">HI</span>,<span class="string">Hi</span>,<span class="string">hI</span>这四种情况中的任意一种。</p>
<p>不幸的是，很多单词里包含<span class="string">hi</span>这两个连续的字符，比如<span class="string">him</span>,<span class="string">history</span>,<span class="string">high</span>等等。用<span class="regex">hi</span>来查找的话，这里边的<span class="string">hi</span>也会被找出来。如果要<span class="desc">精确地查找hi这个单词</span>的话，我们应该使用<span class="regex">\bhi\b</span>。</p>
<p><span class="part">\b</span>是正则表达式规定的一个特殊代码（好吧，某些人叫它<span class="name">元字符，metacharacter</span>），代表着<span class="desc">单词的开头或结尾，也就是单词的分界处</span>。虽然通常英文的单词是由空格，标点符号或者换行来分隔的，但是<span class="code">\b</span>并不匹配这些单词分隔字符中的任何一个，它<strong>只匹配一个位置</strong>。</p>
<p class="note">如果需要更精确的说法，<span class="code">\b</span>匹配这样的位置：它的前一个字符和后一个字符不全是(一个是,一个不是或不存在)<span class="code">\w</span>。</p>
<p>假如你要找的是<span class="desc">hi后面不远处跟着一个Lucy</span>，你应该用<span class="regex">\bhi\b.*\bLucy\b</span>。</p>
<p>这里，<span class="part">.</span>是另一个元字符，匹配<span class="desc">除了换行符以外的任意字符</span>。<span class="part">*</span>同样是元字符，不过它代表的不是字符，也不是位置，而是数量——它指定*<span class="desc">前边的内容可以连续重复出现任意次以使整个表达式得到匹配</span>。因此，<span class="part">.*</span>连在一起就意味着<span class="desc">任意数量的不包含换行的字符</span>。现在<span class="regex">\bhi\b.*\bLucy\b</span>的意思就很明显了：<span class="desc">先是一个单词hi,然后是任意个任意字符(但不能是换行)，最后是Lucy这个单词</span>。</p>
<p class="note">换行符就是'\n',ASCII编码为10(十六进制0x0A)的字符。</p>
<p>如果同时使用其它元字符，我们就能构造出功能更强大的正则表达式。比如下面这个例子：</p>
<p><span class="regex">0\d\d-\d\d\d\d\d\d\d\d</span>匹配这样的字符串：<span class="desc">以0开头，然后是两个数字，然后是一个连字号&#8220;-&#8221;，最后是8个数字</span>(也就是中国的电话号码。当然，这个例子只能匹配区号为3位的情形)。</p>
<p>这里的<span class="part">\d</span>是个新的元字符，匹配<span class="desc">一位数字(0，或1，或2，或&#8230;&#8230;)</span>。<span class="part">-</span>不是元字符，只匹配它本身——连字符或者减号。</p>
<p>为了避免那么多烦人的重复，我们也可以这样写这个表达式：<span class="regex">0\d{2}-\d{8}</span>。 这里<span class="part">\d</span>后面的<span class="part">{2}</span>(<span class="part">{8}</span>)的意思是前面<span class="part">\d</span><span class="desc">必须连续重复匹配2次(8次)</span>。</p>
<h2 id="testing">测试正则表达式</h2>
<div class="note">
<p>其它可用的测试工具:</p>
<ul>
    <li><a  href="http://www.regexbuddy.com/"><u><font color="#0000ff">RegexBuddy</font></u></a>
    </li>
    <li><a  href="http://regexpal.com/"><u><font color="#0000ff">Javascript正则表达式在线测试工具</font></u></a></li>
</ul>
</div>
<p>如果你不觉得正则表达式很难读写的话，要么你是一个天才，要么，你不是地球人。正则表达式的语法很令人头疼，即使对经常使用它的人来说也是如此。由于难于读写，容易出错，所以找一种工具对正则表达式进行测试是很有必要的。</p>
<p>由于在不同的环境下正则表达式的一些细节是不相同的，本教程介绍的是微软 .Net Framework 2.0下正则表达式的行为，所以，我向你介绍一个.Net下的工具<a  href="http://www.dotnet2themax.com/blogs/fbalena/PermaLink,guid,13bce26d-7755-441e-92b3-1eb5f9e859f9.aspx" title="转到RegexTester的官方网站（英文）"><u><font color="#0000ff">Regex Tester</font></u></a>。首先你确保已经安装了<a  href="http://www.microsoft.com/downloads/details.aspx?displaylang=zh-cn&amp;FamilyID=0856eacb-4362-4b0d-8edd-aab15c5e04f5" title="转到下载.Net Framework 2.0的页面"><u><font color="#0000ff">.Net Framework 2.0</font></u></a>，然后<a  href="http://www.unibetter.com/deerchao/downloads/RegexTester.zip" title="从www.unibetter.com下载Regex Tester, 75KB"><u><font color="#0000ff">下载Regex Tester</font></u></a>。这是个绿色软件，下载完后打开压缩包,直接运行RegexTester.exe就可以了。</p>
<p>下面是Regex Tester运行时的截图：</p>
<p><img  src="http://unibetter.com/deerchao/images/RegexTester.jpg" alt="Regex Tester运行时的截图"></p>
<h2 id="metacode">元字符</h2>
<p>现在你已经知道几个很有用的元字符了，如<span class="code">\b</span>,<span class="code">.</span>,<span class="code">*</span>，还有<span class="code">\d</span>.正则表达式里还有更多的元字符，比如<span class="code">\s</span>匹配<span class="desc">任意的空白符，包括空格，制表符(Tab)，换行符，中文全角空格等</span>。<span class="code">\w</span>匹配<span class="desc">字母或数字或下划线或汉字等</span>。</p>
<p class="note">对中文/汉字的特殊处理是由.Net提供的正则表达式引擎支持的，其它环境下的具体情况请查看相关文档。</p>
<p>下面来看看更多的例子：</p>
<p><span class="regex">\ba\w*\b</span>匹配<span class="desc">以字母<span class="part">a</span>开头的单词——先是某个单词开始处(<span class="part">\b</span>)，然后是字母<span class="part">a</span>,然后是任意数量的字母或数字(<span class="part">\w*</span>)，最后是单词结束处(<span class="part">\b</span>)</span>。</p>
<p class="note">好吧，现在我们说说正则表达式里的单词是什么意思吧：就是多于一个的连续的<span class="code">\w</span>。不错，这与学习英文时要背的成千上万个同名的东西的确关系不大 :)</p>
<p><span class="regex">\d+</span>匹配<span class="desc">1个或更多连续的数字</span>。这里的<span class="part">+</span>是和<span class="code">*</span>类似的元字符，不同的是<span class="code">*</span>匹配<span class="desc">重复任意次(可能是0次)</span>，而<span class="code">+</span>则匹配<span class="desc">重复1次或更多次</span>。</p>
<p><span class="regex">\b\w{6}\b</span> 匹配<span class="desc">刚好6个字母/数字的单词</span>。</p>
<table cellspacing="0">
    <caption>表1.常用的元字符</caption>
    <thead>
        <tr>
            <th scope="col">代码</th>
            <th scope="col">说明</th>
        </tr>
    </thead>
    <tbody>
        <tr>
            <td><span class="code">.</span></td>
            <td><span class="desc">匹配除换行符以外的任意字符</span></td>
        </tr>
        <tr>
            <td><span class="code">\w</span></td>
            <td><span class="desc">匹配字母或数字或下划线或汉字</span></td>
        </tr>
        <tr>
            <td><span class="code">\s</span></td>
            <td><span class="desc">匹配任意的空白符</span></td>
        </tr>
        <tr>
            <td><span class="code">\d</span></td>
            <td><span class="desc">匹配数字</span></td>
        </tr>
        <tr>
            <td><span class="code">\b</span></td>
            <td><span class="desc">匹配单词的开始或结束</span></td>
        </tr>
        <tr>
            <td><span class="code">^</span></td>
            <td><span class="desc">匹配字符串的开始</span></td>
        </tr>
        <tr>
            <td><span class="code">$</span></td>
            <td><span class="desc">匹配字符串的结束</span></td>
        </tr>
    </tbody>
</table>
<p>元字符<span class="code">^</span>（和数字6在同一个键位上的符号）和<span class="code">$</span>都匹配一个位置，这和<span class="code">\b</span>有点类似。<span class="code">^</span>匹配你要用来查找的字符串的开头，<span class="code">$</span>匹配结尾。这两个代码在验证输入的内容时非常有用，比如一个网站如果要求你填写的QQ号必须为5位到12位数字时，可以使用：<span class="regex">^\d{5,12}$</span>。</p>
<p>这里的<span class="part">{5,12}</span>和前面介绍过的<span class="part">{2}</span>是类似的，只不过<span class="part">{2}</span>匹配<span class="desc">只能不多不少重复2次</span>，<span class="part">{5,12}</span>则是<span class="desc">重复的次数不能少于5次，不能多于12次</span>，否则都不匹配。</p>
<p>因为使用了<span class="part">^</span>和<span class="part">$</span>，所以输入的整个字符串都要用来和<span class="part">\d{5,12}</span>来匹配，也就是说整个输入<span class="desc">必须是5到12个数字</span>，因此如果输入的QQ号能匹配这个正则表达式的话，那就符合要求了。</p>
<p>和忽略大小写的选项类似，有些正则表达式处理工具还有一个处理多行的选项。如果选中了这个选项，<span class="code">^</span>和<span class="code">$</span>的意义就变成了<span class="desc">匹配行的开始处和结束处</span>。</p>
<h2 id="escape">字符转义</h2>
<p>如果你想查找元字符本身的话，比如你查找<span class="desc">.</span>,或者<span class="desc">*</span>,就出现了问题：你没办法指定它们，因为它们会被解释成别的意思。这时你就得使用<span class="code">\</span>来取消这些字符的特殊意义。因此，你应该使用<span class="regex">\.</span>和<span class="regex">\*</span>。当然，要查找<span class="desc">\</span>本身，你也得用<span class="regex">\\</span>.</p>
<p>例如：<span class="regex">unibetter\.com</span>匹配<span class="desc">unibetter.com</span>，<span class="regex">C:\\Windows</span>匹配<span class="desc">C:\Windows</span>。</p>
<h2 id="repeat">重复</h2>
<p>你已经看过了前面的<span class="code">*</span>,<span class="code">+</span>,<span class="code">{2}</span>,<span class="code">{5,12}</span>这几个匹配重复的方式了。下面是正则表达式中所有的限定符(指定数量的代码，例如*,{5,12}等)：</p>
<table cellspacing="0">
    <caption>表2.常用的限定符</caption>
    <thead>
        <tr>
            <th scope="col">代码/语法</th>
            <th scope="col">说明</th>
        </tr>
    </thead>
    <tbody>
        <tr>
            <td><span class="code">*</span></td>
            <td><span class="desc">重复零次或更多次</span></td>
        </tr>
        <tr>
            <td><span class="code">+</span></td>
            <td><span class="desc">重复一次或更多次</span></td>
        </tr>
        <tr>
            <td><span class="code">?</span></td>
            <td><span class="desc">重复零次或一次</span></td>
        </tr>
        <tr>
            <td><span class="code">{n}</span></td>
            <td><span class="desc">重复n次</span></td>
        </tr>
        <tr>
            <td><span class="code">{n,}</span></td>
            <td><span class="desc">重复n次或更多次</span></td>
        </tr>
        <tr>
            <td><span class="code">{n,m}</span></td>
            <td><span class="desc">重复n到m次</span></td>
        </tr>
    </tbody>
</table>
<p>下面是一些使用重复的例子：</p>
<p><span class="regex">Windows\d+</span>匹配<span class="desc">Windows后面跟1个或更多数字</span></p>
<p><span class="regex">^\w+</span>匹配<span class="desc">一行的第一个单词(或整个字符串的第一个单词，具体匹配哪个意思得看选项设置)</span></p>
<h2 id="charclass">字符类</h2>
<p>要想查找数字，字母或数字，空白是很简单的，因为已经有了对应这些字符集合的元字符，但是如果你想匹配没有预定义元字符的字符集合(比如元音字母a,e,i,o,u),应该怎么办？</p>
<p>很简单，你只需要在方括号里列出它们就行了，像<span class="regex">[aeiou]</span>就匹配<span class="desc">任何一个英文元音字母</span>，<span class="regex">[.?!]</span>匹配<span class="desc">标点符号(.或?或!)</span>。</p>
<p>我们也可以轻松地指定一个字符<span class="name">范围</span>，像<span class="regex">[0-9]</span>代表的含意与<span class="regex">\d</span>就是完全一致的：<span class="desc">一位数字</span>；同理<span class="regex">[a-z0-9A-Z_]</span>也完全等同于<span class="code">\w</span>（如果只考虑英文的话）。</p>
<p>下面是一个更复杂的表达式：<span class="regex">\(?0\d{2}[) -]?\d{8}</span>。</p>
<p class="note">&#8220;(&#8221;和&#8220;)&#8221;也是元字符，后面的<a  href="http://unibetter.com/deerchao/zhengzhe-biaodashi-jiaocheng-se.htm#grouping"><u><font color="#0000ff">分组节</font></u></a>里会提到，所以在这里需要使用<a  href="http://unibetter.com/deerchao/zhengzhe-biaodashi-jiaocheng-se.htm#escape"><u><font color="#0000ff">转义</font></u></a>。</p>
<p>这个表达式可以匹配<span class="desc">几种格式的电话号码</span>，像<span class="string">(010)88886666</span>，或<span class="string">022-22334455</span>，或<span class="string">02912345678</span>等。我们对它进行一些分析吧：首先是一个转义字符<span class="part">\(</span>,它能出现0次或1次(<span class="part">?</span>),然后是一个<span class="part">0</span>，后面跟着2个数字(<span class="part">\d{2}</span>)，然后是<span class="part">)</span>或<span class="part">-</span>或<span class="part">空格</span>中的一个，它出现1次或不出现(<span class="part">?</span>)，最后是8个数字(<span class="part">\d{8}</span>)。</p>
<h2 id="alternative">分枝条件</h2>
<p>不幸的是，刚才那个表达式也能匹配<span class="string">010)12345678</span>或<span class="string">(022-87654321</span>这样的&#8220;不正确&#8221;的格式。要解决这个问题，我们需要用到<span class="name">分枝条件</span>。正则表达式里的<span class="name">分枝条件</span>指的是有几种规则，如果满足其中任意一种规则都应该当成匹配，具体方法是用<span class="code">|</span>把不同的规则分隔开。听不明白？没关系，看例子：</p>
<p><span class="regex">0\d{2}-\d{8}|0\d{3}-\d{7}</span>这个表达式能<span class="desc">匹配两种以连字号分隔的电话号码：一种是三位区号，8位本地号(如010-12345678)，一种是4位区号，7位本地号(0376-2233445)</span>。</p>
<p><span class="regex">\(0\d{2}\)[- ]?\d{8}|0\d{2}[- ]?\d{8}</span>这个表达式<span class="desc">匹配3位区号的电话号码，其中区号可以用小括号括起来，也可以不用，区号与本地号间可以用连字号或空格间隔，也可以没有间隔</span>。你可以试试用分枝条件把这个表达式扩展成也支持4位区号的。</p>
<p><span class="regex">\d{5}-\d{4}|\d{5}</span>这个表达式用于匹配美国的邮政编码。美国邮编的规则是5位数字，或者用连字号间隔的9位数字。之所以要给出这个例子是因为它能说明一个问题：<strong>使用分枝条件时，要注意各个条件的顺序</strong>。如果你把它改成<span class="regex">\d{5}|\d{5}-\d{4}</span>的话，那么就只会匹配5位的邮编(以及9位邮编的前5位)。原因是匹配分枝条件时，将会从左到右地测试每个条件，如果满足了某个分枝的话，就不会去再管其它的条件了。</p>
<h2 id="grouping">分组</h2>
<p>我们已经提到了怎么重复单个字符（直接在字符后面加上限定符就行了）；但如果想要重复多个字符又该怎么办？你可以用小括号来指定<span class="name">子表达式</span>(也叫做<span class="name">分组</span>)，然后你就可以指定这个子表达式的重复次数了，你也可以对子表达式进行其它一些操作(后面会有介绍)。</p>
<p><span class="regex">(\d{1,3}\.){3}\d{1,3}</span>是一个<span class="desc">简单的IP地址匹配</span>表达式。要理解这个表达式，请按下列顺序分析它：<span class="part">\d{1,3}</span>匹配<span class="desc">1到3位的数字</span>，<span class="part">(\d{1,3}\.){3}</span>匹配<span class="desc">三位数字加上一个英文句号(这个整体也就是这个<span class="name">分组</span>)重复3次</span>，最后再加上<span class="desc">一个一到三位的数字</span>(<span class="part">\d{1,3}</span>)。</p>
<p class="note">IP地址中每个数字都不能大于255，大家千万不要被《24》第三季的编剧给忽悠了...</p>
<p>不幸的是，它也将匹配<span class="string">256.300.888.999</span>这种不可能存在的IP地址。如果能使用算术比较的话，或许能简单地解决这个问题，但是正则表达式中并不提供关于数学的任何功能，所以只能使用冗长的分组，选择，字符类来描述一个正确的IP地址：<span class="regex">((2[0-4]\d|25[0-5]|[01]?\d\d?)\.){3}(2[0-4]\d|25[0-5]|[01]?\d\d?)</span>。</p>
<p>理解这个表达式的关键是理解<span class="part">2[0-4]\d|25[0-5]|[01]?\d\d?</span>，这里我就不细说了，你自己应该能分析得出来它的意义。</p>
<h2 id="negation">反义</h2>
<p>有时需要查找不属于某个能简单定义的字符类的字符。比如想查找除了数字以外，其它任意字符都行的情况，这时需要用到<span class="name">反义</span>：</p>
<table cellspacing="0">
    <caption>表3.常用的反义代码</caption>
    <thead>
        <tr>
            <th scope="col">代码/语法</th>
            <th scope="col">说明</th>
        </tr>
    </thead>
    <tbody>
        <tr>
            <td><span class="code">\W</span></td>
            <td><span class="desc">匹配任意不是字母，数字，下划线，汉字的字符</span></td>
        </tr>
        <tr>
            <td><span class="code">\S</span></td>
            <td><span class="desc">匹配任意不是空白符的字符</span></td>
        </tr>
        <tr>
            <td><span class="code">\D</span></td>
            <td><span class="desc">匹配任意非数字的字符</span></td>
        </tr>
        <tr>
            <td><span class="code">\B</span></td>
            <td><span class="desc">匹配不是单词开头或结束的位置</span></td>
        </tr>
        <tr>
            <td><span class="code">[^x]</span></td>
            <td><span class="desc">匹配除了x以外的任意字符</span></td>
        </tr>
        <tr>
            <td><span class="code">[^aeiou]</span></td>
            <td><span class="desc">匹配除了aeiou这几个字母以外的任意字符</span></td>
        </tr>
    </tbody>
</table>
<p>例子：<span class="regex">\S+</span>匹配<span class="desc">不包含空白符的字符串</span>。</p>
<p><span class="regex">&lt;a[^&gt;]+&gt;</span>匹配<span class="desc">用尖括号括起来的以a开头的字符串</span>。</p>
<h2 id="backreference">后向引用</h2>
<p>使用小括号指定一个子表达式后，<strong>匹配这个子表达式的文本</strong>(也就是此分组捕获的内容)可以在表达式或其它程序中作进一步的处理。默认情况下，每个分组会自动拥有一个<span class="name">组号</span>，规则是：从左向右，以分组的左括号为标志，第一个出现的分组的组号为1，第二个为2，以此类推。</p>
<p><span class="name">后向引用</span>用于重复搜索前面某个分组匹配的文本。例如，<span class="part">\1</span>代表<span class="desc">分组1匹配的文本</span>。难以理解？请看示例：</p>
<p><span class="regex">\b(\w+)\b\s+\1\b</span>可以用来匹配<span class="desc">重复的单词</span>，像<span class="string">go go</span>, 或者<span class="string">kitty kitty</span>。这个表达式首先是<span class="desc">一个单词</span>，也就是<span class="desc">单词开始处和结束处之间的多于一个的字母或数字</span>(<span class="part">\b(\w+)\b</span>)，这个单词会被捕获到编号为1的分组中，然后是<span class="desc">1个或几个空白符</span>(<span class="part">\s+</span>)，最后是<span class="desc">分组1中捕获的内容（也就是前面匹配的那个单词）</span>(<span class="part">\1</span>)。</p>
<p>你也可以自己指定子表达式的<span class="name">组名</span>。要指定一个子表达式的组名，请使用这样的语法：<span class="code">(?&lt;Word&gt;\w+)</span>(或者把尖括号换成<span class="code">'</span>也行：<span class="code">(?'Word'\w+)</span>),这样就把<span class="part">\w+</span>的组名指定为<span class="part">Word</span>了。要反向引用这个分组<span class="name">捕获</span>的内容，你可以使用<span class="code">\k&lt;Word&gt;</span>,所以上一个例子也可以写成这样：<span class="regex">\b(?&lt;Word&gt;\w+)\b\s+\k&lt;Word&gt;\b</span>。</p>
<p>使用小括号的时候，还有很多特定用途的语法。下面列出了最常用的一些：</p>
<table cellspacing="0">
    <caption>表4.常用分组语法</caption>
    <tbody>
        <tr>
            <th scope="col">分类</th>
            <th scope="col">代码/语法</th>
            <th scope="col">说明</th>
        </tr>
        <tr>
            <th rowspan="3">捕获</th>
            <td><span class="code">(exp)</span></td>
            <td><span class="desc">匹配exp,并捕获文本到自动命名的组里</span></td>
        </tr>
        <tr>
            <td><span class="code">(?&lt;name&gt;exp)</span></td>
            <td><span class="desc">匹配exp,并捕获文本到名称为name的组里，也可以写成(?'name'exp)</span></td>
        </tr>
        <tr>
            <td><span class="code">(?:exp)</span></td>
            <td><span class="desc">匹配exp,不捕获匹配的文本，也不给此分组分配组号</span></td>
        </tr>
        <tr>
            <th rowspan="4">零宽断言</th>
            <td><span class="code">(?=exp)</span></td>
            <td><span class="desc">匹配exp前面的位置</span></td>
        </tr>
        <tr>
            <td><span class="code">(?&lt;=exp)</span></td>
            <td><span class="desc">匹配exp后面的位置</span></td>
        </tr>
        <tr>
            <td><span class="code">(?!exp)</span></td>
            <td><span class="desc">匹配后面跟的不是exp的位置</span></td>
        </tr>
        <tr>
            <td><span class="code">(?&lt;!exp)</span></td>
            <td><span class="desc">匹配前面不是exp的位置</span></td>
        </tr>
        <tr>
            <th>注释</th>
            <td><span class="code">(?#comment)</span></td>
            <td><span class="desc">这种类型的分组不对正则表达式的处理产生任何影响，用于提供注释让人阅读</span></td>
        </tr>
    </tbody>
</table>
<p>我们已经讨论了前两种语法。第三个<span class="code">(?:exp)</span>不会改变正则表达式的处理方式，只是这样的组匹配的内容<span class="desc">不会像前两种那样被捕获到某个组里面，也不会拥有组号</span>。</p>
<h2 id="lookaround">零宽断言</h2>
<p class="note">地球人，是不是觉得这些术语名称太复杂，太难记了？我也和你一样。知道有这么一种东西就行了，它叫什么，随它去吧！&#8220;无名，万物之始...&#8221;</p>
<p>接下来的四个用于查找在某些内容(但并不包括这些内容)之前或之后的东西，也就是说它们像<span class="code">\b</span>,<span class="code">^</span>,<span class="code">$</span>那样用于指定一个位置，这个位置应该满足一定的条件(即断言)，因此它们也被称为<span class="name">零宽断言</span>。最好还是拿例子来说明吧：</p>
<p class="note">断言用来声明一个应该为真的事实。正则表达式中只有当断言为真时才会继续进行匹配。</p>
<p><span class="code">(?=exp)</span>也叫<span class="name">零宽度正预测先行断言</span>，它<span class="desc">断言自身出现的位置的后面能匹配表达式exp</span>。比如<span class="regex">\b\w+(?=ing\b)</span>，匹配<span class="desc">以ing结尾的单词的前面部分(除了ing以外的部分)</span>，如查找<span class="string">I'm singing while you're dancing.</span>时，它会匹配<span class="desc">sing</span>和<span class="desc">danc</span>。</p>
<p><span class="code">(?&lt;=exp)</span>也叫<span class="name">零宽度正回顾后发断言</span>，它<span class="desc">断言自身出现的位置的前面能匹配表达式exp</span>。比如<span class="regex">(?&lt;=\bre)\w+\b</span>会匹配<span class="desc">以re开头的单词的后半部分(除了re以外的部分)</span>，例如在查找<span class="string">reading a book</span>时，它匹配<span class="desc">ading</span>。</p>
<p>假如你想要给一个很长的数字中每三位间加一个逗号(当然是从右边加起了)，你可以这样查找需要在前面和里面添加逗号的部分：<span class="regex">((?&lt;=\d)\d{3})*\b</span>，用它对<span class="string">1234567890</span>进行查找时结果是<span class="desc">234567890</span>。</p>
<p>下面这个例子同时使用了这两种断言：<span class="regex">(?&lt;=\s)\d+(?=\s)</span>匹配<span class="desc">以空白符间隔的数字(再次强调，不包括这些空白符)</span>。</p>
<h2 id="negativelookaround">负向零宽断言</h2>
<p>前面我们提到过怎么查找<strong>不是某个字符或不在某个字符类里</strong>的字符的方法(反义)。但是如果我们只是想要<strong>确保某个字符没有出现，但并不想去匹配它</strong>时怎么办？例如，如果我们想查找这样的单词--它里面出现了字母q,但是q后面跟的不是字母u,我们可以尝试这样：</p>
<p><span class="regex">\b\w*q[^u]\w*\b</span>匹配<span class="desc">包含<strong>后面不是字母u的字母q</strong>的单词</span>。但是如果多做测试(或者你思维足够敏锐，直接就观察出来了)，你会发现，如果q出现在单词的结尾的话，像<strong>Iraq</strong>,<strong>Benq</strong>，这个表达式就会出错。这是因为<span class="part">[^u]</span>总要匹配一个字符，所以如果q是单词的最后一个字符的话，后面的<span class="part">[^u]</span>将会匹配q后面的单词分隔符(可能是空格，或者是句号或其它的什么)，后面的<span class="part">\w*\b</span>将会匹配下一个单词，于是<span class="regex">\b\w*q[^u]\w*\b</span>就能匹配整个<span class="string">Iraq fighting</span>。<span class="name">负向零宽断言</span>能解决这样的问题，因为它只匹配一个位置，并不<strong>消费</strong>任何字符。现在，我们可以这样来解决这个问题：<span class="regex">\b\w*q(?!u)\w*\b</span>。</p>
<p><span class="name">零宽度负预测先行断言</span><span class="code">(?!exp)</span>，<span class="desc">断言此位置的后面不能匹配表达式exp</span>。例如：<span class="regex">\d{3}(?!\d)</span>匹配<span class="desc">三位数字，而且这三位数字的后面不能是数字</span>；<span class="regex">\b((?!abc)\w)+\b</span>匹配<span class="desc">不包含连续字符串abc的单词</span>。</p>
<p>同理，我们可以用<span class="code">(?&lt;!exp)</span>,<span class="name">零宽度正回顾后发断言</span>来<span class="desc">断言此位置的前面不能匹配表达式exp</span>：<span class="regex">(?&lt;![a-z])\d{7}</span>匹配<span class="desc">前面不是小写字母的七位数字</span>。</p>
<p class="note">请详细分析表达式<span class="regex">(?&lt;=&lt;(\w+)&gt;).*(?=&lt;\/\1&gt;)</span>，这个表达式最能表现零宽断言的真正用途。</p>
<p>一个更复杂的例子：<span class="regex">(?&lt;=&lt;(\w+)&gt;).*(?=&lt;\/\1&gt;)</span>匹配<span class="desc">不包含属性的简单HTML标签内里的内容</span>。<span class="code">(&lt;?(\w+)&gt;)</span>指定了这样的<span class="name">前缀</span>：<span class="desc">被尖括号括起来的单词</span>(比如可能是&lt;b&gt;)，然后是<span class="part">.*</span>(任意的字符串),最后是一个<span class="name">后缀</span><span class="part">(?=&lt;\/\1&gt;)</span>。注意后缀里的<span class="part">\/</span>，它用到了前面提过的字符转义；<span class="part">\1</span>则是一个反向引用，引用的正是<span class="desc">捕获的第一组</span>，前面的<span class="part">(\w+)</span>匹配的内容，这样如果前缀实际上是&lt;b&gt;的话，后缀就是&lt;/b&gt;了。整个表达式匹配的是&lt;b&gt;和&lt;/b&gt;之间的内容(再次提醒，不包括前缀和后缀本身)。</p>
<h2 id="commenting">注释</h2>
<p>小括号的另一种用途是通过语法<span class="code">(?#comment)</span>来包含注释。例如：<span class="regex">2[0-4]\d(?#200-249)|25[0-5](?#250-255)|[01]?\d\d?(?#0-199)</span>。</p>
<p>要包含注释的话，最好是启用&#8220;忽略模式里的空白符&#8221;选项，这样在编写表达式时能任意的添加空格，Tab，换行，而实际使用时这些都将被忽略。启用这个选项后，在#后面到这一行结束的所有文本都将被当成注释忽略掉。例如，我们可以前面的一个表达式写成这样：</p>
<pre class="regex">      (?&lt;=    # 断言要匹配的文本的前缀<br>      &lt;(\w+)&gt; # 查找尖括号括起来的字母或数字(即HTML/XML标签)<br>      )       # 前缀结束<br>      .*      # 匹配任意文本<br>      (?=     # 断言要匹配的文本的后缀<br>      &lt;\/\1&gt;  # 查找尖括号括起来的内容：前面是一个"/"，后面是先前捕获的标签<br>      )       # 后缀结束</pre>
<h2 id="greedyandlazy">贪婪与懒惰</h2>
<p>当正则表达式中包含能接受重复的限定符时，通常的行为是（在使整个表达式能得到匹配的前提下）匹配<strong>尽可能多</strong>的字符。考虑这个表达式：<span class="regex">a.*b</span>，它将会匹配<span class="desc">最长的以a开始，以b结束的字符串</span>。如果用它来搜索<span class="string">aabab</span>的话，它会匹配整个字符串<span class="desc">aabab</span>。这被称为<span class="name">贪婪</span>匹配。</p>
<p>有时，我们更需要<span class="name">懒惰</span>匹配，也就是匹配<strong>尽可能少</strong>的字符。前面给出的限定符都可以被转化为懒惰匹配模式，只要在它后面加上一个问号<span class="code">?</span>。这样<span class="regex">.*?</span>就意味着<span class="desc">匹配任意数量的重复，但是在能使整个匹配成功的前提下使用最少的重复</span>。现在看看懒惰版的例子吧：</p>
<p><span class="regex">a.*?b</span>匹配<span class="desc">最短的，以a开始，以b结束的字符串</span>。如果把它应用于<span class="string">aabab</span>的话，它会匹配<span class="desc">aab（第一到第三个字符）</span>和<span class="desc">ab（第四到第五个字符）</span>。</p>
<p class="note">为什么第一个匹配是aab（第一到第三个字符）而不是ab（第二到第三个字符）？简单地说，因为正则表达式有另一条规则，比懒惰／贪婪规则的优先级更高：最先开始的匹配拥有最高的优先权——The match that begins earliest wins。</p>
<table cellspacing="0">
    <caption>表5.懒惰限定符</caption>
    <thead>
        <tr>
            <th scope="col">代码/语法</th>
            <th scope="col">说明</th>
        </tr>
    </thead>
    <tbody>
        <tr>
            <td><span class="code">*?</span></td>
            <td><span class="desc">重复任意次，但尽可能少重复</span></td>
        </tr>
        <tr>
            <td><span class="code">+?</span></td>
            <td><span class="desc">重复1次或更多次，但尽可能少重复</span></td>
        </tr>
        <tr>
            <td><span class="code">??</span></td>
            <td><span class="desc">重复0次或1次，但尽可能少重复</span></td>
        </tr>
        <tr>
            <td><span class="code">{n,m}?</span></td>
            <td><span class="desc">重复n到m次，但尽可能少重复</span></td>
        </tr>
        <tr>
            <td><span class="code">{n,}?</span></td>
            <td><span class="desc">重复n次以上，但尽可能少重复</span></td>
        </tr>
    </tbody>
</table>
<h2 id="regexoptions">处理选项</h2>
<p class="note">在C#中，你可以使用<a  href="http://msdn2.microsoft.com/zh-cn/library/h5845fdz.aspx" title="MSDN 相关文档"><u><font color="#0000ff">Regex(String, RegexOptions)构造函数</font></u></a>来设置正则表达式的处理选项。如：Regex regex = new Regex("\ba\w{6}\b", RegexOptions.IgnoreCase);</p>
<p>上面介绍了几个选项如忽略大小写，处理多行等，这些选项能用来改变处理正则表达式的方式。下面是.Net中常用的正则表达式选项：</p>
<table cellspacing="0">
    <caption>表6.常用的处理选项</caption>
    <thead>
        <tr>
            <th scope="col">名称</th>
            <th scope="col">说明</th>
        </tr>
    </thead>
    <tbody>
        <tr>
            <td>IgnoreCase(忽略大小写)</td>
            <td>匹配时不区分大小写。</td>
        </tr>
        <tr>
            <td>Multiline(多行模式)</td>
            <td>更改<span class="code">^</span>和<span class="code">$</span>的含义，使它们分别在任意一行的行首和行尾匹配，而不仅仅在整个字符串的开头和结尾匹配。(在此模式下,<span class="code">$</span>的精确含意是:匹配\n之前的位置以及字符串结束前的位置.) </td>
        </tr>
        <tr>
            <td>Singleline(单行模式)</td>
            <td>更改<span class="code">.</span>的含义，使它与每一个字符匹配（包括换行符\n）。 </td>
        </tr>
        <tr>
            <td>IgnorePatternWhitespace(忽略空白)</td>
            <td>忽略表达式中的非转义空白并启用由<span class="code">#</span>标记的注释。</td>
        </tr>
        <tr>
            <td>RightToLeft(从右向左查找)</td>
            <td>匹配从右向左而不是从左向右进行。</td>
        </tr>
        <tr>
            <td>ExplicitCapture(显式捕获)</td>
            <td>仅捕获已被显式命名的组。</td>
        </tr>
        <tr>
            <td>ECMAScript(JavaScript兼容模式)</td>
            <td>使表达式的行为与它在JavaScript里的行为一致。</td>
        </tr>
    </tbody>
</table>
<p>一个经常被问到的问题是：是不是只能同时使用多行模式和单行模式中的一种？答案是：不是。这两个选项之间没有任何关系，除了它们的名字比较相似（以至于让人感到疑惑）以外。</p>
<h2 id="balancedgroup">平衡组/递归匹配</h2>
<p class="important note">这里介绍的平衡组语法是由.Net Framework支持的；其它语言／库不一定支持这种功能，或者支持此功能但需要使用不同的语法。</p>
<p>有时我们需要匹配像<span class="desc">( 100 * ( 50 + 15 ) )这样的可嵌套的层次性结构</span>，这时简单地使用<span class="code">\(.+\)</span>则只会匹配到最左边的左括号和最右边的右括号之间的内容(这里我们讨论的是贪婪模式，懒惰模式也有下面的问题)。假如原来的字符串里的左括号和右括号出现的次数不相等，比如<span class="string">( 5 / ( 3 + 2 ) ) )</span>，那我们的匹配结果里两者的个数也不会相等。有没有办法在这样的字符串里匹配到最长的，配对的括号之间的内容呢？</p>
<p>为了避免<span class="code">(</span>和<span class="code">\(</span>把你的大脑彻底搞糊涂，我们还是用尖括号代替圆括号吧。现在我们的问题变成了如何把<span class="string">xx &lt;aa &lt;bbb&gt; &lt;bbb&gt; aa&gt; yy</span>这样的字符串里，最长的配对的尖括号内的内容捕获出来？</p>
<p>这里需要用到以下的语法构造：</p>
<ul>
    <li><span class="code">(?'group')</span> 把捕获的内容命名为group,并压入<span class="name">堆栈(Stack)</span>
    </li>
    <li><span class="code">(?'-group')</span> 从堆栈上弹出最后压入堆栈的名为group的捕获内容，如果堆栈本来为空，则本分组的匹配失败
    </li>
    <li><span class="code">(?(group)yes|no)</span> 如果堆栈上存在以名为group的捕获内容的话，继续匹配yes部分的表达式，否则继续匹配no部分
    </li>
    <li><span class="code">(?!)</span> 零宽负向先行断言，由于没有后缀表达式，试图匹配总是失败</li>
</ul>
<p class="note">如果你不是一个程序员（或者你自称程序员但是不知道堆栈是什么东西），你就这样理解上面的三种语法吧：第一个就是在黑板
上写一个"group"，第二个就是从黑板上擦掉一个"group"，第三个就是看黑板上写的还有没有"group"，如果有就继续匹配yes部分，否则
就匹配no部分。</p>
<p>我们需要做的是每碰到了左括号，就在压入一个"Open",每碰到一个右括号，就弹出一个，到了最后就看看堆栈是否为空－－如果不为空那就证明左括号比右括号多，那匹配就应该失败。正则表达式引擎会进行回溯(放弃最前面或最后面的一些字符)，尽量使整个表达式得到匹配。</p>
<pre class="regex">&lt;                         #最外层的左括号<br>    [^&lt;&gt;]*                #最外层的左括号后面的不是括号的内容<br>    (<br>        (<br>            (?'Open'&lt;)    #碰到了左括号，在黑板上写一个"Open"<br>            [^&lt;&gt;]*       #匹配左括号后面的不是括号的内容<br>        )+<br>        (<br>            (?'-Open'&gt;)   #碰到了右括号，擦掉一个"Open"<br>            [^&lt;&gt;]*        #匹配右括号后面不是括号的内容<br>        )+<br>    )*<br>    (?(Open)(?!))         #在遇到最外层的右括号前面，判断黑板上还有没有没擦掉的"Open"；如果还有，则匹配失败<br>&gt;                         #最外层的右括号</pre>
<p>平衡组的一个最常见的应用就是匹配HTML,下面这个例子可以匹配<span class="desc">嵌套的&lt;div&gt;标签</span>：<span class="regex">&lt;div[^&gt;]*&gt;[^&lt;&gt;]*(((?'Open'&lt;div[^&gt;]*&gt;)[^&lt;&gt;]*)+((?'-Open'&lt;/div&gt;)[^&lt;&gt;]*)+)*(?(Open)(?!))&lt;/div&gt;</span>.</p>
<h2 id="more">还有些什么东西没提到</h2>
<p>我已经描述了构造正则表达式的大量元素，还有一些我没有提到的东西。下面是未提到的元素的列表，包含语法和简单的说明。你可以在网上找到更详细的参
考资料来学习它们--当你需要用到它们的时候。如果你安装了MSDN Library,你也可以在里面找到关于.net下正则表达式详细的文档。</p>
<table cellspacing="0">
    <caption>表7.尚未详细讨论的语法</caption>
    <thead>
        <tr>
            <th scope="col">代码/语法</th>
            <th scope="col">说明</th>
        </tr>
    </thead>
    <tbody>
        <tr>
            <td><span class="code">\a</span></td>
            <td><span class="desc">报警字符(打印它的效果是电脑嘀一声)</span></td>
        </tr>
        <tr>
            <td><span class="code">\b</span></td>
            <td><span class="desc">通常是单词分界位置，但如果在字符类里使用代表退格</span></td>
        </tr>
        <tr>
            <td><span class="code">\t</span></td>
            <td><span class="desc">制表符，Tab</span></td>
        </tr>
        <tr>
            <td><span class="code">\r</span></td>
            <td><span class="desc">回车</span></td>
        </tr>
        <tr>
            <td><span class="code">\v</span></td>
            <td><span class="desc">竖向制表符</span></td>
        </tr>
        <tr>
            <td><span class="code">\f</span></td>
            <td><span class="desc">换页符</span></td>
        </tr>
        <tr>
            <td><span class="code">\n</span></td>
            <td><span class="desc">换行符</span></td>
        </tr>
        <tr>
            <td><span class="code">\e</span></td>
            <td><span class="desc">Escape</span></td>
        </tr>
        <tr>
            <td><span class="code">\0nn</span></td>
            <td><span class="desc">ASCII代码中八进制代码为nn的字符</span></td>
        </tr>
        <tr>
            <td><span class="code">\xnn</span></td>
            <td><span class="desc">ASCII代码中十六进制代码为nn的字符</span></td>
        </tr>
        <tr>
            <td><span class="code">\unnnn</span></td>
            <td><span class="desc">Unicode代码中十六进制代码为nnnn的字符</span></td>
        </tr>
        <tr>
            <td><span class="code">\cN</span></td>
            <td><span class="desc">ASCII控制字符。比如\cC代表Ctrl+C</span></td>
        </tr>
        <tr>
            <td><span class="code">\A</span></td>
            <td><span class="desc">字符串开头(类似^，但不受处理多行选项的影响)</span></td>
        </tr>
        <tr>
            <td><span class="code">\Z</span></td>
            <td><span class="desc">字符串结尾或行尾(不受处理多行选项的影响)</span></td>
        </tr>
        <tr>
            <td><span class="code">\z</span></td>
            <td><span class="desc">字符串结尾(类似$，但不受处理多行选项的影响)</span></td>
        </tr>
        <tr>
            <td><span class="code">\G</span></td>
            <td><span class="desc">当前搜索的开头</span></td>
        </tr>
        <tr>
            <td><span class="code">\p{name}</span></td>
            <td><span class="desc">Unicode中命名为name的字符类，例如\p{IsGreek}</span></td>
        </tr>
        <tr>
            <td><span class="code">(?&gt;exp)</span></td>
            <td><span class="desc">贪婪子表达式</span></td>
        </tr>
        <tr>
            <td><span class="code">(?&lt;x&gt;-&lt;y&gt;exp)</span></td>
            <td><span class="desc">平衡组</span></td>
        </tr>
        <tr>
            <td><span class="code">(?im-nsx:exp)</span></td>
            <td><span class="desc">在子表达式exp中改变处理选项</span></td>
        </tr>
        <tr>
            <td><span class="code">(?im-nsx)</span></td>
            <td><span class="desc">为表达式后面的部分改变处理选项</span></td>
        </tr>
        <tr>
            <td><span class="code">(?(exp)yes|no)</span></td>
            <td><span class="desc">把exp当作零宽正向先行断言，如果在这个位置能匹配，使用yes作为此组的表达式；否则使用no</span></td>
        </tr>
        <tr>
            <td><span class="code">(?(exp)yes)</span></td>
            <td><span class="desc">同上，只是使用空表达式作为no</span></td>
        </tr>
        <tr>
            <td><span class="code">(?(name)yes|no)</span></td>
            <td><span class="desc">如果命名为name的组捕获到了内容，使用yes作为表达式；否则使用no</span></td>
        </tr>
        <tr>
            <td><span class="code">(?(name)yes)</span></td>
            <td><span class="desc">同上，只是使用空表达式作为no</span></td>
        </tr>
    </tbody>
</table>
<h2 id="contact">联系作者</h2>
<p>好吧,我承认,我骗了你,读到这里你肯定花了不止30分钟.相信我,这是我的错,而不是因为你太笨.我之所以说"30分钟",是为了让你有信心,有耐心继续下去.既然你看到了这里,那证明我的阴谋成功了.被忽悠的感觉很爽吧？</p>
<p>要投诉我,或者觉得我其实可以做得更好,或者有任何其它问题,欢迎来<a  href="http://www.cnblogs.com/deerchao/archive/2006/08/24/zhengzhe30fengzhongjiaocheng.html"><u><font color="#0000ff">我的博客</font></u></a>让我知道.</p>
</div><img src ="http://www.cppblog.com/eXile/aggbug/72092.html" width = "1" height = "1" /><br><br><div align=right><a style="text-decoration:none;" href="http://www.cppblog.com/eXile/" target="_blank">eXile</a> 2009-01-15 14:58 <a href="http://www.cppblog.com/eXile/archive/2009/01/15/72092.html#Feedback" target="_blank" style="text-decoration:none;">发表评论</a></div>]]></description></item><item><title>纯真IP数据库格式详解(zt)</title><link>http://www.cppblog.com/eXile/archive/2008/07/20/56679.html</link><dc:creator>eXile</dc:creator><author>eXile</author><pubDate>Sun, 20 Jul 2008 05:46:00 GMT</pubDate><guid>http://www.cppblog.com/eXile/archive/2008/07/20/56679.html</guid><wfw:comment>http://www.cppblog.com/eXile/comments/56679.html</wfw:comment><comments>http://www.cppblog.com/eXile/archive/2008/07/20/56679.html#Feedback</comments><slash:comments>0</slash:comments><wfw:commentRss>http://www.cppblog.com/eXile/comments/commentRss/56679.html</wfw:commentRss><trackback:ping>http://www.cppblog.com/eXile/services/trackbacks/56679.html</trackback:ping><description><![CDATA[转自<a  href="http://lumaqq.linuxsir.org/article/qqwry_format_detail.html">http://lumaqq.linuxsir.org/article/qqwry_format_detail.html</a> <br><br>
<center>
<h1>纯真IP数据库格式详解</h1>
</center>
<center></center>
<blockquote><strong>摘要</strong> <br>网络上的IP数据库以纯真版的最为流行，LumaQQ也采用了纯真版IP数据库做为IP查询功能的
基础。不过关于其格式的文档却非常之少，后来终于在网上找到了一份文档，得以了解其内幕，不过那份文档寥寥数语，也是颇为耐心才读明白。在这里我重写一
份，以此做为LumaQQ开发者文档的一部分，我想还是必要的。本文详细介绍了纯真IP数据库的格式，并且给出了一些Demo以供参考。
<p><strong>Luma, 清华大学 <br></strong>修改日期： 2005/01/14 </p>
<p>Note: 在此感谢纯真IP数据库作者金狐和那唯一一份文档的作者。</p>
<strong>修改历史:</strong> <br>2005-01-14 修改了原来一些表达不清和错误的地方 </blockquote>
<hr width="100%">
<p>自从有了IP数据库这种东西，QQ外挂的显示IP功能也随之而生，本人见识颇窄，是否还有其他应用不得而知，不过，IP数据库确实是个不错的东西。
如今网络上最流行的IP数据库我想应该是纯真版的（说错了也不要扁我），迄今为止其IP记录条数已经接近30000，对于有些IP甚至能精确到楼层，不亦
快哉。2004年4、5月间，正逢LumaQQ破土动工，为了加上这个人人都喜欢，但是好像人人都不知道为什么喜欢的显IP功能，我也采用了纯真版IP数
据库，它的优点是记录多，查询速度快，它只用一个文件QQWry.dat就包含了所有记录，方便嵌入到其他程序中，也方便升级。</p>
<h3>基本结构</h3>
<p>QQWry.dat文件在结构上分为3块：文件头，记录区，索引区。一般我们要查找IP时，先在索引区查找记录偏移，然后再到记录区读出信息。由于
记录区的记录是不定长的，所以直接在记录区中搜索是不可能的。由于记录数比较多，如果我们遍历索引区也会是有点慢的，一般来说，我们可以用二分查找法搜索
索引区，其速度比遍历索引区快若干数量级。图1是QQWry.dat的文件结构图。</p>
<center><img  src="http://lumaqq.linuxsir.org/article/images/1/qqwry_dat_overview.gif" twffan="done" border="0"> <br><br>图1. QQWry.dat文件结构</center>
<p>要注意的是，QQWry.dat里面全部采用了little-endian字节序</p>
<h3>一. 了解文件头</h3>
<p>QQWry.dat的文件头只有8个字节，其结构非常简单，首四个字节是第一条索引的绝对偏移，后四个字节是最后一条索引的绝对偏移。</p>
<h3>二. 了解记录区</h3>
<p>每条IP记录都由国家和地区名组成，国家地区在这里并不是太确切，因为可能会查出来&#8220;清华大学计算机系&#8221;之类的，这里清华大学就成了国家名了，所以
这个国家地区名和IP数据库制作的时候有关系。所以记录的格式有点像QName，有一个全局部分和局部部分组成，我们这里还是沿用国家名和地区名的说法。</p>
<p>于是我们想象着一条记录的格式应该是:
[IP地址][国家名][地区名]，当然，这个没有什么问题，但是这只是最简单的情况。很显然，国家名和地区名可能会有很多的重复，如果每条记录都保存一
个完整的名称拷贝是非常不理想的，所以我们就需要重定向以节省空间。所以为了得到一个国家名或者地区名，我们就有了两个可能：第一就是直接的字符串表示的
国家名，第二就是一个4字节的结构，第一个字节表明了重定向的模式，后面3个字节是国家名或者地区名的实际偏移位置。对于国家名来说，情况还可能更复杂
些，因为这样的重定向最多可能有两次。</p>
<p>那么什么是重定向模式？根据上面所说，一条记录的格式是[IP地址][国家记录][地区记录]，如果国家记录是重定向的话，那么地区记录是有可能没有的，于是就有了两种情况，我管他叫做模式1和模式2。我们对这些格式的情况举图说明：</p>
<center><img  src="http://lumaqq.linuxsir.org/article/images/1/ip_record_1.gif" twffan="done" border="0"> <br><br>图2. IP记录的最简单形式</center>
<p>图2表示了最简单的IP记录格式，我想没有什么可以解释的</p>
<center><img  src="http://lumaqq.linuxsir.org/article/images/1/ip_record_2.gif" twffan="done" border="0"> <br><br>图3. 重定向模式1</center>
<p>图3演示了重定向模式1的情况。我们看到在模式1的情况下，地区记录也跟着国家记录走了，在IP地址之后只剩下了国家记录的4字节，后面3个字节构成了一个指针，指向了实际的国家名，然后又跟着地址名。模式1的标识字节是0x01。</p>
<center><img  src="http://lumaqq.linuxsir.org/article/images/1/ip_record_3.gif" twffan="done" border="0"> <br><br>图4. 重定向模式2</center>
<p>图4演示了重定向模式2的情况。我们看到了在模式2的情况下（其标识字节是0x02），地区记录没有跟着国家记录走，因此在国家记录之后4个字节之
后还是有地区记录。我想你已经明白了模式1和模式2的区别，即：模式1的国家记录后面不会再有地区记录，模式2的国家记录后会有地区记录。下面我们来看一
下更复杂的情况。</p>
<center><img  src="http://lumaqq.linuxsir.org/article/images/1/ip_record_5.gif" twffan="done" border="0"> <br><br>图5. 混和情况1</center>
<p>图5演示了当国家记录为模式1的时候可能出现的更复杂情况，在这种情况下，重定向指向的位置仍然是个重定向，不过第二次重定向为模式2。大家不用担
心，没有模式3了，这个重定向也最多只有两次，并且如果发生了第二次重定向，则其一定为模式2，而且这种情况只会发生在国家记录上，对于地区记录，模式1
和模式2是一样的，地区记录也不会发生2次重定向。不过，这个图还可以更复杂，如图7：</p>
<center><img  src="http://lumaqq.linuxsir.org/article/images/1/ip_record_6.gif" twffan="done" border="0"> <br><br>图6. 混和情况2</center>
<p>图6是模式1下最复杂的混和情况，不过我想应该也很好理解，只不过地区记录也来重定向而已，有一点我要提醒你，如果重定向的地址是0，则表示未知的地区名。</p>
<p>所以我们总结如下：一条IP记录由[IP地址][国家记录][地区记录]组成，对于国家记录，可以有三种表示方式：字符串形式，重定向模式1和重定
向模式2。对于地区记录，可以有两种表示方式：字符串形式和重定向，另外有一条规则：重定向模式1的国家记录后不能跟地区记录。按照这个总结，在这些方式
中合理组合，就构成了IP记录的所有可能情况。</p>
<h3>设计的理由</h3>
<p>在我们继续去了解索引区的结构之前，我们先来了解一下为何记录区的结构要如此设计。我想你可能想到了答案：字符串重用。没错，在这种结构下，对于一
个国家名和地区名，我只需要保存其一次就可以了。我们举例说明，为了表示方便，我们用小写字母代表IP记录，C表示国家名，A表示地区名： </p>
<ol>
    <li>有两条记录a(C1, A1), b(C2, A2)，如果C1 = C2, A1 = A2，那么我们就可以使用图3显示的结构来实现重用 </li>
    <li>有三条记录a(C1, A1), b(C2, A2), c(C3, A3)，如果C1 = C2, A2 = A3，现在我们想存储记录b，那么我们可以用图6的结构来实现重用 </li>
    <li>有两条记录a(C1, A1), b(C2, A2)，如果C1 = C2，现在我们想存储记录b，那么我们可以采用模式2表示C2，用字符串表示A2 </li>
</ol>
<p>你可以举出更多的情况，你也会发现在这种结构下，不同的字符串只需要存储一次。</p>
<h3>了解索引区</h3>
<p>在"了解文件头"部分，我们说明了文件头实际上是两个指针，分别指向了第一条索引和最后一条索引的绝对偏移。如图8所示：</p>
<center><img  src="http://lumaqq.linuxsir.org/article/images/1/header_to_index.gif" twffan="done" border="0"> <br><br>图8. 文件头指向索引区图示</center>
<p>实在是很简单，不是吗？从文件头你就可以定位到索引区，然后你就可以开始搜索IP了！每条索引长度为7个字节，前4个字节是起始IP地址，后三个字
节就指向了IP记录。这里有些概念需要说明一下，什么是起始IP，那么有没有结束IP？ 假设有这么一条记录：166.111.0.0 -
166.111.255.255，那么166.111.0.0就是起始IP，166.111.255.255就是结束IP，结束IP就是IP记录中的那头
4个字节，这下你应该就清楚了吧。于是乎，每条索引配合一条记录，构成了一个IP范围，如果你要查找166.111.138.138所在的位置，你就会发
现166.111.138.138落在了166.111.0.0 - 166.111.255.255
这个范围内，那么你就可以顺着这条索引去读取国家和地区名了。那么我们给出一个最详细的图解吧：</p>
<center><img  src="http://lumaqq.linuxsir.org/article/images/1/overall_format.gif" twffan="done" border="0"> <br><br>图9. 文件详细结构</center>
<p>现在一切都清楚了是不是？也许还有一点你不清楚，QQWry.dat的版本信息存在哪里呢？
答案是：最后一条IP记录实际上就是版本信息，最后一条记录显示出来就是这样：255.255.255.0 255.255.255.255 纯真网络
2004年6月25日IP数据。OK，到现在你应该全部清楚了。</p>
<h3>Demo</h3>
<p>下一步：我给出一个读取IP记录的程序片断，此片断摘录自LumaQQ源文件edu.tsinghua.lumaqq.IPSeeker.java，如果你有兴趣，可以下载源代码详细看看。</p>
<pre> /**<br>  * 给定一个ip国家地区记录的偏移，返回一个IPLocation结构<br>  * @param offset 国家记录的起始偏移<br>  * @return IPLocation对象<br>  */<br> private IPLocation getIPLocation(long offset) {<br>  try {<br>   // 跳过4字节ip<br>   ipFile.seek(offset + 4);<br>   // 读取第一个字节判断是否标志字节<br>   byte b = ipFile.readByte();<br>   if(b == REDIRECT_MODE_1) {<br>    // 读取国家偏移<br>    long countryOffset = readLong3();<br>    // 跳转至偏移处<br>    ipFile.seek(countryOffset);<br>    // 再检查一次标志字节，因为这个时候这个地方仍然可能是个重定向<br>    b = ipFile.readByte();<br>    if(b == REDIRECT_MODE_2) {<br>     loc.country = readString(readLong3());<br>     ipFile.seek(countryOffset + 4);<br>    } else<br>     loc.country = readString(countryOffset);<br>    // 读取地区标志<br>    loc.area = readArea(ipFile.getFilePointer());<br>   } else if(b == REDIRECT_MODE_2) {<br>    loc.country = readString(readLong3());<br>    loc.area = readArea(offset + 8);<br>   } else {<br>    loc.country = readString(ipFile.getFilePointer() - 1);<br>    loc.area = readArea(ipFile.getFilePointer());<br>   }<br>   return loc;<br>  } catch (IOException e) {<br>   return null;<br>  }<br> } <br><br> /**<br>  * 从offset偏移开始解析后面的字节，读出一个地区名<br>  * @param offset 地区记录的起始偏移<br>  * @return 地区名字符串<br>  * @throws IOException 地区名字符串<br>  */<br> private String readArea(long offset) throws IOException {<br>  ipFile.seek(offset);<br>  byte b = ipFile.readByte();<br>  if(b == REDIRECT_MODE_1 || b == REDIRECT_MODE_2) {<br>   long areaOffset = readLong3(offset + 1);<br>   if(areaOffset == 0)<br>    return LumaQQ.getString("unknown.area");<br>   else<br>    return readString(areaOffset);<br>  } else<br>   return readString(offset);<br> }<br><br> /**<br>  * 从offset位置读取3个字节为一个long，因为java为big-endian格式，所以没办法<br>  * 用了这么一个函数来做转换<br>  * @param offset 整数的起始偏移<br>  * @return 读取的long值，返回-1表示读取文件失败<br>  */<br> private long readLong3(long offset) {<br>  long ret = 0;<br>  try {<br>   ipFile.seek(offset);<br>   ipFile.readFully(b3);<br>   ret |= (b3[0] &amp; 0xFF);<br>   ret |= ((b3[1] &lt;&lt; 8) &amp; 0xFF00);<br>   ret |= ((b3[2] &lt;&lt; 16) &amp; 0xFF0000);<br>   return ret;<br>  } catch (IOException e) {<br>   return -1;<br>  }<br> } <br> <br> /**<br>  * 从当前位置读取3个字节转换成long<br>  * @return 读取的long值，返回-1表示读取文件失败<br>  */<br> private long readLong3() {<br>  long ret = 0;<br>  try {<br>   ipFile.readFully(b3);<br>   ret |= (b3[0] &amp; 0xFF);<br>   ret |= ((b3[1] &lt;&lt; 8) &amp; 0xFF00);<br>   ret |= ((b3[2] &lt;&lt; 16) &amp; 0xFF0000);<br>   return ret;<br>  } catch (IOException e) {<br>   return -1;<br>  }<br> }<br><br> /**<br>  * 从offset偏移处读取一个以0结束的字符串<br>  * @param offset 字符串起始偏移<br>  * @return 读取的字符串，出错返回空字符串<br>  */<br> private String readString(long offset) {<br>  try {<br>   ipFile.seek(offset);<br>   int i;<br>   for(i = 0, buf[i] = ipFile.readByte(); buf[i] != 0; buf[++i] = ipFile.readByte());<br>   if(i != 0) <br>       return Utils.getString(buf, 0, i, "GBK");<br>  } catch (IOException e) {   <br>      log.error(e.getMessage());<br>  }<br>  return "";<br> }<br></pre>
<p>代码并不复杂，getIPLocation是主要方法，它检查国家记录格式，并针对字符串形式，模式1，模式2采用不同的代码，readArea则相对简单，因为只有字符串和重定向两种情况需要处理。</p>
<h3>总结</h3>
<p>纯真IP数据库的结构使得查找IP简单迅速，不过你想要编辑它却是比较麻烦的，我想应该需要专门的工具来生成QQWry.dat文件，由于其文件格式的限制，你要直接添加IP记录就不容易了。不过，能查到IP已经很开心了，希望纯真记录越来越多～。</p><img src ="http://www.cppblog.com/eXile/aggbug/56679.html" width = "1" height = "1" /><br><br><div align=right><a style="text-decoration:none;" href="http://www.cppblog.com/eXile/" target="_blank">eXile</a> 2008-07-20 13:46 <a href="http://www.cppblog.com/eXile/archive/2008/07/20/56679.html#Feedback" target="_blank" style="text-decoration:none;">发表评论</a></div>]]></description></item><item><title>单元测试[zt]</title><link>http://www.cppblog.com/eXile/archive/2008/04/29/48422.html</link><dc:creator>eXile</dc:creator><author>eXile</author><pubDate>Tue, 29 Apr 2008 05:39:00 GMT</pubDate><guid>http://www.cppblog.com/eXile/archive/2008/04/29/48422.html</guid><wfw:comment>http://www.cppblog.com/eXile/comments/48422.html</wfw:comment><comments>http://www.cppblog.com/eXile/archive/2008/04/29/48422.html#Feedback</comments><slash:comments>0</slash:comments><wfw:commentRss>http://www.cppblog.com/eXile/comments/commentRss/48422.html</wfw:commentRss><trackback:ping>http://www.cppblog.com/eXile/services/trackbacks/48422.html</trackback:ping><description><![CDATA[<br>来源: WingFire On Toplanguange<br><br>1.单元测试库要尽量少地增加开发人员的负担。额外负担必须尽可能直白，傻瓜化。<br>市面上的许多讲到单元测试的书都是以XUnit为蓝本的，这导致CppUnit的接受程度颇高。CppUnit中规中矩，四平八稳，但不够犀利。个人认为boost.test最简单，只要一个BOOST_AUTO_TEST_CASE就可以开始了。CppUnit则要复杂一点，而这种复杂性是多余的，甚至是有害的。用CppUnit的时候，我看到有人为了共享测试代码，随便在test case里面加函数，然后复用，结果导致case不独立。boost.test倾向于不要建立.h文件，所以要复用不方便（或者，不习惯在Cpp中复用），反而不容易犯错误。<br>2.实施单元测试，必须能够让程序员看得到好处并尽快受益。新项目必须尽早引入单元测试，要早在正式编码之前。<br>想立刻让UT变得完美是不可能的，行政命令也不会有好结果。在推行单元测试的时候，教育很重要。必须让同事能理解单元测试为什么有效，如何工作，UT编写准则之类的问题。另外，在工作多年的程序员（对UT缺乏认识的）中推行单元测试，阻力更大。更要注意教育和反馈。最好的反馈就是帮助他们从单元测试中获益。例如，修改更轻松，思维更面向接口，bug更少，代码更容易理解等等。作为推动者，有义务去主动发现这些改善之处并积极地反馈给程序员。从而增强应用UT的信心和意愿。<br>3.必须充分自动化。<br>UT的任务之一是给代码编织一层细密的保护网。程序员应该认识到，单元测试是为自己服务的，所以，我们要的是完成任务而不是展示。能够自动地完成任务则是最好的。如果单元测试过多地干扰程序员的正常思考，就会招致更多的抵触（抵触总是存在的）或敷衍。敷衍是可怕的。我向来是把单元测试的运行作为build的一个步骤的。成功的单元测试不需要输出任何信息，最多在全部passs的时候给个OK就足够了。图形界面的测试工具在我看来也是鸡肋，新手的玩具而已。图形界面既不利于参数化运行，也不方便自动化，实在是降低开发效率的杀手。<br>4.不要追求完美的UT。<br>不是所有东西都很容易测试。UT要求被测试的东西可重现，可观测。 基本上，大部分的物理操作因为缺乏可重复性或可观察性，很难测试，例如database，GUI （注意，这不意味着在实现一个GUI库或db driver时就不能做UT了）。勉强UT全覆盖，既不现实，也不实惠。并且，这很可能让UT变得复杂，高成本，这是非常危险的和不值得的。我的主张是，很难测，那就不测，但要正确应对。我的做法是将难测的部分隔离到一些抽象层当中去。然后为这些抽象层写MockObject即可测试了。我曾经应用在数据库应用中，并很自然的得到一个良好的数据访问的抽象层，单元测试就只测了这个抽象层。而实际的数据库访问中的物理操作部分，则从单元测试中剥离出去。如果坚持分离物理操作和逻辑操作的话，这个剥离出去的部分一般很小很有限，也很容易测试。相反，如果不剥离，将导致单元测试的结果要依赖数据库的状态。这种额外的依赖性没什么好处。这里的关键是，必须让不可测的部分尽可能隔离，尽可能小，尽可能地将逻辑操作从物理操作中分离出来。被隔离部分所包含的逻辑操作仍然需要写UT。 
<img src ="http://www.cppblog.com/eXile/aggbug/48422.html" width = "1" height = "1" /><br><br><div align=right><a style="text-decoration:none;" href="http://www.cppblog.com/eXile/" target="_blank">eXile</a> 2008-04-29 13:39 <a href="http://www.cppblog.com/eXile/archive/2008/04/29/48422.html#Feedback" target="_blank" style="text-decoration:none;">发表评论</a></div>]]></description></item><item><title>设计Qt风格的C++API (zt)</title><link>http://www.cppblog.com/eXile/archive/2008/02/18/42857.html</link><dc:creator>eXile</dc:creator><author>eXile</author><pubDate>Sun, 17 Feb 2008 16:50:00 GMT</pubDate><guid>http://www.cppblog.com/eXile/archive/2008/02/18/42857.html</guid><wfw:comment>http://www.cppblog.com/eXile/comments/42857.html</wfw:comment><comments>http://www.cppblog.com/eXile/archive/2008/02/18/42857.html#Feedback</comments><slash:comments>0</slash:comments><wfw:commentRss>http://www.cppblog.com/eXile/comments/commentRss/42857.html</wfw:commentRss><trackback:ping>http://www.cppblog.com/eXile/services/trackbacks/42857.html</trackback:ping><description><![CDATA[<h1>设计Qt风格的C++API</h1>
<strong>
<p>作者Matthias Ettrich，译者Googol Lee，原文地址在<a href="http://doc.trolltech.com/qq/qq13-apis.html"><font color=#004faf>这里</font></a>。 </p>
</strong>
<blockquote><strong>
<p>在奇趣（Trolltech），为了改进Qt的开发体验，我们做了大量的研究。这篇文章里，我打算分享一些我们的发现，以及一些我们在设计Qt4时用到的原则，并且展示如何把这些原则应用到你的代码里。 </p>
</strong>
<ul>
    <li><a href="file:///C:/Documents%20and%20Settings/wujq/Local%20Settings/Temp/Rar$EX00.547/设计Qt风格的C++API.html#SixCharacteristicsOfGoodApis"><font color=#004faf>好的API的六个特性</font></a>
    <li><a href="file:///C:/Documents%20and%20Settings/wujq/Local%20Settings/Temp/Rar$EX00.547/设计Qt风格的C++API.html#TheConvenienceTrap"><font color=#004faf>便利陷阱</font></a>
    <li><a href="file:///C:/Documents%20and%20Settings/wujq/Local%20Settings/Temp/Rar$EX00.547/设计Qt风格的C++API.html#TheBooleanParameterTrap"><font color=#004faf>布尔参数陷阱</font></a>
    <li><a href="file:///C:/Documents%20and%20Settings/wujq/Local%20Settings/Temp/Rar$EX00.547/设计Qt风格的C++API.html#StaticPolymorphism"><font color=#004faf>静态多态</font></a>
    <li><a href="file:///C:/Documents%20and%20Settings/wujq/Local%20Settings/Temp/Rar$EX00.547/设计Qt风格的C++API.html#TheArtOfNaming"><font color=#004faf>命名的艺术</font></a>
    <li><a href="file:///C:/Documents%20and%20Settings/wujq/Local%20Settings/Temp/Rar$EX00.547/设计Qt风格的C++API.html#PointersOrReferences"><font color=#004faf>指针还是引用？</font></a>
    <li><a href="file:///C:/Documents%20and%20Settings/wujq/Local%20Settings/Temp/Rar$EX00.547/设计Qt风格的C++API.html#CaseStudyQprogressbar"><font color=#004faf>例子：QProgressBar</font></a>
    <li><a href="file:///C:/Documents%20and%20Settings/wujq/Local%20Settings/Temp/Rar$EX00.547/设计Qt风格的C++API.html#HowToGetApisRight"><font color=#004faf>如何把API设计好</font></a> </li>
</ul>
</blockquote>
<p>设计应用程序接口，API，是很难的。这是一门和设计语言同样难的艺术。这里可以选择太多的原则，甚至有很多原则和其他原则有矛盾。 </p>
<p>现在，计算机科学教育把很大的力气放在算法和数据结构上，而很少关注设计语言和框架背后的原则。这让应用程序员完全没有准备去面对越来越重要的任务：创造可重用的组件。 </p>
<p>在面向对象语言普及之前，可重用的通用代码大部分是由库提供者写的，而不是应用程序员。在Qt的世界里，这种状况有了明显的改善。在任何时候，用Qt编程就是写新的组件。一个典型的Qt应用程序至少都会有几个在程序中反复使用的自定义组件。一般来说，同样的组件会成为其他应用程序的一部分。KDE，K桌面环境，走得更远，用许多追加的库来扩展Qt，实现了数百个附加类。（一般来说，一个类就是一个可重用组件，原文这里没有写清楚。） </p>
<p>但是，一个好的，高效的C++ API是由什么组成的呢？是好还是坏，取决于很多因素——比如，手头的工作和特定的目标群体。好的API有很多特性，一些特性是大家都想要的，而另一些则是针对特定问题域的。 </p>
<a name=SixCharacteristicsOfGoodApis>
<h2>好的API的六个特性</h2>
</a>
<p>API是面向程序员的，用来描述提供给最终用户的GUI是什么样子。API中的P带表程序员（Programmer），而不是程序（Program），用来强调API是给程序员用的，给人类的程序员用的。 </p>
<p>我们坚信API应该是最小化且完整的，拥有清晰且简单的语义，直觉化，容易记忆，并且引导人写出易读的代码。 </p>
<ul>
    <li><strong>最小化：</strong>最小化的API是指一个类尽可能只拥有最少的公开成员且尽可能只拥有最少的类。这个原则可以让API更简单易懂，更好记，更容易除错，且更容易改变。
    <li><strong>完整的：</strong>完整的API是指要提供所有期望的功能。这个可能与最小化原则相冲突。另外，如果一个成员函数属于一个不应该属于的类，很多潜在的使用者都会找不到这个函数。
    <li><strong>拥有清晰且简单的语义：</strong>就像其他设计工作一样，你必须遵守最小惊奇原则（the principle of least surprise）。让常见的任务简单易行。不常见的工作可行，但不会让用户过分关注。解决特殊问题时，不要让解决方案没有必要的过度通用。（比如，Qt3中的<a href="http://doc.trolltech.com/3.3/qmimesourcefactory.html"><font color=#004faf>QMimeSourceFactory</font></a>可以通过调用QImageLoader来实现不同的API。）
    <li><strong>直觉化：</strong>就像电脑上的其他东西一样，API必须是直觉化的。不同的经验和背景会导致在判断什么是直觉而什么不是时不同的感觉。如果一个中级用户不读文档就可以使用（a semi-experienced user gets away without reading the documentation，没懂这里的get away该怎么翻译），并且一个程序员不懂API就可以理解缩写的代码，这种API就是直觉化的。
    <li><strong>易于记忆：</strong>让API易于记忆，使用统一且精确的命名方法。使用可识别的模式和概念，并且避免缩写。
    <li><strong>引导易读的代码（Lead to readable code）：</strong>代码一经写就，会读（并且除错和修改）多次。易读的代码可能会花点时间来写，但是可以节省产品周期中的其他时间。 </li>
</ul>
<p>最后，记住，不同类型的用户会用到API的不同部分。虽然简单的实例化一个Qt类是非常直觉化的，让资深专家在试图子类化之前读一遍文档，是很合理的。 </p>
<a name=TheConvenienceTrap>
<h2>便利陷阱</h2>
</a>
<p>这是个常见的误解：更好的API，用更少的代码完成一件事。永远记住代码一次写就，之后需要不断的阅读并理解。比如： </p>
<pre>    <a href="http://doc.trolltech.com/3.3/qslider.html"><font color=#004faf>QSlider</font></a> *slider = new <a href="http://doc.trolltech.com/3.3/qslider.html"><font color=#004faf>QSlider</font></a>(12, 18, 3, 13, Qt::Vertical,
0, "volume");
</pre>
<p>远比下面那样难读（甚至难写）： </p>
<pre>    <a href="http://doc.trolltech.com/3.3/qslider.html"><font color=#004faf>QSlider</font></a> *slider = new <a href="http://doc.trolltech.com/3.3/qslider.html"><font color=#004faf>QSlider</font></a>(Qt::Vertical);
slider-&gt;setRange(12, 18);
slider-&gt;setPageStep(3);
slider-&gt;setValue(13);
slider-&gt;setObjectName("volume");
</pre>
<a name=TheBooleanParameterTrap>
<h2>布尔参数陷阱</h2>
</a>
<p>布尔参数通常会导致不易读的代码。更进一步，给一个已经存在的函数加入一个布尔参数，这常常是个错误。在Qt里，一个传统的例子是repaint()，这个函数带有一个布尔参数，来标识是否擦除背景（默认擦除）。这让代码通常写成： </p>
<pre>    widget-&gt;repaint(false);
</pre>
<p>初学者很容易把这句话理解成&#8220;别重画&#8221;！ </p>
<p>这样做是考虑到布尔参数可以减少一个函数，避免代码膨胀。事实上，这反而增加了代码量。有多少Qt用户真的记住了下面三行程序都是做什么的？ </p>
<pre>    widget-&gt;repaint();
widget-&gt;repaint(true);
widget-&gt;repaint(false);
</pre>
<p>一个好一些的API可能看起来是这样： </p>
<pre>    widget-&gt;repaint();
widget-&gt;repaintWithoutErasing();
</pre>
<p>在Qt4里，我们重新设计了widget，使得用户不再需要不重画背景的重画widget，来解决这个问题。Qt4原生支持双缓存，废掉了这个特性。 </p>
<p>这里还有一些例子： </p>
<pre>    widget-&gt;setSizePolicy(<a href="http://doc.trolltech.com/4.0/qsizepolicy.html"><font color=#004faf>QSizePolicy</font></a>::Fixed,
<a href="http://doc.trolltech.com/4.0/qsizepolicy.html"><font color=#004faf>QSizePolicy</font></a>::Expanding, true);
textEdit-&gt;insert("Where's Waldo?", true, true, false);
<a href="http://doc.trolltech.com/3.3/qregexp.html"><font color=#004faf>QRegExp</font></a> rx("moc_*.c??", false, true);
</pre>
<p>一个显而易见的解决方法是，使用枚举类型代替布尔参数。这正是我们在Qt4中<a href="http://doc.trolltech.com/3.3/qstring.html"><font color=#004faf>QString</font></a>大小写敏感时的处理方法。比较： </p>
<pre>    str.replace("%USER%", user, false);               // Qt 3
str.replace("%USER%", user, Qt::CaseInsensitive); // Qt 4
</pre>
<a name=StaticPolymorphism>
<h2>静态多态</h2>
</a>
<p>相似的类应该含有相似的API。在必要的时候——就是说，需要使用运行时多态的时候——这可以通过继承实现。但是多态依旧会发生在设计时期。比如，如果你用<a href="http://doc.trolltech.com/3.3/qlistbox.html"><font color=#004faf>QListBox</font></a>代替<a href="http://doc.trolltech.com/3.3/qcombobox.html"><font color=#004faf>QComboBox</font></a>，或者用<a href="http://doc.trolltech.com/4.0/qslider.html"><font color=#004faf>QSlider</font></a>代替<a href="http://doc.trolltech.com/4.0/qspinbox.html"><font color=#004faf>QSpinBox</font></a>，你会发现相似的API使这种替换非常容易。这就是我们所说的&#8220;静态多态&#8221;。 </p>
<p>静态多态也使API和程序模式更容易记忆。作为结论，一组相关类使用相似的API，有时要比给每个类提供完美的单独API，要好。 </p>
<p>（译注：C++ 0x将要引入的concept，就是静态多态的语法层实现。这个要比单独的函数名相似更强大且易用。） </p>
<a name=TheArtOfNaming>
<h2>命名的艺术</h2>
</a>
<p>命名，大概是设计API时唯一最重要的问题了。该怎么称呼这个类？成员函数该叫什么？ </p>
<h3>通用的命名规则</h3>
<p>一些规则通常对所有名字都是有用的。首先，就像我之前提到的，别用缩写。甚至很明显的缩写，比如&#8220;prev&#8221;表示&#8220;previous&#8221;从长远看也是不划算的，因为用户必须记住哪些词是缩写。 </p>
<p>如果API本身不一致，事情自然会变得很糟糕，比如， Qt3有activatePreviousWindow()和fetchPrev()。坚持&#8220;没有缩写&#8221;的规则更容易创建一致的API。 </p>
<p>另一个重要但更加微妙的规则是，在设计类的时候，必须尽力保证子类命名空间的干净。在Qt3里，没有很好的遵守这个规则。比如，拿<a href="http://doc.trolltech.com/3.3/qtoolbutton.html"><font color=#004faf>QToolButton</font></a>来举例。如果你在Qt3里，对一个<a href="http://doc.trolltech.com/3.3/qtoolbutton.html"><font color=#004faf>QToolButton</font></a>调用name()、caption()、text()或者textLabel()，你希望做什么呢？你可以在Qt Designer里拿QToolButton试试： </p>
<ul>
    <li>name属性继承自<a href="http://doc.trolltech.com/3.3/qobject.html"><font color=#004faf>QObject</font></a>，表示一个对象用于除错和测试的内部名字。
    <li>caption属性继承自<a href="http://doc.trolltech.com/3.3/qwidget.html"><font color=#004faf>QWidget</font></a>，表示窗口的标题，这个标题在视觉上对<a href="http://doc.trolltech.com/3.3/qtoolbutton.html"><font color=#004faf>QToolButton</font></a>没有任何意义，因为他们总是跟随父窗口而创建。
    <li>text属性继承自<a href="http://doc.trolltech.com/3.3/qbutton.html"><font color=#004faf>QButton</font></a>，一般情况下是按钮上现实的文字，除非useTextLabel为真。
    <li>textLabel在<a href="http://doc.trolltech.com/3.3/qtoolbutton.html"><font color=#004faf>QToolButton</font></a>里声明，并且在useTextLabel为真时显示在按钮上。 </li>
</ul>
<p>由于对可读性的关注，name在Qt4里被称作objectName，caption变成了windowsTitle，而在<a href="http://doc.trolltech.com/3.3/qtoolbutton.html"><font color=#004faf>QToolButton</font></a>里不再有单独的textLabel属性。 </p>
<h3>给类命名</h3>
<p>标识一组类而不是单独给每个类找个恰当的名字。比如，Qt4里所有模式感知项目的视图类（model-aware item view classes）都拥有-View的后缀（<a href="http://doc.trolltech.com/4.0/qlistview.html"><font color=#004faf>QListView</font></a>、<a href="http://doc.trolltech.com/4.0/qtableview.html"><font color=#004faf>QTableView</font></a>和<a href="http://doc.trolltech.com/4.0/qtreeview.html"><font color=#004faf>QTreeView</font></a>），并且对应基于项目的类都用后缀-Widget代替（<a href="http://doc.trolltech.com/4.0/qlistwidget.html"><font color=#004faf>QListWidget</font></a>、<a href="http://doc.trolltech.com/4.0/qtablewidget.html"><font color=#004faf>QTableWidget</font></a>和<a href="http://doc.trolltech.com/4.0/qtreewidget.html"><font color=#004faf>QTreeWidget</font></a>）。 </p>
<h3>给枚举类型及其值命名</h3>
<p>当声明枚举时，时刻记住，在C++（不像Java和C#）中，使用枚举值不需要类型信息。下面的例子演示了给枚举值起个太过常用的名字所引起的危害： </p>
<pre>    namespace Qt
{
enum Corner { TopLeft, BottomRight, ... };
enum CaseSensitivity { Insensitive, Sensitive };
...
};
tabWidget-&gt;setCornerWidget(widget, Qt::TopLeft);
str.indexOf("$(QTDIR)", Qt::Insensitive);
</pre>
<p>在最后一行，Insensitive是什么意思？一个用于命名枚举值的指导思想是，在每个枚举值里，至少重复一个枚举类型名中的元素： </p>
<pre>    namespace Qt
{
enum Corner { TopLeftCorner, BottomRightCorner, ... };
enum CaseSensitivity { CaseInsensitive,
CaseSensitive };
...
};
tabWidget-&gt;setCornerWidget(widget, Qt::TopLeftCorner);
str.indexOf("$(QTDIR)", Qt::CaseInsensitive);
</pre>
<p>当枚举值可以用&#8220;或&#8221;连接起来当作一个标志时，传统的做法是将&#8220;或&#8221;的结果作为一个int保存，这不是类型安全的。Qt4提供了一个模板类 <a href="http://doc.trolltech.com/4.0/qflags.html"><font color=#004faf>QFlags</font></a>&lt;T&gt;来实现类型安全，其中T是个枚举类型。为了方便使用，Qt为很多标志类名提供了typedef，所以你可以使用类型 Qt::Alignment代替<a href="http://doc.trolltech.com/4.0/qflags.html"><font color=#004faf>QFlags</font></a>&lt;Qt::AlignmentFlag&gt;。 </p>
<p>为了方便，我们给枚举类型单数的名字（这样表示枚举值一次只能有一个标志），而&#8220;标志&#8221;则使用复数名字。比如： </p>
<pre>    enum RectangleEdge { LeftEdge, RightEdge, ... };
typedef <a href="http://doc.trolltech.com/4.0/qflags.html"><font color=#004faf>QFlags</font></a>&lt;RectangleEdge&gt; RectangleEdges;
</pre>
<p>有些情况下，&#8220;标志&#8220;类使用了单数的名字。这时，枚举类使用-Flag做后缀： </p>
<pre>    enum AlignmentFlag { AlignLeft, AlignTop, ... };
typedef <a href="http://doc.trolltech.com/4.0/qflags.html"><font color=#004faf>QFlags</font></a>&lt;AlignmentFlag&gt; Alignment;
</pre>
<p>（这里为啥不是把&#8221;标志&#8220;类用-Flag做后缀，而是把枚举值做后缀呢？感觉有点混淆&#8230;&#8230;） </p>
<h3>给函数和参数命名</h3>
<p>给函数命名的一个规则是，名字要明确体现出这个函数是否有副作用。在Qt3，常数函数<a href="http://doc.trolltech.com/3.3/qstring.html"><font color=#004faf>QString</font></a>::simplifyWhiteSpace()违反了这个原则，因为它返回类一个<a href="http://doc.trolltech.com/3.3/qstring.html"><font color=#004faf>QString</font></a>实例，而不是像名字所提示的那样，更改了调用这个函数的实例本身。在Qt4，这个函数被重命名为<a href="http://doc.trolltech.com/3.3/qstring.html"><font color=#004faf>QString</font></a>::simplified()。 </p>
<p>参数名是程序员的重要信息来源，虽然在使用API时，并不直接展示在代码里。由于现代IDE在程序员写代码时可以自动显示参数名（就是自动感知或者自动补全之类的功能），值得花时间给头文件里声明的参数一个合适的名字，并且在文档中也使用相同的名字。 </p>
<h3>给布尔值设置函数（Setter）、提取函数（Getter）和属性命名</h3>
<p>给布尔属性的设置函数和提取函数一个合适的名字，总是非常痛苦的。提取函数应该叫做checked()还是isChecked()？scrollBarsEnabled()还是areScrollBarEnabled()? </p>
<p>在Qt4里，我们使用下列规则命名提取函数： </p>
<ul>
    <li>形容类的属性使用is-前缀。比如：
    <ul>
        <li><tt>isChecked()</tt>
        <li><tt>isDown()</tt>
        <li><tt>isEmpty()</tt>
        <li><tt>isMovingEnable()</tt> </li>
    </ul>
    另外，应用到复数名词的形容类属性没有前缀：
    <ul>
        <li><tt>scrollBarsEnabled()</tt>，而不是<tt>areScrollBarsEnabled()</tt> </li>
    </ul>
    <li>动词类的属性不使用前缀，且不使用第三人称（-s）：
    <ul>
        <li><tt>acceptDrops()</tt>，而不是<tt>acceptsDrops()</tt>
        <li><tt>allColumnsShowFocus()</tt> </li>
    </ul>
    <li>名词类的属性，通常没有前缀：
    <ul>
        <li><tt>autoCompletion()</tt>，而不是<tt>isAutoCompletion()</tt>
        <li><tt>boundaryChecking()</tt> </li>
    </ul>
    有时，没有前缀就会引起误解，这种情况使用前缀is-：
    <ul>
        <li><tt>isOpenGLAvailable()</tt>，而不是<tt>openGL()</tt>
        <li><tt>isDialog()</tt>，而不是<tt>dialog()</tt> </li>
    </ul>
    （通过调用dialogue()方法，正常情况下会期望返回一个<a href="http://doc.trolltech.com/4.0/qdialog.html"><font color=#004faf>QDialog</font></a>*的实例。） </li>
</ul>
<p>设置函数名字继承自提取函数名，只是移掉了所有前缀，并使用set-做前缀，比如：setDown()还有setScrollBarsEnabled()。属性的名字与提取函数相同，只是去掉了前缀。 </p>
<a name=PointersOrReferences>
<h2>指针还是引用？</h2>
</a>
<p>传出参数的最佳选择是什么，指针还是引用？ </p>
<pre>    void getHsv(int *h, int *s, int *v) const
void getHsv(int &amp;h, int &amp;s, int &amp;v) const
</pre>
<p>大部分C++书推荐在能用引用的地方就用引用，这是因为一般认为引用比指针更&#8220;安全且好用&#8221;。然而，在奇趣（Trolltech），我们倾向使用指针，因为这让代码更易读。比较： </p>
<pre>    color.getHsv(&amp;h, &amp;s, &amp;v);
color.getHsv(h, s, v);
</pre>
<p>只有第一行能清楚的说明，在函数调用后，h、s和v将有很大几率被改动。 </p>
<a name=CaseStudyQprogressbar>
<h2>例子：QProgressBar</h2>
</a>
<p>为了展示如何实际应用这些概念，我们将学习Qt3中的API <a href="http://doc.trolltech.com/3.3/qprogressbar.html"><font color=#004faf>QProgressBar</font></a>并和Qt4里相通的API做比较。在Qt3里： </p>
<pre>    class <a href="http://doc.trolltech.com/3.3/qprogressbar.html"><font color=#004faf>QProgressBar</font></a> : public <a href="http://doc.trolltech.com/3.3/qwidget.html"><font color=#004faf>QWidget</font></a>
{
...
public:
int totalSteps() const;
int progress() const;
const <a href="http://doc.trolltech.com/3.3/qstring.html"><font color=#004faf>QString</font></a> &amp;progressString() const;
bool percentageVisible() const;
void setPercentageVisible(bool);
void setCenterIndicator(bool on);
bool centerIndicator() const;
void setIndicatorFollowsStyle(bool);
bool indicatorFollowsStyle() const;
public slots:
void reset();
virtual void setTotalSteps(int totalSteps);
virtual void setProgress(int progress);
void setProgress(int progress, int totalSteps);
protected:
virtual bool setIndicator(<a href="http://doc.trolltech.com/3.3/qstring.html"><font color=#004faf>QString</font></a> &amp;progressStr,
int progress,
int totalSteps);
...
};
</pre>
<p>API相当复杂，且不统一。比如，仅从名字reset()并不能理解其作用，setTotalSteps()和setProgress()是紧耦合的。 </p>
<p>改进API的关键，是注意到<a href="http://doc.trolltech.com/3.3/qprogressbar.html"><font color=#004faf>QProgressBar</font></a>和Qt4的<a href="http://doc.trolltech.com/4.0/qabstractspinbox.html"><font color=#004faf>QAbstractSpinBox</font></a>类及其子类<a href="http://doc.trolltech.com/4.0/qspinbox.html"><font color=#004faf>QSpinBox</font></a>，<a href="http://doc.trolltech.com/4.0/qslider.html"><font color=#004faf>QSlider</font></a>和<a href="http://doc.trolltech.com/4.0/qdial.html"><font color=#004faf>QDial</font></a>很相似。解决方法？用minimum、maximum和value代替progress和totalSteps。加入alueChanged()信号。加入setRange()函数。 </p>
<p>之后观察progressString、percentage和indicator实际都指一个东西：在进度条上显示的文字。一般来说文字是百分比信息，但是也可以使用setIndicator()设为任意字符。下面是新的API： </p>
<pre>    virtual <a href="http://doc.trolltech.com/3.3/qstring.html"><font color=#004faf>QString</font></a> text() const;
void setTextVisible(bool visible);
bool isTextVisible() const;
</pre>
<p>默认的文字信息是百分比信息。文字信息可以藉由重新实现text()而改变。 </p>
<p>在Qt3 API中，setCenterIndicator()和setIndicatorFollowStyle()是两个影响对齐的函数。他们可以方便的由一个函数实现，setAlignment()： </p>
<pre>    void setAlignment(Qt::Alignment alignment);
</pre>
<p>如果程序员不调用setAlignment()，对齐方式基于当前的风格。对于基于Motif的风格，文字将居中显示；对其他风格，文字将靠在右边。 </p>
<p>这是改进后的<a href="http://doc.trolltech.com/3.3/qprogressbar.html"><font color=#004faf>QProgressBar</font></a> API： </p>
<pre>    class <a href="http://doc.trolltech.com/3.3/qprogressbar.html"><font color=#004faf>QProgressBar</font></a> : public <a href="http://doc.trolltech.com/3.3/qwidget.html"><font color=#004faf>QWidget</font></a>
{
...
public:
void setMinimum(int minimum);
int minimum() const;
void setMaximum(int maximum);
int maximum() const;
void setRange(int minimum, int maximum);
int value() const;
virtual <a href="http://doc.trolltech.com/3.3/qstring.html"><font color=#004faf>QString</font></a> text() const;
void setTextVisible(bool visible);
bool isTextVisible() const;
Qt::Alignment alignment() const;
void setAlignment(Qt::Alignment alignment);
public slots:
void reset();
void setValue(int value);
signals:
void valueChanged(int value);
...
};
</pre>
<a name=HowToGetApisRight>
<h2>如何把API设计好（原文是How to Get APIs Right，我总想成We do APIs right&#8230;&#8230;）</h2>
</a>
<p>API需要质量保证。第一个修订版不可能是正确的；你必须做测试。写些用例：看看那些使用了这些API的代码，并验证代码是否易读。 </p>
<p>其他的技巧包括让别的人分别在有文档和没有文档的情况下，使用这些API；或者为API类写文档（包括类的概述和独立的函数）。 </p>
<p>当你卡住时，写文档也是一种获得好名字的方法：仅仅是尝试把条目（类，函数，枚举值，等等呢个）写下来并且使用你写的第一句话作为灵感。如果你不能找到一个精确的名字，这常常说明这个条目不应该存在。如果所有前面的事情都失败了并且你确认这个概念的存在，发明一个新名字。毕竟，&#8220;widget&#8221;、 &#8220;event&#8221;、&#8220;focus&#8221;和&#8220;buddy&#8221;这些名字就是这么来的。 </p>
<img src ="http://www.cppblog.com/eXile/aggbug/42857.html" width = "1" height = "1" /><br><br><div align=right><a style="text-decoration:none;" href="http://www.cppblog.com/eXile/" target="_blank">eXile</a> 2008-02-18 00:50 <a href="http://www.cppblog.com/eXile/archive/2008/02/18/42857.html#Feedback" target="_blank" style="text-decoration:none;">发表评论</a></div>]]></description></item><item><title>测试驱动开发（ＴＤＤ）的顿悟</title><link>http://www.cppblog.com/eXile/archive/2008/01/23/41728.html</link><dc:creator>eXile</dc:creator><author>eXile</author><pubDate>Wed, 23 Jan 2008 09:23:00 GMT</pubDate><guid>http://www.cppblog.com/eXile/archive/2008/01/23/41728.html</guid><wfw:comment>http://www.cppblog.com/eXile/comments/41728.html</wfw:comment><comments>http://www.cppblog.com/eXile/archive/2008/01/23/41728.html#Feedback</comments><slash:comments>11</slash:comments><wfw:commentRss>http://www.cppblog.com/eXile/comments/commentRss/41728.html</wfw:commentRss><trackback:ping>http://www.cppblog.com/eXile/services/trackbacks/41728.html</trackback:ping><description><![CDATA[　　对于测试驱动开发（ＴＤＤ），始终有一些迷惑，比如说，它的测试需要考虑完备性吗，需要考虑覆盖率吗？等等此类。今天从Javaeye中看到一句话，终于明白了。<br>　　&#8220;<span style="COLOR: red">什么是TDD？TDD就是把你的需求用测试给描述出来</span>。&#8221;<br>　　也就是说，ＴＤＤ中的测试和一般意义上的单元测试并不一样，尽管ＴＤＤ中的测试有时也作为单元测试来使用，但它们是两回事。（这里的<font style="COLOR: #000000" color=#ff0000>需求，指的不是客户需求，而是程序员的开发需求）。</font><br>　　使用ＴＤＤ时，首先写的是测试，这时相应代码还没有实现，那么测试什么东西呢？所以说，写测试的过程，同时也是<strong><span style="COLOR: red">设</span><span style="COLOR: red">计接口</span></strong>的过程。这和写单元测试的目的完全是不一样的。<br>　　ＴＤＤ还有一个额外的好处。大多数人都是懒的，不要指望所有的程序员在写完功能代码后，再去编写相应的单元测试。我觉得这个接口的实现没有问题，所以就不用测试。这种想法也很常见。所以一开始就写下测试，可以杜绝后患。 
<img src ="http://www.cppblog.com/eXile/aggbug/41728.html" width = "1" height = "1" /><br><br><div align=right><a style="text-decoration:none;" href="http://www.cppblog.com/eXile/" target="_blank">eXile</a> 2008-01-23 17:23 <a href="http://www.cppblog.com/eXile/archive/2008/01/23/41728.html#Feedback" target="_blank" style="text-decoration:none;">发表评论</a></div>]]></description></item></channel></rss>