页面中显示HTML标签源代码
归纳几种方法，根据需求选用：
a: 把代码写在文本区域 <textarea>标签中。可以设置 disabled="disabled" 属性，禁止用户操作。
b: 把要显示在html文档中标签的 "<"、">" 用实体字符替换掉。如：<p></p> 外层嵌套<pre>标签可使页面与HTML格式一致。
C: 用程序批量替换。
其实在html页面中，之所以会把你写的不想转换的html标签也转换了，就是因为标签中的<和>，只要你把这两个符号用代码替代掉，页面加载的时候就不会对这段代码解析了，在打开页面后就会出现你想要的效果，例子如下：<pre>
<body>
a
</body>
</pre>
其中，<表示<，>表示>，其实>也可以不用替换，只要html页面加载时找不到<，>符号就不会起作用
<pre>标签主要是为了保留标签内部的格式（空格和换行符）用的，这样就不需要再使用其他的换行和空格符号格式化文本了
php中htmlspecialchars函数能把<、>转义成可以在html页面直接显示的形式（<>），比如
$str='<a href="a.html">aaa</a>'
echo htmlspecialchars($str)就是直接显示代码了。
更详细的用法去查阅htmlspecialchars说明，可以选择性地转义引号
