在 Kotlin 中我可以:
val (specificMembers, regularMembers) = members.partition {it is SpecificMember}
Run Code Online (Sandbox Code Playgroud)
但据我所知,我不能做这样的事情:
val (specificMembers as List<SpecificMember>, regularMembers) = members.partition {it is SpecificMember}
Run Code Online (Sandbox Code Playgroud)
我的问题是 - 是否有一种惯用的方法可以按类对可迭代对象进行分区,并在需要时对这些分区部分进行类型转换。