3.5.2 尽可能地保持变量唯一