宏与类型系统

宏是能够在编译时转换其他代码的代码片段。它们允许你根据程序的结构进行计算并生成代码，从而实现强大的元编程能力。另一方面，类型系统是一套规则，用于规范编程语言中数据类型的用法。它确保类型安全，通过在编译期间验证操作是否在兼容的数据类型上执行来防止错误。