4.1.3 同名点约束