简介

在传统的 C++ 开发中，频繁出现的 if-else 结构往往导致代码臃肿、可读性下降。是在处理多类型、多分支逻辑时嵌套深度容易失控，维护成本大幅上升。因为语言的发展，C++ 引入了现代特性。如 std::variantstd::visit还有最近的 pattern matching 等，给了我们更简洁、更强大的方式来检查和提取数据中的信息。

模式匹配允许将输入表达式与各种特征进行匹配，支持多种模式类型。说到它主要用于，

• if constexpr: 编译期条件判断并可能声明变量。

• : 传统分支逻辑。

• : 更简洁的表达式形式。

模式匹配演进历程

基础模式类型

声明式匹配

auto& obj = std::variant;if constexpr。std::variant) {}
if ) {
从std:来看，cout < "整数: " < *p;
} else if ) {
    std::cout < "字符串长度: " < p->size;}

类型匹配

auto result = obj.match(
{ return "'i'";
},{ return "'s'";}
)，// 返回字符串描述
// 或者使用 switch 表达式:
auto result = std::visit_overload_of::type>(obj,{...}
);不过，// 自定义重载集合
}

常量模式

enum struct Status { OK。ERROR }，
Status s = Status::ERROR<\/span>;switch {
case Status::OK<\/span>: std::cout<"成功"; break;
    case Status::ERROR : std::cout<"错误"; break;
}
// 使用 switch 表达式：
auto msg = {
switch {
case Status:<\/ span>{OK}:\treturn \"成功\";话说回来，case Status:<\/ span>{ERROR}:\treturn \"错误\";怎么说呢，default:\treturn \"未知\";}
}，// 或者使用 new 'case_when' 在 C++23:
auto msg2 = {
return s.match(
{return \"成功\";},{return \"错误\";}
)，};}\">

高级模式匹配

属性模式

struct Person { std:<\/ span>{ string Name;int Age，};}，

Person p{ \"John\",30 };按理说，if { std:这方面。cout<"John 已成年"; }

// 嵌套属性 Order order{ .Customer{ .Address{ .City{\"Beijing\"} } } };if { 说到std:，cout<"北京客户的订单"; }

// 简化写法：结构体解构 + if constexpr if(auto& customer = order.Customer;customer.Address.City == \"Beijing\") { ... }