17.1  定义及要求

校核（对）元素：在当前场景情况下，对一个或者多个字符进行校核，就像校核单一字符一样。

有限状态机：一种未指明的数据结构，用于表达一个正则表达式，该结构允许有效地匹配获取得正则表达式。

格式指示符：一个或多个字符的序列匹配，该序列会被正则表达式的一部分代替。

相匹配：零个或更多个字符组成的序列通过正则表达式，当序列中的字符和预先定义模式的字符序列一致时，即认为这两个字符序列是相匹配的。

基本等值类：一个或多个字符的集合，这些元素共享同一个基本的排序键。该排序键的重要性取决于字符模型，而不是其特点（或强调）、实例及本地详细的裁剪。

正则表达式：从字符串集合中选择确定的字符串。

子表达式：正则表达式的子集。该子集通常使用符号标明。

正则表达式作为一种类模板或者数据结果，必然有其性能和要求。首先，类模板basic_regex需要相关类型的集合和函数集，以便于实现其语法语义。这些类型和函数用于提供成员和函数集合，对应该模板类的参数trait。需要使用“用于字符容器的类charT和相关的正则表达式特点类”来定义类模板basic_regex，其形式如下：