元编程是指在程序运行时创建、检查或修改程序的一种编程范式。它可以帮助程序员更灵活地处理代码和数据，提高代码的复用性和可维护性。以下是几种常见的元编程种类：

1. 宏（Macro）

宏是一种元编程技术，允许程序员在编译时根据宏定义来生成代码。通过宏，程序员可以编写一些通用的代码模板，然后在需要的地方进行调用，从而减少重复代码的编写。C语言中的预处理器就是一种宏的应用。

2. 反射（Reflection）

反射是一种在运行时检查、访问和修改程序结构的能力。通过反射，程序可以动态地获取类的信息、调用方法、访问属性等。Java、C#等语言提供了反射机制，使得程序可以在运行时获取类型信息，实现更灵活的编程。

3. 元类（Metaclass）

元类是面向对象编程中的一种概念，它定义了类的行为和结构。通过元类，程序员可以动态地创建类、修改类的行为，甚至可以在类被创建时进行一些操作。Python等动态语言中支持元类的使用。

4. 模板元编程（Template Metaprogramming）

模板元编程是一种利用编译时计算能力来生成代码的技术。C 中的模板就是一种模板元编程的应用，通过模板可以在编译时生成不同类型的代码，提高程序的性能和灵活性。

5. 编译器插件（Compiler Plugin）

编译器插件是一种在编译器层面对程序进行修改和优化的技术。通过编译器插件，程序员可以在编译过程中对代码进行静态分析、优化和转换，从而提高程序的性能和可靠性。

以上是几种常见的元编程种类，每种技术都有其特定的应用场景和优缺点。在实际编程中，程序员可以根据需求选择合适的元编程技术，以提高代码的质量和效率。