JavaFX：在修改基础列表时更改过滤列表谓词

问题描述

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

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

账单存储在一个可观察列表中，由过滤列表包装。

我希望用户能够设置过滤账单的日期范围。除此之外，我希望该范围在修改基础账单列表时自动更改。该日期范围的下限和上限被保存为属性。

我已经尝试了两种方法：

分配单个谓词，通过读取当前属性值过滤日期。这不会在日期范围更改时重新过滤列表。如果有一种方法可以强制过滤列表在发生这种情况时重新过滤，那就太好了。
绑定谓词属性，以便在范围属性更改时更新。这会导致 Arrayindexoutofboundsexception 或 NoSuchElementException 从过滤列表中抛出账单被修改或访问。我不太明白为什么会发生这种情况，以及所有这些绑定背后到底发生了什么。

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

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 编写的代码示例。

解决方法

正如 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
    }
})

这里的区别在于，最新的帐单日期不再通过绑定计算，而是存储为常规变量并在新的侦听器中计算。

我相信这样做的原因是源列表上的侦听器在过滤列表收到更改事件后被调用，使其能够在谓词最终更改时正确重新过滤。

data-binding javafx javafx kotlin kotlin kotlin observablelist