在 SQLAlchemy 中，使用多个 IN 子句会导致笛卡尔积式匹配，无法保证字段间的成对关系；应改用 or_() 组合多个 (col1 == val1) & (col2 == val2) 条件，或在 PostgreSQL 中使用 tuple_().in_() 实现语义精确、性能更优的成对查询。
在 sqlalchemy 中，使用多个 `in` 子句会导致笛卡尔积式匹配，无法保证字段间的成对关系；应改用 `or_()` 组合多个 `(col1 == val1) & (col2 == val2)` 条件，或在 postgresql 中使用 `tuple_().in_()` 实现语义精确、性能更优的成对查询。
当需要根据多个字段的成对值（pairwise correspondence） 查询数据库记录时（例如：查找 (name, surname) 精确等于 [("Mario", "Rossi"), ("Giovanni", "Bianchi")] 的用户），绝不能简单地对各字段分别使用 .in_()。这是因为 User.name.in_(names) & User.surname.in_(surnames) 会匹配所有满足“名字在名单中 且 姓氏在名单中”的组合——即逻辑等价于笛卡尔积，导致如 ("Mario", "Bianchi") 这类未在原始列表中出现的非法组合也被返回。
✅ 正确做法是将每个 (name, surname) 元组转换为一个独立的布尔条件，并用 or_() 连接：
from sqlalchemy import or_
users = [("Mario", "Rossi"), ("Giovanni", "Bianchi")]
with Session(engine) as session:
stmt = select(User).where(
or_(
*( (User.name == name) & (User.surname == surname)
for name, surname in users )
)
)
results = session.execute(stmt).scalars().all()
print(results)
# 输出: [User(name='Mario', surname='Rossi'), User(name='Giovanni', surname='Bianchi')]
该方案兼容所有主流数据库（SQLite、MySQL、PostgreSQL、Oracle 等），语义清晰，且生成的 SQL 易读可调试（如 SQLite 下生成 WHERE (name = ? AND surname = ?) OR (name = ? AND surname = ?)）。
⚠️ 注意事项：
- 若
users列表为空，or_(*[])将生成false条件，返回空结果集 —— 符合直觉，但需在业务逻辑中确认是否需提前校验； - 对于超大列表（如数千对），
OR链可能导致 SQL 编译/执行开销上升，此时建议分批查询或改用临时表（依数据库能力而定）； -
or_()中的*解包要求users为非空可迭代对象；若可能为空，请添加保护逻辑（如or_(*conditions) if conditions else false()）。
? PostgreSQL 用户专属优化：
PostgreSQL 原生支持行值表达式（row value expressions），SQLAlchemy 提供 tuple_() 构造器，可生成高效、简洁的 WHERE (name, surname) IN (...) 语法：
from sqlalchemy.sql.expression import tuple_
with Session(engine) as session:
stmt = select(User).where(
tuple_(User.name, User.surname).in_(users)
)
results = session.execute(stmt).scalars().all()
print(results)
此写法不仅代码更简洁，还能利用 PostgreSQL 的索引优化（尤其当 (name, surname) 上存在复合索引时），查询性能通常优于长 OR 链。但注意：该语法不被 SQLite、MySQL（，跨数据库项目中请优先选用 or_() 方案以保证可移植性。
总结：成对匹配的本质是「逻辑或」而非「字段并列筛选」；牢记 IN 是单字段集合成员判断，而 (a,b) IN ((x1,y1),(x2,y2)) 才是真正的成对语义 —— SQLAlchemy 通过 or_() 提供通用解法，通过 tuple_() 为 PostgreSQL 提供原生增强。
