8.4.1 块的分解、嵌套和多重插入