第15.3节示例