3.1.5　record类型