10.2 静态关系推断