模式匹配是一种可以大大简化源代码的抽象机制。通常,模式匹配被内置到一种语言中,以提供更好的语法、更快的代码、正确性保证和改进的诊断。MACH7是C++中模式匹配的一种库解决方案,它维护了许多这些特性。Mach7中的所有模式都是用户可定义的,可以存储在变量中,在函数之间传递,并允许使用开放类层次结构。
评论