为什么"外部化"的循环 trait 实现证明行不通