未来变数并没有唯一(2 / 2)