Patternia v0.9.0 – C++ 模式匹配库

[maredbf]

之前在 V2EX 发过 Patternia 的初版介绍，经过多个月的迭代，目前已发布 v0.9.0 ，整理一下当前状态。

• GitHub: https://github.com/sentomk/patternia

• 文档: https://patternia.tech

Patternia 是一个 header-only 的 C++17 模式匹配库，目标是为 C++ 提供结构化的条件分支与数据解构能力，替代分散的 if/switch 与手动类型判别。零运行时开销，不依赖 RTTI 和虚函数。

相较上次发帖时的状态，v0.9.0 的主要进展：

• 补全了 std::variant 的类型分发，通过 is<T> / as<T> 匹配
• 引入了 PTN_WHERE 和 PTN_LET 命名守卫语法，替代手写 lambda 做谓词约束
• 清理了早期遗留 API （ bind()、_1/_2/_3 、type:: 命名空间等）
• 修复了 MSVC 下 callable guard 的编译器兼容问题
• 已添加至 vcpkg 官方源

  #include <ptn/patternia.hpp>
  using namespace ptn;

  // 值守卫
  const char *bucket(int x) {
    return match(x) | on(
      $[PTN_LET(value, value < 0)]  >> "negative",
      $[PTN_LET(value, value < 10)] >> "small",
      _ >> "large"
    );
  }

  // 结构解构 + 命名守卫
  struct Point { int x; int y; };

  bool on_diagonal(const Point &p) {
    return match(p) | on(
      $(has<&Point::x, &Point::y>())[PTN_WHERE((x, y), x == y)] >> true,
      _ >> false
    );
  }

后续计划包括穷尽性检查与编译期诊断的完善。欢迎 issue 、反馈和设计层面的讨论。