小编Fet*_*bgs的帖子

给定一个列表和一个条件，如何使与该条件匹配的所有元素成为列表中的第一个元素？

例如，

列表：

（10、100、12、12、14、12、1002）

假设元素为 12，列表现在应该是

（12、12、12、10、100、14、1002）

这是一个昂贵的功能吗？

我尝试过使用 Kotlins 内置的排序功能，但它不会对给定的特定值进行排序。