Java SE 16 中如何详细说明并应用record类型?