satisfies运算符