postgresql关于array类型有交集（包含查询数据任意元素，有重叠&&）的一些查询方法以及sqlalchemy语句实现

class MachineFixDoc(Base):
    """
    设备报修单，代理或用户向公司申请报修
    """
    __tablename__ = 'machine_fix_doc'
    id = Column(String(26), unique=True, primary_key=True, default=SystemIDGenerator.repair_id)
    belong_to = Column(Enum(MachineFixBelongEnum), nullable=False)  # 报修的设备归属于用户还是代理
    user_id = Column(String(36))  # 用户id
    agent_id = Column(String(36), nullable=False)  # 代理id
    machine_ids = Column(ARRAY(String(18)), nullable=False)  # 设备id列表
    operator = Column(String(36))  # 报修单由谁创建的目前存的是app.models.interface.UserInterface.username
    stage = Column(Enum(MachineFixDocStageEnum), default=MachineFixDocStageEnum.ongoing)  # 处理中、或 已完成
    remark = Column(Text)  # 备注

from sqlalchemy import text
all_machine_ids = ['520000011903111748', ' 721990005000']
docs = db.session.query(MachineFixDoc.machine_ids).filter(text('machine_ids && array%s::varchar[]' % str(all_machine_ids))).all()