第18条：只定义刚好够用的约束条件