集合运算 集合类型数据 异或运算 指针 相容关系 对称表 错误分析 覆盖