Spring(规范)-如何使用manyToMany关系和集合创建条件生成器

@Entity
public class User {
    @Id
    private Long id;
    private String name;
    
    @ManyToMany
    @JoinTable(name = "user_role",
            joinColumns = @JoinColumn(name = "user_id"),
            inverseJoinColumns = @JoinColumn(name = "role_id"))
    private Set<Role> roles;
    
    // 省略其他属性和方法
}

@Entity
public class Role {
    @Id
    private Long id;
    private String name;
    
    @ManyToMany(mappedBy = "roles")
    private Set<User> users;
    
    // 省略其他属性和方法
}

public class CriteriaBuilder {
    private List<Criterion> criteria;
    
    public CriteriaBuilder() {
        criteria = new ArrayList<>();
    }
    
    public void addCriterion(Criterion criterion) {
        criteria.add(criterion);
    }
    
    public String generateQuery() {
        StringBuilder query = new StringBuilder("SELECT u FROM User u");
        
        if (!criteria.isEmpty()) {
            query.append(" WHERE");
            
            for (int i = 0; i < criteria.size(); i++) {
                Criterion criterion = criteria.get(i);
                
                query.append(" u.")
                     .append(criterion.getProperty())
                     .append(" ")
                     .append(criterion.getOperator())
                     .append(" ")
                     .append(criterion.getValue());
                
                if (i < criteria.size() - 1) {
                    query.append(" AND");
                }
            }
        }
        
        return query.toString();
    }
}

public class UserService {
    // 省略注入和其他属性
    
    public List<User> searchUsers(List<Criterion> criteria) {
        CriteriaBuilder builder = new CriteriaBuilder();
        
        for (Criterion criterion : criteria) {
            builder.addCriterion(criterion);
        }
        
        String query = builder.generateQuery();
        // 执行查询操作，返回结果
    }
}