在一些候选元素中构成一个包含元素的小列表，其中每个元素的包含依赖于一个独立的谓词？

Question

假设我想返回一个包含[1 2 3 4]的子集的集合。是否包含1取决于w？，是否包含2取决于x？，y？上的3，z？上的4。

如果我这样做

[(if (w?) 1) (if (x?) 2) (if (y?) 3) (if (z?) 4)] 

和（x？），并评估是否真（Y？），其他假的，我想最终

[nil 2 3 nil] 

但我想

[2 3] 

有没有规范的方法来完成这个？这让人想起列表理解，但不完全相同。

感谢

编辑：

我认为我可以创建一个映射{1 W' 2 x？ 3年？ z 4？}，然后是reduce，通过是否考虑每个键取决于它的值函数是否为真，但也许有更好的方法。

Answer 1

这会做你想要什么：

(defn f [conds vs] 
    (when (seq vs) 
    (let [[c1 & cr] conds 
      [v1 & vr] vs] 
     (if c1 
     (cons v1 (f cr vr)) 
     (f cr vr))))) 

例子：

(f [false true true false] [1 2 3 4]) 
=> (2 3) 

(f [true true false true false true] [1 2 3 nil 4 5]) 
=> (1 2 nil 5)