4.3.2 内置派生的数据类型