kotlin - 在 Kotlin 中否定谓词的简单方法(例如 (String) -> Boolean))

Question

给定一个谓词(String) -> Boolean 我想知道是否有一种简单的方法来否定该谓词的结果。只要我使用列表，我可以简单地从filter切换至 filterNot ，但是如果我有的话，比如说... a Map并使用filterKeys ？

到目前为止我使用的是:

val myPredicate : (String) -> Boolean = TODO()
val map : Map<String, String> = TODO()

map.filterKeys { !myPredicate(it) }

但我想知道为什么Collection有一个重载的过滤函数，但Map却没有。此外我还想知道，为什么没有类似于我们在Java中的东西，即Predicate.negate()自 Java 11 Predicate.not(..) .

或者它确实存在但我只是没有找到它？

Answer 1

当时我的方法是使用两个函数，一个使用 not 运算符，另一个是接受谓词的简单 not 函数。今天，我真的不能再推荐这种方法，但如果我必须再次处理键或值的许多谓词否定，我宁愿选择以下方法:

inline fun <K, V> Map<out K, V>.filterKeysNot(predicate: (K) -> Boolean) = filterKeys { !predicate(it) }
inline fun <K, V> Map<out K, V>.filterValuesNot(predicate: (V) -> Boolean) = filterValues { !predicate(it) }

这样，只需调用 filterKeysNot(givenPredicate) 即可使用给定谓词，类似于在集合上使用 filterNot 已经可以实现的功能。

对于当时遇到的问题，我能够进行重构，以便可以对数据进行适当的分区，因此不再需要谓词否定。

如果我只在极少数情况下需要它，我宁愿坚持使用 filterKeys { !predicate(it) } 或 filterNot { (key, _) -> predicate(key) }.

以下变体显示了如何实现诸如 Predicates.not 或 Predicate.negate 之类的内容:

以下内容将允许使用 ! 运算符来否定谓词(如果应允许多个参数，则需要适当的重载):

operator fun <T> ((T) -> Boolean).not() = { e : T -> !this(e) }

接下来允许使用not( {/* a predicate */} )。然而，至少对我来说，这并不是真正更具可读性:

inline fun <T> not(crossinline predicate: (T) -> Boolean)  = { e : T -> !predicate(e)}

用法:

val matchingHello : (String) -> Boolean = { it == "hello" }

mapOf("hello" to "world", "hi" to "everyone")
       .filterKeys(!matchingHello)
// or  .filterKeys(not(matchingHello))
// or  .filterKeys(matchingHello.not())
// or as shown above:
//     .filterKeysNot(matchingHello)
       .forEach(::println)