18、字母表模块：概念、自定义与核苷酸子模块详解

字母表模块：概念、自定义与核苷酸子模块详解

1. 字母表模块基础操作与概念

1.1 基础函数操作

seqan3::assign_char_strictly_to(c, alph) 函数用于通过字符赋值来改变 alph 的值。它是一个函数对象，但其语义完全由其他自定义点对象（CPO）提供，因此不能被自定义。该函数的执行流程如下：
1. 调用 seqan3::char_is_valid_for<decltype(alph)>(c) 检查字符 c 是否对 alph 有效。
2. 如果结果为 false ，则抛出异常；否则，调用 seqan3::assign_char_to(c, alph) 。

这个函数适用于不希望进行静默转换为有效值的情况，并且它是唯一实现中必须包含分支（ if 检查）且不能标记为 noexcept 的基本操作。

1.2 字母表概念设计

在泛型编程中使用字母表并实现多态性，需要定义 C++ 概念来涵盖典型和更精细的用例。设计概念时，应基于实际用例而非紧密依赖所设计类型的接口。

在 C++ 中， T 、 T & 、 T const & 等都是不同的类型，一个类型可能满足某个概念，但相关类型不一定满足。例