.. _stdlib_match:

================
模式匹配
================

.. include:: detail/match.rst

.. _match:

MATCH 模块在 Daslang 中实现了模式匹配。
(参见 :ref:`pattern-matching` 部分）。

所有函数和符号都在 “match ”模块中，使用 require 访问该模块。::

    require daslib/match


+++++++++++
调用宏
+++++++++++

.. _call-macro-match-match:

.. das:attribute:: match

实现 `match` 宏.

.. _call-macro-match-static_match:

.. das:attribute:: static_match

实现 `static_match` 宏.

.. _call-macro-match-multi_match:

.. das:attribute:: multi_match

实现 `multi_match` 宏.

.. _call-macro-match-static_multi_match:

.. das:attribute:: static_multi_match

实现 `static_multi_match` 宏.

++++++++++++++++
结构宏
++++++++++++++++

.. _handle-match-match_as_is:

.. das:attribute:: match_as_is

执行 `match_as_is` 注解。
该注解用于标记结构可通过 is 和 as machinery 与不同类型匹配。

.. _handle-match-match_copy:

.. das:attribute:: match_copy

实现 `match_copy` 注解。
该注解用于标记可通过 match_copy 机制匹配不同类型的结构。