使用日期强制TimSort IllegalArgumentException

Question

使用Java 8 u151

我们有以下几种:

Collections.sort(srs, (sr1, sr2) -> sr1.getValidStartTime().compareTo(sr2.getValidEndTime()));

其中getValidStartTime和getValidEndTime是Date对象.

显然这段代码是错误的,因为我们的目标实际上是根据开始时间进行排序.

然而,不幸的是,导致该问题的数据已从数据库中删除,我们得到了臭名昭着的IllegalArgumentException.这似乎是合乎逻辑的,因为在元素之间,我们没有使用相同的值进行比较(A.start与B.end进行比较,但B.start与C.end进行比较).

我不能做的是弄清楚导致再次抛出此异常的数据集.修复代码以始终比较开始时间是正确的方法,但是对于数据集之前和之后的测试,我无法显示修复的证据(即使每个人都已经同意我们正在进行更改).

试着看看TimSort的mergeHi方法,但是我不能完全遵循所有的疾驰和数组副本.因此,虽然我可以告诉异常抛出的位置,但是它可以重现它已经失败了.

并且Date对象在排序之间是静态的.一旦在数据库中设置,它们就是不可变的.列表本身也没有改变.所以对我来说,我可能是错的,这指向数据并且我们有一些奇怪的开始和结束日期的组合违反了传递条款,但我尝试的每个组合总是带有效(如果不是有点奇怪)排序.

谢谢!

Answer 1

最简单的方法就是继续生成随机列表并尝试排序,直到它检查完毕.在jdk 1.8.0_111上,导致异常的最短列表是32个元素长.以下是可用于初始化Date值的开始/结束时间戳列表,并将导致异常:

{start=68208554877356084, end=3791095193142800835}
{start=248264922016936970, end=5326356389367348592}
{start=70847878331153962, end=1329864610265504554}
{start=299053597297857298, end=4543460986676142955}
{start=2075045414748723202, end=1193808915252175698}
{start=1888180037471781608, end=2492314749794483810}
{start=506596727265987351, end=2390472400080050280}
{start=4533260585328085001, end=2273691205607504663}
{start=5678209310012100575, end=959412777775545678}
{start=2732174389724934002, end=1780458709387750881}
{start=3098641550091084357, end=7078749384785410602}
{start=556524021068368297, end=8482788837298542192}
{start=98318333071465581, end=4156661237757928788}
{start=2084735587245502205, end=4379712643293008540}
{start=3165092267008534695, end=3427927233210778860}
{start=3109680552226050258, end=7303065366486904947}
{start=4928610946211198422, end=6426677832945805822}
{start=965369716172656147, end=6219167484686793206}
{start=805041445200191777, end=2942634988195806902}
{start=8045405997433808237, end=6001857015663585724}
{start=6633159983148701791, end=1448351075620872268}
{start=4539362557763873114, end=8432020244491782408}
{start=7435017849572867526, end=5951614001812150640}
{start=9205367993832979048, end=1341233048581746570}
{start=8478026453445310753, end=530855741009189818}
{start=4638397659065784972, end=2597599860193612976}
{start=3683809635722753669, end=8506390941316155399}
{start=5946468237919207244, end=3711093891423756040}
{start=6965128507257577261, end=8627460098134987362}
{start=7493578845247407113, end=8568660839840900159}
{start=7097494652946649557, end=8999069292652823540}
{start=9190087421488513073, end=20737341215892578}