4.3.1 嵌套类型定义