如何使用MPark.Patterns？从FizzBuzz示例快速入门C++模式匹配-开发者社区

如何使用MPark.Patterns？从FizzBuzz示例快速入门C++模式匹配

【免费下载链接】patternsThis is an experimental library that has evolved to P2688项目地址: https://gitcode.com/gh_mirrors/patterns2/patterns

MPark.Patterns是一个实验性C++库，它为C++开发者提供了强大的模式匹配功能，已演变为P2688标准提案。本文将通过经典的FizzBuzz问题，带您快速掌握MPark.Patterns的核心用法，让您的C++代码更简洁、更具可读性。

📋 什么是MPark.Patterns？

MPark.Patterns是一个基于C++17及以上标准的模式匹配库，它允许开发者使用类似函数式编程语言的模式匹配语法来处理数据。该库的核心头文件位于include/mpark/patterns/match.hpp，通过引入这个头文件，您可以在C++代码中使用丰富的模式匹配功能。

🚀 快速开始：安装与配置

要开始使用MPark.Patterns，首先需要克隆项目仓库：

git clone https://gitcode.com/gh_mirrors/patterns2/patterns

项目使用CMake进行构建，您可以按照标准的CMake项目构建流程进行编译和安装。

💡 FizzBuzz问题的模式匹配实现

FizzBuzz是一个经典的编程问题，要求从1到100打印数字，如果数字能被3整除则打印"fizz"，能被5整除则打印"buzz"，如果同时能被3和5整除则打印"fizzbuzz"。下面我们看看如何使用MPark.Patterns来实现这个问题。

版本一：基础元组模式匹配

MPark.Patterns提供了简洁的元组模式匹配语法。以下是使用元组模式匹配实现FizzBuzz的代码：

auto fizzbuzz_v1() { std::vector<std::variant<int, std::string>> result; using namespace mpark::patterns; for (int i = 1; i <= 100; ++i) { match(i % 3, i % 5)( pattern(0, 0) = [&] { result.push_back("fizzbuzz"); }, pattern(0, _) = [&] { result.push_back("fizz"); }, pattern(_, 0) = [&] { result.push_back("buzz"); }, pattern(_, _) = [&] { result.push_back(i); } ); } return result; }

在这个实现中，我们使用match(i % 3, i % 5)来匹配两个值的组合。pattern(0, 0)表示当两个值都为0时的情况（即能被15整除），pattern(0, _)表示第一个值为0而第二个值为任意值的情况（即能被3整除但不能被5整除），依此类推。_是通配符，表示匹配任意值。

版本二：使用when条件的模式匹配

MPark.Patterns还支持使用when子句来添加条件判断，使模式匹配更加灵活。以下是使用when条件实现FizzBuzz的代码：

auto fizzbuzz_v2() { std::vector<std::variant<int, std::string>> result; using namespace mpark::patterns; for (int i = 1; i <= 100; ++i) { IDENTIFIERS(x); match(i)( pattern(_).when(_ % 15 == 0) = [&] { result.push_back("fizzbuzz"); }, pattern(arg).when(arg % 3 == 0) = & { result.push_back("fizz"); }, pattern(x).when(x % 5 == 0) = & { result.push_back("buzz"); }, pattern(x) = & { result.push_back(x); } ); } return result; }

在这个实现中，我们使用match(i)来匹配单个值，并使用when子句来添加额外的条件判断。pattern(_).when(_ % 15 == 0)表示当值能被15整除时的情况，pattern(arg).when(arg % 3 == 0)表示当值能被3整除时的情况，其中arg是一个占位符，可以在后续的 lambda 表达式中使用。

📚 深入了解：其他模式匹配功能

除了FizzBuzz示例中展示的基本功能外，MPark.Patterns还提供了许多其他强大的模式匹配功能，如递归模式匹配、变体类型匹配等。以下是一些示例：

递归模式匹配：阶乘计算

int factorial(int n) { using namespace mpark::patterns; return match(n)( pattern(0) = [] { return 1; }, pattern(arg) = [](int n) { return n * factorial(n - 1); } ); }

变体类型匹配：斐波那契数列

int fib_v2(int n) { using namespace mpark::patterns; return match(n)( pattern(arg).when(arg < 0) = [](int) { return 0; }, pattern(arg(anyof(0, 1))) = [](int n) { return n; }, pattern(arg) = [](int n) { return fib_v2(n - 1) + fib_v2(n - 2); } ); }

在这个示例中，我们使用了anyof模式来匹配0或1的情况，使代码更加简洁。

🧪 测试与验证

MPark.Patterns项目提供了完善的测试用例，您可以在test/intro.cpp文件中找到本文介绍的所有示例的测试代码。通过运行这些测试，您可以验证模式匹配的正确性。

TEST(Intro, Fizzbuzz) { EXPECT_EQ(fizzbuzz_v1(), fizzbuzz_v2()); } TEST(Intro, Factorial) { EXPECT_EQ(120, factorial(5)); EXPECT_EQ(3628800, factorial(10)); } TEST(Intro, Fibonacci) { EXPECT_EQ(55, fib_v0(10)); EXPECT_EQ(55, fib_v1(10)); EXPECT_EQ(55, fib_v2(10)); }