7.8.1 链推断