duangsuse::Echo

咳咳... 冒犯一点说，这代码是我在 LayoutFormatter 里看到的（我只能找到一点给 google 的 PR, 因为基本都是些板凳条凳的代码风格问题（而且还比较盲目地去掉了 id 名里的视图类型、把 UiXXXX 改成了 UIXXXX，不太符合原项目上 camelCase 分词优雅性规则，但是 JDK11 是...），项目依赖管理貌似出现了问题，后来就没被 merge），而它已经被 Drakeet 删掉了... 或者闭源了好吧，我好歹还是找了一会... https://github.c…

一言以蔽之：『解析算法』是可用的，但是未免也太... 莫名其妙了.... 而且不 effective，有个该抽提成循环的不抽提，有个方法的名字根本是错的，算了我不说原因...

那么我们看看排序算法。

int i, j;
String temp;
for (i = start; i < end - 1; i++) {
    for (j = start; j < end - 1 - i + start; j++) {
        if (getLinePriority(lines.get(j)) > getLinePriority(lines.get(j + 1))) {
            temp = lines.get(j);
            lines.set(j, lines.get(j + 1));
            lines.set(j + 1, temp);
        }
    }
}

不考虑不重要的事情（区间）

for (int i = 0; i < li; i++)
for (int j = 0; j < (li-i) - 1; j++)
  if (! (lines[j].compareTo(lines[j+1]) <0) )
  { /* swap(lines[j], lines[j+1]) */ }

🤔 弄了半天是我搞错了... i 果然就是个计数变量，本身就是真正的无优化 bubble sort 的...，就知道我肯定（又）不长脑子！（上一次是我在写快速排序的时候）

最后我们再谈谈最上面的问题

5 没有被手动排序过，5 在 1 前面，4 被手动排序过，4 也在 1 前面，可 5 和 4 谁在谁前？

要排序的集合。{5, 4, 1}

所谓的手动排序，我们认为，就是用户手动给某个元素（或许可以用 hashCode 来标识）指定一个位置，用户希望看到这个元素永远处于那个位置

元素 1 的位置记为 p1
用户把 5 固定在一个位置 p5，并且 p5 在 p1 『前面』（它的 index < p1）
用户把 4 固定在一个位置 p4，并且 p4 也在 p1 前面

可是 5 和 4 谁在前面，能不能成为一个不可解决的问题呢？ 🤔

首先看看满足需求的位置 p5 p4 存不存在：存在

我们以索引的 (<) 偏序集来表示，当然存在的啊！至少，如果我们不考虑来全称量化推广的话。

5，可以对应索引 1
4，就对应 2
1，就对应 3

[5, 4, 1]
约束条件：
p5 < p1 成立
p4 < p1 成立

所以就这里，不存在任何问题。

那么 5 和 4 又谁在前面？ 🤔

其实我很好奇，大家看起来好像我是蛮智障一样（误打误撞错写 drakeet 之前写的交换排序成了类似的选择排序），排序算法都不会写，但是我打包票一旦我理解了一个东西，就肯定是彻底的理解 — 我知道我在做什么，我明白算法的每一个步骤对它处理的影响，而不是瞎猜！

很简单啊？按照之前的手段再比较一下不就好了？

按照升序排列，5 (不小于) 4，所以 4 排在 5 前面。

那么这么简单的问题，为啥 drakeet 会提出并且引以为 PureWriter 不支持『同时自动手动排序』的理论？

因为 drakeet 理解这个问题的方式和我有点不一样，我不知道之前更加幼稚的我所想的『看不到所谓有序后面完全可以无序，或者说被 sort API 限制了视野』是不是真的，但我想他的顾虑可能就只是无法在『用户指定位置』和自动排序之间找到平衡点，毕竟我也隐隐约约觉得除了上面的这个问题外，还有更严重的问题，再比如，如果表长有变化（完全可能有 Insert/Delete 这种操作），那『固定』位置应该怎么处理？如果『固定位置』的约束条件开始互相冲突，还能进行（对固定位置的）自动排序吗？

这的确是个问题，不过我打算解决这个问题。如果剩下的时间里还有足够的时间编程和学习抽象模型，我会写一个 PoC 出来，证明对列表的不同部分使用不同的排序算法和『固定位置』是可行的，而且也可以在考虑固定位置的情况下进行插入/删除/更新操作。

算法的思路可能就是：

fixed:
0 | z

list:
1 | a
2 | b
3 | c

view:
— 0 | z
1 | a
2 | b
3 | c

我们认为所有的『区分排序』表都是由两部分组成的：已固定表（实现时使用 fixed index set 和 collect with index 函数实现）和主表

排序的时候，把这『一个表』映射为两个表（main 和 fixed），每个表都会记录它的项目之前的位置，并且在排序之后重新合并为一个新表，看起来就像表的一部分位置单独采用了另一种排序方法一样

[4, $5, 1, 4, 2, $6] => 排序
main:
0 | 4
2 | 1
3 | 4
4 | 2

fixed:
1 | 5
5 | 6

== 单独进行排序和位置合并 ==
原 main / fixed:
[4, 1, 4, 2]

[5, 6]

原 main / fixed indices:

[0, 2, 3, 4] [1, 5]

main 和 fixed 在排序的过程中是互相透明的，排序算法单独对两个集合进行排序操作而不能看见另一个集合里的元素，这也符合用户对『固定位置』概念的预期。

36 viewsduangsuse ¯\_(ツ)_/¯ |学渣 | 我爱学习 | ∈ [E²PROM, 范畴论], edited 08:34