9.5.2 实现