满射要求函数值域等于陪域，即陪域中每个元素都有原像；以f(x)=x²为例，当陪域为ℝ时因输出非负而不满射，但将陪域改为[0,∞)后值域与陪域一致，函数变为满射。

HasCheckConstraint是在数据库层面强制执行业务规则的核心机制，通过SQL原生语法在OnModelCreating中定义唯一命名的检查约束，也可借助EFCore.CheckConstraints包自动将数据注解转为约束。

std::optional是C++17引入的值语义空状态容器，适用于预期可能无合法值的场景（如查找失败、解析错误），而非替代指针或哨兵值；必须用它时是需类型安全表达“有/无值”且避免异常、指针生命周期或值域污染。

CAST()是MySQL显式类型转换标准函数，语法为CAST(expressionAStype)，支持CHAR、SIGNED、DECIMAL、DATE等类型，不支持裸VARCHAR和BOOLEAN；需注意静默截断、日期格式限制及索引失效风险。

满射但不单射的函数需覆盖陪域所有元素且存在不同输入映射到同一输出。例1：A={1,2,3}→B={a,b}，f(1)=f(2)=a，f(3)=b，满足满射因B中元素均有原像，但1≠2导致非单射；例2：f:ℝ→(-∞,0]，f(x)=-x²，值域等于陪域故为满射，但f(1)=f(-1)=-1且1≠-1，故非单射；例3：多...

size_t是C++标准定义的无符号整型，专用于表示对象大小和数组索引，底层类型平台相关；不能直接当int用，因其无符号性导致与有符号数混用时引发隐式转换、回绕及未定义行为。