使用pygments.formatters.html生成带有语法高亮的代码HTML展示

pygments是一个非常流行的基于Python语言的代码高亮库。使用pygments可以将代码转换为带有语法高亮的HTML格式，使得代码在网页上的展示更加美观和易读。下面是一个使用pygments.formatters.html生成带有语法高亮的代码HTML展示的例子。

首先，我们需要安装pygments库。可以使用pip命令在命令行中安装：

pip install pygments

接下来，我们需要写一个Python程序来生成带有语法高亮的代码HTML展示。下面是一个简单的例子，展示如何将Python代码转换为带有语法高亮的HTML格式：

from pygments import highlight
from pygments.lexers import PythonLexer
from pygments.formatters import HtmlFormatter

def highlight_code(code):
    lexer = PythonLexer()
    formatter = HtmlFormatter()
    highlighted_code = highlight(code, lexer, formatter)
    return highlighted_code

if __name__ == "__main__":
    code = """
    def greet(name):
        print("Hello, " + name + "!")

    greet("World")
    """
    highlighted_code = highlight_code(code)
    print(highlighted_code)

以上代码定义了一个highlight_code函数，它接受一个代码字符串作为输入，并使用PythonLexer对代码进行词法分析，然后使用HtmlFormatter对代码进行格式化，最后使用highlight函数将代码转换为带有语法高亮的HTML格式。代码中使用的例子是一个简单的Python函数调用，你可以根据需要替换为任何其他代码。

最后，运行以上代码，你将在控制台输出带有语法高亮的HTML代码。你可以将输出的HTML代码复制到一个HTML文件中，并在浏览器中打开，就可以看到带有语法高亮的代码展示了。当然，你也可以将生成的HTML代码嵌入到其他网页中，以实现在网页上展示带有语法高亮的代码的效果。