kotlin - JavaFX:在修改基础列表时更改过滤列表谓词

Question

我有一个用 Kotlin 编写的 JavaFX 应用程序。该应用程序显示了一个都有日期的账单列表:

data class Bill(
    val date: LocalDate
    // ...
)

账单存储在一个可观察列表中，由过滤列表包装。
我希望用户能够设置过滤账单的日期范围。除此之外，我希望该范围在修改基础账单列表时自动更改。该日期范围的下限和上限被保存为属性。
我已经尝试了两种方法:

分配通过读取当前属性值过滤日期的单个谓词。 当日期范围更改时，这不会重新过滤列表。如果有一种方法可以强制过滤列表在发生这种情况时重新过滤，那就太好了。

绑定(bind)谓词属性，以便在更改范围属性时更新。 这导致 ArrayIndexOutOfBoundsException s 或 NoSuchElementException s 在修改或访问账单时从过滤列表中抛​​出。我不太明白为什么会发生这种情况，以及所有这些绑定(bind)背后到底发生了什么。

这是正在发生的事情的简化示例:

import javafx.application.Application
import javafx.beans.binding.Bindings
import javafx.beans.binding.ObjectBinding
import javafx.beans.property.SimpleObjectProperty
import javafx.collections.FXCollections
import javafx.collections.ObservableList
import javafx.collections.transformation.FilteredList
import javafx.stage.Stage
import java.time.LocalDate
import java.util.function.Predicate

data class Bill(
    val date: LocalDate
)

class Example : Application() {
    private val bills: ObservableList<Bill> = FXCollections.observableArrayList()
    private val filteredBills: FilteredList<Bill> = FilteredList(bills)

    val latestBillDateBinding: ObjectBinding<LocalDate?> =
        Bindings.createObjectBinding({
            bills.maxOfOrNull { it.date }
        }, bills)

    // In the original code, the UI is bidirectionally bound to this
    val endingDateProperty = SimpleObjectProperty(LocalDate.now())
    var endingDate: LocalDate?
        get() = endingDateProperty.value
        set(value) {
            endingDateProperty.value = value
        }

    init {
        latestBillDateBinding.addListener { _, oldValue, newValue ->
            if (endingDate == oldValue)
                endingDate = newValue
        }

        // First approach - does not refilter
        filteredBills.predicate = Predicate {
            it.date == endingDate
        }

        // Second approach - throws exceptions
        /*
        filteredBills.predicateProperty().bind(Bindings.createObjectBinding({
            // This is just an example.
            // The actual predicate checks whether the date is in a valid range.
            Predicate { it.date == endingDate }
        }, endingDateProperty))
        */

        bills += Bill(LocalDate.now())
    }

    fun alterData() {
        println("Altering data")
        bills += Bill(bills.last().date.plusDays(1))
    }

    fun accessData() {
        println("Accessing data")
        println(filteredBills)
    }

    fun changeEndingDate() {
        println("Changing filter")
        endingDate = endingDate?.plusDays(1)
    }

    override fun start(primaryStage: Stage) {
        accessData()
        alterData()
        accessData()
        changeEndingDate()
        accessData()
    }
}

第一种方法的输出:

Accessing data
[Bill(date=2021-07-20)]
Altering data
Accessing data
[Bill(date=2021-07-20), Bill(date=2021-07-21)]
Changing filter
Accessing data
[Bill(date=2021-07-20), Bill(date=2021-07-21)]

第二种方法的输出:

Accessing data
[Bill(date=2021-07-20)]
Altering data
Accessing data
Exception in Application start method
Exception in thread "main" java.lang.reflect.InvocationTargetException
    at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
    at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
    at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
    at java.base/java.lang.reflect.Method.invoke(Method.java:566)
    at java.base/sun.launcher.LauncherHelper$FXHelper.main(LauncherHelper.java:1051)
Caused by: java.lang.RuntimeException: Exception in Application start method
    at javafx.graphics/com.sun.javafx.application.LauncherImpl.launchApplication1(LauncherImpl.java:900)
    at javafx.graphics/com.sun.javafx.application.LauncherImpl.lambda$launchApplication$2(LauncherImpl.java:195)
    at java.base/java.lang.Thread.run(Thread.java:834)
Caused by: java.util.NoSuchElementException
    at java.base/java.util.AbstractList$Itr.next(AbstractList.java:377)
    at java.base/java.util.AbstractCollection.toString(AbstractCollection.java:472)
    at java.base/java.lang.String.valueOf(String.java:2951)
    at java.base/java.io.PrintStream.println(PrintStream.java:897)
    at org.example.App.accessData(App.kt:63)
    at org.example.App.start(App.kt:74)
    at javafx.graphics/com.sun.javafx.application.LauncherImpl.lambda$launchApplication1$9(LauncherImpl.java:846)
    at javafx.graphics/com.sun.javafx.application.PlatformImpl.lambda$runAndWait$12(PlatformImpl.java:474)
    at javafx.graphics/com.sun.javafx.application.PlatformImpl.lambda$runLater$10(PlatformImpl.java:447)
    at java.base/java.security.AccessController.doPrivileged(Native Method)
    at javafx.graphics/com.sun.javafx.application.PlatformImpl.lambda$runLater$11(PlatformImpl.java:446)
    at javafx.graphics/com.sun.glass.ui.InvokeLaterDispatcher$Future.run(InvokeLaterDispatcher.java:96)
    at javafx.graphics/com.sun.glass.ui.win.WinApplication._runLoop(Native Method)
    at javafx.graphics/com.sun.glass.ui.win.WinApplication.lambda$runLoop$3(WinApplication.java:174)
    ... 1 more

如果存在重新过滤列表的方法，我更喜欢第一种方法。我还想知道是什么导致了我在使用第二种方法时遇到的问题以及如何解决它。
注意:也欢迎使用 Java 编写的代码示例。

Answer 1

正如 kleopatra 指出的那样，过滤列表及其谓词​​的内容更新顺序似乎存在问题。
而不是向 latestBillDateBinding 添加监听器应该根据源列表更改谓词，可以将类似的监听器添加到源列表本身:

bills.addListener(object : ListChangeListener<Bill> {

    var latestBillDate: LocalDate? = null

    override fun onChanged(c: ListChangeListener.Change<out Bill>) {
        val newMax = bills.maxOfOrNull { it.date }

        if (endingDate == latestBillDate){
            endingDate = newMax
        }

        latestBillDate = newMax
    }
})

这里的区别在于，最新的帐单日期不再由绑定(bind)计算，而是存储为常规变量并在新监听器中计算。
我相信这样做的原因是因为在过滤列表收到更改事件后调用源列表上的监听器，使其能够在谓词最终更改时正确重新过滤。