8.5.2 后向选择实现